c++中如何使用构造函数_c++类的构造函数初始化列表【汇总】

构造函数初始化列表必须写在冒号后,用于初始化const成员、引用成员及无默认构造函数的类类型成员,且初始化顺序仅由成员声明顺序决定,与列表中书写顺序无关。

构造函数初始化列表必须写在冒号后面,不能放在函数体里

成员变量的初始化必须在进入构造函数体之前完成,尤其是 const 成员、引用成员、没有默认构造函数的类类型成员——这些根本不能在函数体内用赋值操作(=)初始化。比如:

class A {
    const int x;
    int& ref;
    std::string s;
public:
    A(int v, int& r) : x(v), ref(r), s("hello") {} // ✅ 正确:全部在初始化列表中
};

如果写成这样就会编译失败:

A(int v, int& r) {
    x = v;  // ❌ 错误:const 成员不能赋值
    ref = r; // ❌ 错误:引用必须初始化,不能赋值
    s = "hello"; // ✅ 这行能过,但属于“先默认构造再赋值”,低效且不适用于前两者
}
  • 初始化顺序只跟成员在类中声明的顺序有关,和初始化列表里的书写顺序无关
  • 如果初始化列表里写了 a(b),而 b 是后声明的成员,b 实际还没构造,此时读 b 是未定义行为
  • 基类构造函数也必须通过初始化列表调用,不能在函数体里“手动 new”或“调用基类函数”来模拟

初始化列表里调用成员函数要小心生命周期

问题

初始化列表中可以调用普通成员函数,但该函数不能访问尚未初始化的成员(包括 this 指向的对象本身可能还未完全构建)。常见坑是:在初始化列表里调用虚函数,结果调不到派生类重写的版本,因为此时虚表还没切换完成。

  • 初始化列表中调用的函数,其内部若访问了当前类中排在它后面的成员变量,行为未定义
  • 避免在初始化列表中调用虚函数;即使调了,也只会绑定到当前正在构造的类的版本
  • 静态成员函数或非成员函数相对安全,因为不依赖对象状态

委托构造函数和初始化列表不能共存于同一构造函数

C++11 引入委托构造函数(即一个构造函数调用同类另一个构造函数),此时初始化列表必须为空,否则编译报错:error: constructor delegation cannot have member initializers

class B {
    int x;
    std::string s;
public:
    B() : x(0), s("default") {}
    B(int v) : B() {        // ✅ 委托调用,初始化列表为空
        x = v;               // 只能在函数体里修改
    }
    B(int v) : x(v), s("x") {} // ❌ 错误:委托构造 + 初始化列表并存
};
  • 委托构造只能出现在初始化列表位置,且是唯一内容(不能混用其他初始化项)
  • 被委托的构造函数仍需自己处理所有成员初始化,委托者不再插手
  • 递归委托(A → B → A)是非法的,编译器会拒绝

std::vector 等容器在初始化列表中用花括号初始化更安全

对于含默认构造函数的类型(如 std::vector),初始化列表中用 vec{}vec{1,2,3} 明确表示初始化,比 vec() 更不容易触发最 vexing parse 问题(尤其在模板上下文中)。

class C {
    std::vector data;
public:
    C() : data{1, 2, 3} {}     // ✅ 清晰、无歧义
    C(int n) : data(n, 0) {}   // ✅ 调用 vector(size_t, T) 构造函数
    C() : data() {}            // ⚠️ 可能被解析为函数声明(极少见但存在风险)
};
  • data{} 总是初始化为空容器;data() 在某些上下文里可能被当作函数声明(虽然现代编译器通常能推断,但不保险)
  • 对自定义类型,确保其支持聚合初始化或有匹配的构造函数,否则 {...} 会编译失败
  • 初始化列表中尽量用直接初始化语法(T(x)T{x}),避免复制初始化(T = x)带来的隐式转换开销
初始化列表不是语法糖,它是 C++ 对象构建阶段不可绕过的底层机制。最容易忽略的是成员声明顺序与初始化顺序的不一致,以及委托构造时对初始化列表的强制清空要求——这两点一旦出错,调试成本远高于写的时候多看两眼。