C++ 中的构造函数初始化列表

class MyClass : public BaseClass {
    int x;
    const int y;
    std::string& ref;
public:
    MyClass(int x_val, int y_val, std::string& str) 
        : BaseClass(),    // 初始化基类
          x(x_val),       // 初始化成员变量
          y(y_val),       // 初始化 const 成员
          ref(str)        // 初始化引用成员
    {
        // 构造函数体
    }
};

使用初始化列表通常比在构造函数体内赋值更高效，因为它避免了双重初始化。

双重初始化指的是当你不使用初始化列表，而在构造函数体内赋值时可能发生的情况。让我用一个例子来说明：

class Example {
    std::string str;
public:
    // 方式1：在构造函数体内赋值（会导致双重初始化）
    Example() {
        str = "hello";    // 先默认构造str，然后再赋值
    }

    // 方式2：使用初始化列表（更高效）
    Example() : str("hello") {    // 直接用参数构造str
    }
};

在方式1中发生了两步操作：

• 首先，str会被默认构造（创建一个空字符串）

• 然后，在构造函数体内通过赋值操作符将"hello"赋值给str

而在方式2中只发生了一步操作：

• str直接使用"hello"构造，避免了默认构造和后续赋值

这种差异在以下情况下特别重要：

1. 对于常量成员：

class Example {
    const int x;
public:
    // 错误：const成员必须在初始化列表中初始化
    Example() {
        x = 42;    // 编译错误！
    }

    // 正确：使用初始化列表
    Example() : x(42) {
    }
};

2. 对于引用成员：  

class Example {
    int& ref;
public:
    // 错误：引用必须在初始化列表中初始化
    Example(int& val) {
        ref = val;    // 编译错误！
    }

    // 正确：使用初始化列表
    Example(int& val) : ref(val) {
    }
};

3. 对于没有默认构造函数的成员：    

class NoDefault {
public:
    NoDefault(int x) {}    // 只有带参数的构造函数
};

class Example {
    NoDefault obj;
public:
    // 错误：NoDefault没有默认构造函数
    Example() {
        obj = NoDefault(42);    // 编译错误！
    }

    // 正确：使用初始化列表
    Example() : obj(42) {
    }
};

因此，使用初始化列表不仅可以提高性能（避免双重初始化），在某些情况下还是必需的。这是 C++ 中的最佳实践之一。