c++11 什么是第一个？构造函数还是默认值？

Question

在 c++11 中你可以这样做:

class Foo
{
    public:
        Foo();
        bool test = false;
};

Foo::Foo()
{
    // is test guaranteed to be false now? and is it surely not overriden later?
    this->test = true;
}

我想知道的基本上都在注释中描述了，我可以用我的编译器验证这一点，但是标准中是否提到了这一点？在所有平台和所有编译器上它总是相同吗？

Answer 1

现在测试肯定是假的吗？是的。

以后肯定不会被覆盖吗？它不会被覆盖。默认值设置为构造函数开头的初始值设定项列表的一部分。

如果 test 未包含在初始值设定项列表中，编译器会将其放入默认值中。对于您的构造函数，编译器实际上会为此生成代码:

Foo::Foo()
    : test(false)
{
    // is test guaranteed to be false now?
    this->test = true;
    // is it surely not overriden later?
}

使用此构造函数，测试首先会初始化为 false，然后在主体中设置为 true。

如果你写的是:

Foo::Foo()
    : test(true)
{
}

测试已经在初始化列表中，编译器不会把它放在那里，测试将直接初始化为 true。