static const double 不能有类内初始化程序。为什么会这样？

Question

以下代码的问题是“const double”类型的静态成员不能具有类内初始化程序。为什么仅适用于以下代码中的“const double”？请帮帮我。

class sample{
   static const char mc = '?';
   static const double md = 2.2;
   static const bool mb = true;
};
const char sample::mc;
const double sample::md;
const bool sample::mb;
int main(){
}

Answer 1

C++03语言标准实现的逻辑基于以下基本原理。

在 C++ 中，initializer 是对象定义 的一部分。您在类中为静态成员编写的内容实际上只是一个声明。因此，正式地说，直接在类中为任何静态成员指定初始化程序是“不正确的”。它与语言的一般声明/定义概念相反。无论您在类中声明什么静态数据都必须在以后定义。这就是您有机会指定初始化程序的地方。

此规则的一个例外是静态整型常量，因为 C++ 中的此类常量可以形成整型常量表达式 (ICE)。 ICE 在语言中发挥着重要作用，为了让它们按预期工作，整数常量的值必须在所有翻译单元中可见。为了使某个常量的值在所有翻译单元中可见，它必须在声明处可见。为了实现这一点，该语言允许直接在类中指定初始化器。

此外，在许多硬件平台上，常量整数操作数可以直接嵌入到机器命令中。或者可以完全消除或替换常数（例如，乘以8 可以实现为移位3）。为了便于生成具有嵌入式操作数和/或各种算术优化的机器代码，让整数常量的值在所有翻译单元中可见是很重要的。

非整数类型没有任何类似于 ICE 的功能。此外，硬件平台通常不允许将非整数操作数直接嵌入到机器命令中。出于这个原因，上述“规则的例外”不会扩展到非整数类型。它只会一事无成。

Answer 2

编译器让我使用constexpr 而不是const：

static_consts.cpp:3:29: error: ‘constexpr’ needed for in-class initialization of static data member ‘const double sample::md’ of non-integral type [-fpermissive]
static_consts.cpp:7:22: error: ‘constexpr’ needed for in-class initialization of static data member ‘const double sample::md’ of non-integral type [-fpermissive]

我刚刚接受了这个提议：

class sample{
   static const char mc = '?';
   static constexpr double md = 2.2;
   static const bool mb = true;
};
const char sample::mc;
const bool sample::mb;
int main(){
}

现在它编译得很好 (C++11)。

Answer 3

C++11之前，只有const整数类型可以在类定义中直接初始化。这只是标准强加的限制。

对于 C++11，这不再适用。