在C++类的构造函数中,成员初始化列表是一种高效的成员初始化方式,它可以在对象内存分配完成后直接完成成员变量的初始化,避免了先默认构造再赋值的额外开销。和构造函数体内赋值的方式相比,成员初始化列表在很多场景下是更优的选择。

成员初始化列表的基本语法
成员初始化列表位于构造函数参数列表之后,函数体之前,以冒号开头,多个成员初始化项之间用逗号分隔,每个初始化项的格式为成员名(初始化值)。下面是一个简单的示例:
#include <iostream>
#include <string>
class Student {
private:
std::string name;
int age;
double score;
public:
// 使用成员初始化列表初始化成员变量
Student(const std::string& n, int a, double s) : name(n), age(a), score(s) {
// 构造函数体可以为空,也可以添加其他逻辑
std::cout << "Student对象创建完成" << std::endl;
}
void printInfo() const {
std::cout << "姓名:" << name << ",年龄:" << age << ",分数:" << score << std::endl;
}
};
int main() {
Student stu("张三", 18, 92.5);
stu.printInfo();
return 0;
}
必须使用成员初始化列表的场景
并不是所有场景都可以用构造函数体内赋值替代成员初始化列表,以下三类成员必须使用初始化列表完成初始化:
- const成员变量:const成员在初始化后不能被修改,只能在定义时初始化,因此必须在初始化列表中完成初始化。
- 引用类型成员:引用必须在定义时绑定到对象,之后无法重新绑定,因此也需要通过初始化列表初始化。
- 没有默认构造函数的类类型成员:如果类的某个成员所属的类没有默认构造函数,那么无法先默认构造该成员再赋值,必须通过初始化列表传入对应的构造参数。
下面是对应场景的代码示例:
#include <iostream>
// 没有默认构造函数的类
class Engine {
private:
int power;
public:
Engine(int p) : power(p) {
std::cout << "Engine构造,功率:" << power << std::endl;
}
};
class Car {
private:
const int wheelNum; // const成员
int& ownerId; // 引用成员
Engine engine; // 无默认构造函数的类成员
public:
// 必须使用初始化列表初始化上述三个成员
Car(int w, int& id, int ep) : wheelNum(w), ownerId(id), engine(ep) {
std::cout << "Car构造完成" << std::endl;
}
void printCarInfo() const {
std::cout << "车轮数:" << wheelNum << ",车主ID:" << ownerId << std::endl;
}
};
int main() {
int id = 1001;
Car car(4, id, 120);
car.printCarInfo();
return 0;
}
成员初始化列表的初始化顺序
需要注意,成员初始化的顺序和初始化列表中成员的顺序无关,而是由类中成员变量声明的顺序决定的。如果初始化列表的顺序和声明顺序不一致,不仅可能造成误解,还可能引发逻辑错误。比如下面的示例:
#include <iostream>
class Demo {
private:
int a;
int b;
public:
// 初始化列表顺序是b在前a在后,但实际先初始化a再初始化b
Demo(int val) : b(val), a(b) {
// 此时b还未被初始化,a会被赋予一个随机值,属于未定义行为
}
void print() const {
std::cout << "a=" << a << ", b=" << b << std::endl;
}
};
int main() {
Demo d(10);
d.print(); // 输出结果不确定,a的值是未定义的
return 0;
}
因此建议初始化列表中的成员顺序和类中声明的顺序保持一致,避免不必要的错误。
成员初始化列表和构造函数体内赋值的区别
两者的核心区别可以总结为以下几点:
| 对比项 | 成员初始化列表 | 构造函数体内赋值 |
|---|---|---|
| 执行时机 | 对象内存分配完成后,构造函数体执行前 | 构造函数体执行时 |
| 适用成员类型 | 所有成员,包括const、引用、无默认构造的类成员 | 仅适用于有默认构造且可赋值的成员 |
| 执行效率 | 直接初始化,无额外开销 | 先默认构造再赋值,有额外开销 |
对于内置类型来说,两种方式差异不大,但对于类类型成员,使用初始化列表可以避免一次默认构造和一次赋值的开销,效率更高。
常见使用误区
使用成员初始化列表时常见的问题有:
- 误以为初始化列表的顺序决定初始化顺序,导致逻辑错误。
- 对const成员和引用成员使用构造函数体内赋值的方式,导致编译错误。
- 在初始化列表中用尚未初始化的成员去初始化其他成员,引发未定义行为。
只要遵循初始化顺序和声明顺序一致、必须用初始化列表的场景不偷懒使用赋值的规则,就能避免大部分问题。