做所有 C++编译器允许使用 static const int 类成员变量作为数组边界吗？

Question

在 VC++ 中，当我需要为类成员变量指定数组绑定时，我这样做：（

 class Class {

 private:
     static const int numberOfColors = 16;
     COLORREF colors[numberOfColors];
 };

请不要告诉我这里使用 std::vector ）

这样我就有一个可以用作数组绑定的常量稍后在类代码中指定循环语句约束，同时它在其他任何地方都不可见。

问题是这种 static const int 成员变量的使用是否只被 VC++ 允许，还是通常被其他广泛使用的编译器所允许？

Answer 1

这是有效的 C++，大多数（全部？）相当现代的编译器都支持它。如果您使用 boost，则可以以 BOOST_STATIC_CONSTANT 宏的形式获得对此功能的可移植支持：

class Class {
 private:
     BOOST_STATIC_CONSTANT(int, numberOfColors = 16);
     COLORREF colors[numberOfColors];
 };

如果编译器支持，该宏将扩展为 static const int numberOfColors = 16否则它会求助于 enum { numberOfColors=16 };。

Answer 2

根据 C++ 标准，该行为是有效的。任何最新的编译器都应该支持它。

Answer 3

我相信 Visual Studio 2005 及更高版本都支持它。还有 XCode C++ 编译器（实际上是 gcc）。

如果你想安全，你可以随时使用我从Effective C++ 中学到的旧枚举技巧。它是这样的：

class Class {

 private:
     enum {
        numberOfColors = 16
     };
     COLORREF colors[numberOfColors];
 };

希望这有帮助。

Answer 4

十多年来，它一直是 C++ 的标准。它甚至得到了 VC 的支持——你还想要什么呢？ （@Neil：SunCC 怎么样？:^>）

Answer 5

是的，它 100% 合法并且应该是便携式的。 C++ 标准在 5.19 - 常量表达式中说了这一点”（强调我的）：

在多个地方，C++ 需要计算结果为整数或枚举常量的表达式：作为数组边界 (8.3.4, 5.3.4)、作为 case 表达式 (6.4.2)、作为位字段长度 (9.6) 、作为枚举器初始值设定项 (7.2)、作为静态成员初始值设定项 (9.4.2) 以及作为整型或枚举非类型模板参数 (14.3)。

常量表达式：
    条件表达式

整型常量表达式只能涉及文字 (2.13)、枚举器、常量变量或用常量表达式初始化的整型或枚举类型的静态数据成员 (8.5)、整型或枚举类型以及 sizeof 表达式。

也就是说，VC6 似乎不支持它。请参阅StackedCrooked 的回答提供了一个很好的解决方法。事实上，我通常更喜欢 StackedCrooked 提到的这种类型的 enum 方法。

仅供参考，“static const”技术适用于 VC9、GCC 3.4.5 (MinGW)、Comeau 和 Digital Mars。

并且不要忘记，如果您使用“static const”成员，您将 除了声明之外还需要一个定义。然而，在这种情况下，几乎所有编译器都会让您跳过定义。

Answer 6

除了其他答案之外，您还可以使用以下函数来确定静态分配数组中的元素数量：

template<typename T, size_t length>
size_t arrayLength(T (&a)[length])
{
    return length;
}

Answer 7

我非常确定这也适用于 gcc 和 Solaris，但目前我无法验证这一点。

将来，您可以像这样扩展这个想法：

template<int size>
class Class {
private:
    COLORREF colors[size];
};

并像这样使用它：

Class<5> c;

这样您就不会仅限于应用程序中的一个缓冲区大小。

Answer 8

几年前我就不再担心它的可移植性了。也许仍然有不支持它的编译器，但我最近还没有遇到过它们。

Answer 9

可以通过参考 ISO C++ 规范来回答这样的问题，但该规范对于人们来说很难获得，也很难阅读。
我认为最简单的答案取决于两件事：

• Microsoft Visual Studio 2005 及更高版本是相对一致的 C++ 实现。如果它允许你做某事，那么机会就是它的标准。
• 下载类似 Code::Blocks 的东西来获取 GCC 编译器来尝试一些东西。如果它在 MS 和 GCC 中工作，那么很可能确实是它的标准。