C++11:无序实例成员初始化的不一致警告

Question

以下代码崩溃，引发 std::bad_alloc或者有时 std::logic_error .

#include <string>

class Crasher {
public:
    Crasher() : value(default_value) {}
private:
    std::string value;
    const std::string default_value = "default is yours";
};


int main(void) {
    Crasher();
}

我相信原因是成员被乱序初始化，当value正在初始化列表中初始化，default_value尚未初始化。
但是，-Wall 没有任何编译器警告或错误。启用。但是，如果我更改 value和 default_value到像 int 这样的 POD 类型，然后我收到来自 g++ 的警告:

$ g++ -Wall crasher.cpp 
crasher2.cpp: In constructor ‘Crasher::Crasher()’:
crasher2.cpp:5:23: warning: ‘*<unknown>.Crasher::default_value’ is used uninitialized in this function [-Wuninitialized]
    5 |     Crasher() : value(default_value) {}
      |              

当类型为 std::string 时，为什么我没有收到警告？ ?这是编译器问题，还是语言的怪癖？

Answer 1

初始化一个 int从另一个执行 左值到右值的转换 在源头上。如果未初始化，则行为未定义。从另一个类类型对象初始化一个对象并没有这样做——它调用了一个构造函数，它仅仅绑定(bind)了一个。引用 到源头。即使源超出生命周期，这也不是未定义的，尽管在这种情况下典型的复制构造函数当然会表现出未定义的行为。您是否收到警告取决于编译器在任何 之后所做的分析。内联 的构造函数。在默认不优化的情况下，没有警告是可以理解的。