C++构造函数怎么写 C++初始化列表与赋值的区别【细节】

9次阅读

必须用初始化列表的场景包括:const成员、引用成员、无默认构造函数的类类型成员;因性能考虑也应优先使用初始化列表,避免默认构造加赋值的额外开销。

C++构造函数怎么写 C++初始化列表与赋值的区别【细节】

构造函数里该用初始化列表还是构造体内赋值

必须用初始化列表的场景,比如成员是 const、引用、没有默认构造函数的类类型,或者你关心性能——初始化列表直接调用成员的构造函数,而赋值是先默认构造再调用赋值运算符,多一次开销。

常见错误:对 const int x;std::String& ref; 在构造函数体里写 x = 5;,编译直接报错:Error: uninitialized const membererror: reference member is uninitialized

  • 基本类型(intdouble)二者效果一致,但初始化列表更统一、更符合习惯
  • 自定义类成员:若该类构造开销大(如含大数组、文件打开等),用赋值会触发默认构造 + 拷贝赋值,浪费资源
  • 基类子对象必须在初始化列表中构造,不能在函数体里“赋值”

初始化列表的语法细节和执行顺序

初始化列表写在构造函数参数括号后、函数体前,用冒号开头,多个成员用逗号分隔:ClassName(int a) : m_a(a), m_b(0), m_c("hello") {}。注意:它不按书写顺序执行,而是严格按成员在类中声明的顺序初始化。

容易踩的坑:m_b 依赖 m_a 的值,但声明顺序是 m_b 在前、m_a 在后,那么即使写成 : m_a(a), m_b(m_a * 2)m_b 实际仍用未初始化的 m_a——因为 m_b 先构造,此时 m_a 还没被初始化。

立即学习C++免费学习笔记(深入)”;

  • 所有成员(包括基类、匿名联合体成员)都在进入构造函数体前完成初始化
  • 初始化列表中不能用 this->,也不能调用虚函数(此时虚表尚未完全设置)
  • 如果类有委托构造函数,初始化列表只允许出现在被委托的那个构造函数中

哪些情况必须用初始化列表,绕不开

以下三类成员一旦出现,编译器强制要求出现在初始化列表中:

  • const 成员变量:如 const std::string name; —— 只能初始化,不能赋值
  • 引用成员:如 int& ref; —— 引用必须绑定,且只能绑定一次
  • 没有默认构造函数的类类型成员:如 std::Thread t;std::thread 无默认构造函数),或自定义类只提供了带参构造函数

另外,std::mutexstd::atomic 等不可拷贝/不可赋值类型,也必须靠初始化列表完成构造。

初始化列表里调用成员函数this 指针的风险

初始化列表中可以调用普通函数或静态成员函数,但调用非静态成员函数时,this 指向的对象尚未完全构造(基类和部分成员还没初始化),极易引发未定义行为。

典型错误示例:MyClass() : m_val(computeVal()) {},而 computeVal() 内部访问了另一个尚未初始化的成员 m_data —— 此时 m_data 是垃圾值,结果不可预测。

  • 避免在初始化列表中调用任何可能访问本类其他数据成员的非静态函数
  • 静态成员函数、全局函数、字面量、参数、父类构造函数调用都是安全的
  • 若逻辑复杂,宁可把计算提前到参数传入,或拆到构造函数体内(前提是该成员允许赋值)

最常被忽略的是:初始化顺序与声明顺序强绑定,而不是与初始化列表书写顺序一致——这个细节在继承或含复杂嵌套成员时,几乎每次重构都可能翻车。

text=ZqhQzanResources