【C++】类和对象--构造函数进阶(初始化列表与explicit)

📅 2026/7/16 0:02:31 👁️ 阅读次数 📝 编程学习
【C++】类和对象--构造函数进阶(初始化列表与explicit)

目录

    • 初始化列表
      • 必须使用初始化列表的情况
      • 初始化列表的注意事项
    • explicit 关键字

在前面的构造函数基础中,我们在函数体内进行赋值操作。但C++还提供了一种更高效、在语义上更明确的初始化方式——初始化列表。同时,我们将探讨控制隐式转换的explicit关键字。

初始化列表

初始化列表的语法形式:紧跟在构造函数形参列表之后,以冒号:开头,后面是逗号分隔的成员初始化项,每项格式为成员变量(初始值/表达式)

classDate{public:Date(intyear,intmonth,intday):_year(year),_month(month),_day(day){}// 函数体可为空private:int_year,_month,_day;};

必须使用初始化列表的情况

有三种成员变量必须在初始化列表中初始化,因为在函数体内部赋值是非法的或做不到:

  1. const成员变量
  2. 引用成员变量
  3. 没有默认构造函数的自定义类型成员(无法在函数体内先默认构造再赋值)

示例:

classMyQueue{public:MyQueue(intn,int&rr):_pushst(n)// Stack 没有默认构造,必须在这里初始化,_popst(n),_x(1)// const 成员,ptr((int*)malloc(12)),ref(rr)// 引用成员{}private:Stack _pushst;Stack _popst;constint_x;int*ptr;int&ref;};

初始化列表的注意事项

  • 每个成员变量在初始化列表中只能出现一次(只能初始化一次)。
  • 成员变量实际初始化的顺序取决于它们在类中声明的次序,而与初始化列表中的书写顺序无关。这是常见陷阱,容易产生意料之外的依赖问题。
classA{public:A(inta):_a2(a),_a1(_a2){}// 实际顺序:先初始化 _a2(随机值),再 _a1(_a2)voidPrint(){cout<<_a1<<" "<<_a2<<endl;}private:int_a2;// 声明的顺序 _a2 在前,因此它先于 _a1 初始化int_a1;};// 结果:_a1 是随机值,_a2 是 a

所以,尽量保持初始化列表顺序与成员声明顺序一致,避免依赖。

explicit 关键字

C++允许单个参数(或除首参数外都有默认值的构造函数)进行隐式类型转换。例如:

classA{public:A(inta):_a1(a){}private:int_a1;};A a=3;// 隐式转换:3 构造为临时 A 对象,再拷贝给 a(编译器可能优化为直接构造)

这种隐式转换有时很方便,但也可能引入不易察觉的错误。在构造函数前加上explicit关键字,可以禁止编译器进行这种隐式转换:

explicitA(inta):_a1(a){}// A a = 3; // 编译错误!Aa(3);// 显式构造允许A a=A(3);// 显式调用构造后赋值也允许

多参数构造函数从C++11开始,也支持列表初始化引发的隐式转换:

A(inta1,inta2):_a1(a1),_a2(a2){}A a={1,2};// 隐式转换constA&ref={1,2};// 绑定临时对象

同样,explicit可禁止这种列表隐式转换。

在日常开发中,出于安全和可读性考虑,建议将大部分单参构造函数声明为explicit,除非确实需要扮演类型转换的角色。

学完构造的进阶技巧,接下来我们把目光转向类的成员可以共享的数据——静态成员。