使用静态常量 + const 作为数组边界

Question

我正在做这样的事情

Class.hpp:

 class Class {

 private:
     static const unsigned int arraySize;
     int ar[arraySize+2];
 };

Class.cpp:

#include <Class.hpp>
const unsigned int arraySize = 384;

编译器（q++，基于 g++ 的 QNX 操作系统的 c++ 编译器）给了我 error: arraybound is not an integer Constant while编译包含 Class.hpp 的单元（不是在编译 Class.cpp 时）。

为什么这不起作用？我知道静态 const 成员可以用作数组绑定，由 C++ 标准保证（请参阅此 anwser）。但为什么编译器没有将 static const + const 的结果视为常量呢？

Answer 1

这是好的代码，应该被编译器接受：

class Class { 
  const static int arraySize = 384; 
  int ar[arraySize+2]; 
}; 

如果没有，你的编译器就坏了。

但是，如果将实际常量从头文件移至选定的翻译单元，则会导致代码无效。

// Class.h
class Class { 
  const static int arraySize;
  int ar[arraySize+2]; // ERROR
}; 

// Class.cpp
const int Class::arraySize = 384;

这是因为在编译时无法仅根据标头中的可用数据确定 Class 对象的大小。这不是完全正确的原因，但是沿着这些思路进行推理有助于理解诸如此类的编译错误。

为了避免犯这样的错误，您可以将 static const int 替换为 enum，例如

class Class { 
  enum { arraySize = 384 }; 
  int ar[arraySize+2]; 
}; 

Answer 2

正如评论所说，我很惊讶这实际上可以在 gcc 上编译。由于 384 不在头文件中，因此其他编译单元不知道 Class 的大小。在某些编译单元中，这可能并不重要，具体取决于它们如何/是否使用 Class，但我无法想象这种编译：

// this is a source file called, say, blah.cpp
#include <Class.hpp>

void someFunc()
{
    void *mem = malloc(sizeof(Class));  // size is not known, so this can't compile

    // do something with mem
}

您需要在 .hpp 中包含：

class Class {

 private:
     static const unsigned int arraySize = 384;
     int ar[arraySize+2];
 };

..，因为它在您链接到的OP 此处。