c++ - 为什么可以内联初始化静态常量变量而不是普通静态变量(C++)

Question

如果我这样做

class Gone
{
    public:
    static const int a = 3;
}

它有效，但如果这样做

class Gone
{
    public:
    static int a = 3;
}

它给出了一个编译错误。现在我知道为什么第二个不起作用，我只是不知道为什么第一个起作用。

提前致谢。

Answer 1

此技巧仅适用于常量编译时表达式。考虑以下简单示例:

#include <iostream>

class Foo {
public:
    static const int bar = 0;
};

int main()
{
    std::cout << Foo::bar << endl;
}

它工作得很好，因为编译器知道 Foo::bar 是 0 并且永远不会改变。因此，它优化了整个事情。

但是，一旦您像这样获取该变量的地址，整个事情就会中断:

int main()
{
    std::cout << Foo::bar << " (" << &Foo::bar << ")" << std::endl;
}

链接器让您修复程序，因为编译时常量没有地址。

现在，您示例中的第二种情况不起作用，因为非常量变量不能是常量编译时表达式。因此，您必须在某处定义它并且不能在初始化时分配任何值。

顺便说一下，C++11 有 constexpr。你可以查看Generalized constant expressions wiki(或 C++11 标准 :-))获取更多信息。

另外，要小心 - 对于某些工具链，当优化关闭时，您将永远无法链接第一个示例中列出的程序，即使您从未获取这些变量的地址。我认为 Boost 中有一个 BOOST_STATIC_CONSTANT 宏来解决这个问题(不确定它是否有效，因为我估计即使使用该宏也会看到一些旧 gcc 的链接失败)。