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

问题描述

以下代码崩溃，引发 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 时，为什么我没有收到警告？这是编译器的问题，还是语言的怪癖？

解决方法

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