c++ constructor构造函数详解_c++初始化列表用法

构造函数必须用初始化列表初始化const成员、引用类型及无默认构造函数的类类型成员；初始化顺序按声明顺序而非列表顺序；初始化列表比函数体内赋值更高效；委托构造函数时初始化列表必须为空。

构造函数必须用初始化列表的场景

不是所有成员都能在构造函数体内赋值，比如 const 成员、引用类型、没有默认构造函数的类类型成员——这些必须在初始化列表中完成初始化，否则编译直接报错。

常见错误现象：error: uninitialized const member 或 error: reference member is not initialized。

• const int x：不能写 x = 5;，只能写 : x(5)
• std::string& ref：引用必须绑定到有效对象，只能在初始化列表里写 : ref(other_str)
• MyClass obj（MyClass 没有默认构造函数）：若只声明没传参，必须用 : obj(10, "hello") 显式调用带参构造

初始化列表顺序不等于书写顺序

类成员在内存中的初始化顺序，严格按它们在类定义中声明的先后顺序，和初始化列表里的书写顺序无关。如果依赖顺序（比如后声明的成员要用先声明成员的值来初始化），写错顺序会导致未定义行为。

例如：

class A {
    int x;
    int y;
public:
    A() : y(x + 1), x(42) {} // ❌ y 先被初始化，但此时 x 还未初始化！实际 y 得到垃圾值
};

正确写法是调整声明顺序，或避免跨成员依赖。编译器通常不

会警告这种逻辑错误，运行时才暴露问题。

初始化列表比构造函数体更高效

对于类类型成员，如果在构造函数体内写 member = value;，会先调用默认构造函数创建对象，再调用赋值运算符；而初始化列表直接调用目标构造函数，跳过默认构造+赋值两步。

• 自定义类 BigData 有昂贵的默认构造？用 : data(buf, size) 直接构造，比 data = BigData(buf, size) 少一次构造+一次析构
• std::vector v：写 : v(1000) 分配 1000 个元素；写 v = std::vector(1000) 先默认构造空 vector，再移动赋值，多一次内存分配
• 内置类型（如 int）无差别，但统一用初始化列表更一致、更易维护

委托构造函数与初始化列表共存规则

C++11 支持委托构造函数（一个构造函数调用同类另一个构造函数），但被委托的构造函数可以有初始化列表，而委托方自己的初始化列表必须为空——所有初始化工作交给被委托者完成。

错误写法：

class B {
    int a, b;
public:
    B(int x) : a(x), b(0) {}
    B() : a(1), B(42) {} // ❌ 编译错误：初始化列表不能同时含成员初始化和委托调用
};

正确写法：

class B {
    int a, b;
public:
    B(int x) : a(x), b(0) {}
    B() : B(42) {} // ✅ 委托调用，初始化列表仅保留委托表达式
};

注意：委托构造函数不能和成员初始化混用，这是语法硬性限制，不是风格建议。