c++的构造函数初始化列表为什么是必须的? (效率与const成员)

const成员和引用必须在初始化列表中初始化,因二者不可赋值;基类及无默认构造函数的成员也必须通过初始化列表构造,否则编译失败。

const 成员变量必须在初始化列表中赋值

因为 const 成员一旦声明,就不可再被赋值;而构造函数体内的语句属于“赋值”阶段,此时对象已创建完成,const 成员早已默认初始化(但未定义行为),再试图赋值会编译失败。

  • const 成员没有默认构造函数,也不能被默认初始化为“未定义值”,必须显式初始化
  • 如果写成构造函数体内赋值:
    MyClass() { x = 10; } // 错误:x 是 const int,不能在此赋值
    ,编译器直接报错:assignment of read-only member
  • 只有初始化列表能真正“初始化”,而非“赋值”:
    MyClass() : x(10) {} // 正确

引用成员也必须用初始化列表

引用必须绑定到有效对象,且不能重新绑定,因此它和 const 成员一样,无法在构造函数体内“赋值”,只能在初始化列表中绑定。

  • 例如:int& ref; 没有默认值,也不允许先声明后绑定
  • 错误写法:
    MyClass(int& r) { ref = r; } // 编译错误:non-const lvalue reference to type 'int' cannot bind to a temporary
  • 正确写法:
    MyClass(int& r) : ref(r) {} // 绑定发生在这里,是初始化,不是赋值

初始化列表比构造函数体更高效(尤其对类类型成员)

若成员是自定义类类型,且该类有非平凡构造函数,在初始化列表中初始化可避免默认构造 + 赋值两步;否则在构造函数体内写 member = value; 会先调用默认构造函数,再调用赋值运算符,多一次开销。

  • 假设 std::string s; 在类中声明,MyClass() 构造函数体里写 s = "hello"; → 先调用 std::string() 默认构造,再调用 operator=
  • MyClass() : s("hello")

    {}
    → 直接调用 std::string(const char*) 构造函数,一步到位
  • const 或引用成员,这不只是效率问题,而是语法强制要求

基类子对象必须由初始化列表调用其构造函数

派生类无法绕过基类构造——基类部分必须在派生类对象内存布局完成前就构造好,这个时机只在初始化列表中存在。

  • 即使基类有默认构造函数,显式写 Base() 在初始化列表中仍是推荐做法,逻辑清晰
  • 若基类无默认构造函数,而你没在初始化列表中调用其带参构造,编译直接失败:no matching constructor for initialization of 'Base'
  • 错误示例:
    class Derived : public Base { Derived() {} }; // Base 无默认构造 → 编译失败
  • 正确示例:
    class Derived : public Base { Derived() : Base(42) {} };
初始化列表不是“可选优化”,而是满足语言约束的必要机制;const、引用、基类、无默认构造的成员,只要出现其一,就绕不开它。漏掉一个,编译器就会立刻拦住你——不是警告,是硬性拒绝。