【C++】类和对象--构造函数进阶（初始化列表与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，除非确实需要扮演类型转换的角色。

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