[Effective C++]条款04:确定对象被使用前已先被初始化

1、未初始化的对象会导致未定义行为

• 未初始化的内置类型对象的值是未定义的，可能是任意值，直接使用会导致程序行为不可预测。
• 对于类类型的成员对象，C++标准并不保证它们会自动初始化（除非是全局或静态对象），因此需要显式初始化。

2、最好使用初值列进行初始化

• 初值列是类构造函数中用于初始化成员变量的语法
• 对于类类型的成员变量，使用初值列可以直接调用其构造函数，避免先调用默认构造函数再赋值。
• 如果成员变量是const,或引用类型的,则必须使用初值列进行初始化

class MyClass {
public:
    MyClass(int x, int y) : m_x(x), m_y(y) {} // 使用初值列初始化
private:
    int m_x;
    int m_y;
};

3、多个编译单元中存在相互依赖引用的局部静态对象初始化次序问题

• 如果多个编译单元（Translation Units）中存在局部静态对象，且这些对象之间有依赖关系，C++标准并未明确规定它们的初始化顺序，可能导致未定义行为。

MyClass& getInstance() {
    static MyClass instance; // 局部静态对象
    return instance;
}

3.1、解决方案

• 使用单例模式（Singleton Pattern）：将局部静态对象封装在函数中，通过函数返回其引用，确保首次调用时初始化。
• 尽量减少局部静态对象之间的依赖关系，或者将依赖关系明确化。
• 通过指针和动态内存管理（如std::unique_ptr）实现懒加载，确保初始化顺序可控。
• C++11标准规定，局部静态对象的初始化是线程安全的，因此可以放心使用。

思维导图笔记