为什么本地类中不允许使用静态数据成员？

Question

为什么 static const 成员不能存在于本地类中？这似乎是一个相当愚蠢的限制。

示例：

void foo() {
  struct bar {
    int baz() { return 0; }   // allowed
    static const int qux = 0; // not allowed?!?
  };
}

struct non_local_bar {
  int baz() { return 0; }   // allowed
  static const int qux = 0; // allowed
};

引用标准 (9.8.4)：

本地类不得有静态数据成员。

Answer 1

根据标准第 9.4.2 节：

如果静态数据成员是 const 整型或 const 枚举
类型，它在类定义中的声明可以指定一个
常量初始值设定项应为整型常量表达式。
在这种情况下，成员可以出现在整型常量表达式中
在其范围内。 成员仍应在命名空间中定义
范围（如果在程序中使用）和命名空间范围定义
不得包含初始化程序。

基本上，本地类没有链接，而静态数据成员需要链接。

由于无法在命名空间范围内定义本地类的静态数据成员（带有初始化器的声明不是定义），因此不允许它们，无论它们是否是 const 整型。从表面上看，编译器似乎应该能够内联该值，但是如果您尝试访问指向该成员的指针会发生什么？对于命名空间范围的类，您只会收到链接器错误，但本地类没有链接。

我想从理论上讲，它们可以允许您在本地类中使用静态常量整型，只要它们仅在整型常量表达式中使用，但这可能会给标准机构和编译器供应商带来太大的负担来区分实用价值很小；局部静态变量可以从局部类访问，因此使用局部静态常量应该同样好。

Answer 2

我认为没有理由。普通的静态数据成员是不允许的，因为在声明后无法定义它们。

另外不要忘记，您可以在 .class 之外创建一个本地 const 变量，只要您只读取它的值（即，只要您不获取 .its.address ），就可以在类内部使用该变量。

Answer 3

类的静态成员需要在全局范围内定义，例如

  abc.h

   class myClass {
   static int number;
  };
     abc.cpp

   int myClass::number = 314;

现在，由于 void abc(int x) 内部的范围不是全局的，因此没有定义静态成员的范围。

Answer 4

随着事情的进展，我们现在有了 C++11，您可以在类中定义整型常量变量成员。

class test
{
public:
    const int FOO = 123;

    [...snip...]
};

当您使用 C++11 编译时，这是有效的。请注意，未使用 static 关键字。当打开优化进行编译时，这些变量可能都会被优化掉。但在调试中，它们作为常规变量成员出现在您的结构中。

但请注意，类/结构的大小仍将包含该变量。所以这里变量 FOO 可能是 4 个字节。

然而，在大多数情况下，函数中定义的类将完全被优化，因此这是一种很好的做事方式（我的类中有 50% 都有这样的变量成员！）