如何在类中使用常量类变量声明常量数组？

Question

如何在类中使用常量类变量声明常量数组？是否可以。 我不想要动态数组。

我的意思是这样的：

class test
{
    const int size;
    int array[size];
    public:
    test():size(50)
    {}
}

int main()
{
    test t(500);
    return 0;
}

上面的代码给出了错误

Answer 1

不，这是不可能的：只要 size 是动态变量，array[size] 就不可能实现为静态数组。

如果您愿意，可以这样考虑：sizeof(test) 必须在编译时已知（例如考虑test 数组）。但是在您的假设示例中， sizeof(test) == sizeof(int) * (1 + size) ，这不是编译时已知值！

可以将size作为模板参数；这是唯一的解决方案：

template <unsigned int N>
class Test
{
  int array[N];
  static const unsigned int size = N; // unnecessary really
public:
  // ...
};

用法：Test<50>; x;

请注意，现在我们有 sizeof(Test) == sizeof(int) * (1 + N)，这实际上是一个编译时已知值，因为对于每个 N，Test 是一个不同类型。

Answer 2

你的意思是固定大小的数组？您可以像这样使用 std::array ：

#include <array>

class test
{
    static const size_t s_size = 50;
    std::array<int, s_size>   m_array;
public:
    test()
    {
    }
};

或者，如果您想支持不同的大小，则需要求助于这样的类模板：

#include <array>

template <size_t SIZE>
class test
{
    std::array<int, SIZE>   m_array;
public:
    test()
    {
    }
};

std:array 有额外的好处保留大小信息与成员（与衰减为指针的数组不同）并且与标准库算法兼容。

Boost 还提供了一个版本 (boost::array) 类似。

Answer 3

您的代码会产生错误，因为编译器需要知道每个成员的数据类型的大小。当您编写 int arr[N] 时，成员 arr 的类型是“N 个整数的数组”，其中 N 必须是编译时已知的数字。

一种解决方案是使用枚举：

class test
{
    enum 
    {
        size = 50
    };

    int arr[size];
   public:
    test() {}
};

另一种解决方案是将 size 声明为类的静态 const 成员：

class test
{
    static const int size = 50; 
    int arr[size];
   public:
    test(){}
};

请注意，仅允许静态类整数进行类内初始化！对于其他类型，您需要在代码文件中初始化它们。