C++类构造函数初始化列表

使用初始化列表的构造函数显式的初始化类的成员:

1
2
3
4
5
6
7
8
class example{
public:
int a;
float b;

example(): a(0), b(8.8)
{}
}

没使用初始化列表的构造函数是对类的成员赋值,并没有进行显式的初始化:

1
2
3
4
5
6
7
8
9
10
11
class example{
public:
int a;
float b;

example()
{
a = 0;
b = 8.8;
}
}

初始化和赋值对内置类型的成员没有什么大的区别,像上面的任一个构造函数都可以。对非内置类型成员变量,为了避免两次构造,推荐使用类构造函数初始化列表。但有的时候必须用带有初始化列表的构造函数:

  • 成员类型是没有默认构造函数的类。若没有提供显示初始化式,则编译器隐式使用成员类型的默认构造函数,若类没有默认构造函数,则编译器尝试使用默认构造函数将会失败。
  • const成员或引用类型的成员。因为 const 对象或引用类型只能初始化,不能对他们赋值。

初始化数据成员与对数据成员赋值的含义是什么?有什么区别?

对于内置数据类型和复合类型(指针,引用),初始化过程在成员初始化列表和构造函数体内进行,在性能和结果上都是一样的;而对于用户定义类型(类类型),初始化结果相同,但是性能上存在很大的差别。因为类类型的数据成员对象在进入函数体前已经构造完成,也就是说在成员初始化列表处进行构造对象的工作,调用构造函数,在进入函数体之后,进行的是对已经构造好的类对象的赋值,又调用个拷贝赋值操作符才能完成(如果并未提供,则使用编译器提供的默认按成员赋值行为)。

注意:C++初始化类成员时,按照声明的顺序初始化,而不是按照出现在初始化列表中的顺序。这意味着,即使你在初始化列表中改变了成员的初始化顺序,实际初始化时仍然会按照声明顺序进行。

1
2
3
4
5
6
7
8
9
10
class MyClass {
public:
int a;
int b;

// 构造函数
MyClass(int x, int y) : b(x), a(y) {
// 尽管初始化列表中 b 在 a 前面,但实际初始化顺序是 a 先于 b
}
};

很显然这会带来潜在问题,比如如果初始化顺序依赖于其他成员的值,可能会导致未定义行为。例如:

1
2
3
4
5
6
7
8
9
10
class MyClass {
public:
int a;
int b;

// 构造函数
MyClass(int x) : b(x), a(b + 1) {
// 这里 a 依赖于 b 的值,但由于 a 先初始化,b 还未初始化,导致未定义行为
}
};

要解决这个问题,正确做法是确保初始化顺序不依赖于其他成员的值,或者调整成员的声明顺序:

1
2
3
4
5
6
7
8
9
10
class MyClass {
public:
int b;
int a;

// 构造函数
MyClass(int x) : b(x), a(b + 1) {
// 现在 b 先于 a 初始化,a 可以正确使用 b 的值
}
};

C++类构造函数初始化列表
http://akichen891.github.io/2025/02/18/C-类构造函数初始化列表/
作者
Aki
发布于
2025年2月18日
更新于
2025年2月18日
许可协议