c++ - 我可以在带有值初始化的 header 中使用 static const float

Question

这个问题困扰着我。

为什么 我的.hpp 文件中不能有这样的代码。

class H {
  private:
    static const int i =5;
    static const float f = 1.0;
    static const string s = "string";
}

只有 int、bool、enum 和 constexpr 等可以这样声明和初始化。

我的问题:

1. 为什么字符串和其他复杂数据类型需要在 cpp 中正确初始化？它们是不变的。

2. 为什么我们对 float 和整数有不同的行为？我的猜测:gcc 不支持那个，但是如果我们使用 constexpr 可以很容易地支持它。

Answer 1

因为标准是这么说的。

通常，out-of-line定义规则适用于 static const 成员:

The declaration of a static data member in its class definition is not a definition.

唯一的异常(exception)是因为 C++11 整数和枚举 static const 类型可以内联初始化。

参见 [class.static.data]/3 (强调我的):

If a non-volatile const static data member is of integral or enumeration type, its declaration in the class definition can specify a brace-or-equal-initializer in which every initializer-clause that is an assignment-expression is a constant expression.

作为 Bjarne mentioned :

So why do these inconvenient restrictions exist? A class is typically declared in a header file and a header file is typically included into many translation units. However, to avoid complicated linker rules, C++ requires that every object has a unique definition. That rule would be broken if C++ allowed in-class definition of entities that needed to be stored in memory as objects.

合理的可能是整数类型成为编译时常量，尽管我倾向于不同意，因为跨编译单元的单个地址规则仍然适用，这意味着编译器仍然必须发出 static const 具有弱链接的成员并让链接器折叠它们，就像它对多重定义的模板所做的那样。此时对整数类型的限制变得没有实际意义，因为相同的折叠可以应用于任何类型。事实上，C++17 用 inline 成员“修复”了它:

class H {
private:
    inline static const int i = 5;
    inline static const float f = 1.0;
    inline static const string s = "string";
};