构造函数是类的一种特殊的非静态成员函数,用于初始化该类类型的对象。

在类的构造函数定义中,成员初始化器列表指定各个直接和虚基类子对象和各个非静态数据成员的初始化器。(请勿与 std::initializer_list 混淆)

语法

构造函数用下列形式的成员函数声明符声明:

类名 ( 形参列表(可选) ) 异常说明(可选) attr(可选) (1)

其中 类名 必须指名当前类(或类模板的当前实例化),或当在命名空间作用域或在友元声明中声明时,它必须是有限定的类名。

构造函数声明的 声明说明符序列 中仅允许说明符 friendinlineexplicitconstexpr(尤其是不允许返回类型)。注意 cv 及引用限定符也不受允许;const 与 volatile 语义对于构造过程中的对象无效果,直至最终派生类的构造函数完成才生效。

任何构造函数的函数定义的函数体,在复合语句的开花括号之前,可包含成员初始化器列表,其语法是冒号字符 : 后随一或多个 成员初始化器 的逗号分隔列表,每项均具有下列语法

类或标识符 ( 表达式列表(可选) ) (1)
类或标识符 花括号初始化器列表 (2) (C++11 起)
形参包 (3) (C++11 起)

1) 用直接初始化,或当 表达式列表 为空时用值初始化,初始化 类或标识符 所指名的基类或成员

2) 用列表初始化(若列表为空则为值初始化,而在初始化聚合体时为聚合初始化),初始化 类或标识符 所指名的基类或成员

3) 用包展开初始化多个基类

类或标识符 - 任何标识符、类名或 decltype 表达式,它指名一个非静态数据成员,一个直接或虚基类,或(对于委托构造函数)该类自身
表达式列表 - 可为空的,传递给基类或成员的参数的逗号分隔列表
花括号初始化器列表 - 花括号包围的初始化器和嵌套的花括号初始化器列表的列表
形参包 - 变参模板形参包的名字

运行此代码

  1. struct S {
  2. int n;
  3. S(int); // 构造函数声明
  4. S() : n(7) {} // 构造函数定义。
  5. // ": n(7)" 为初始化器列表
  6. // ": n(7) {}" 为函数体
  7. };
  8. S::S(int x) : n{x} {} // 构造函数定义。": n{x}" 为初始化器列表
  9. int main()
  10. {
  11. S s; // 调用 S::S()
  12. S s2(10); // 调用 S::S(int)
  13. }

解释

构造函数没有名字且无法被直接调用。它们在发生初始化时调用,且它们按照初始化的规则进行选择。无 explicit 说明符的构造函数是转换构造函数。有 constexpr 说明符的构造函数令其类型成为字面类型 (LiteralType) 。可以不带任何实参调用的构造函数是默认构造函数。可以接收同类型的另一对象为实参的构造函数是复制构造函数移动构造函数

在开始执行组成构造函数体的复合语句之前,所有直接基类,虚基类,及非静态数据成员的初始化均已结束。成员初始化器列表是能指定这些对象的非默认初始化之处。对于不能默认初始化的成员,例如引用和 const 限定的类型的成员,必须指定成员初始化器。对没有成员初始化器的匿名联合体变体成员不进行初始化。

类或标识符 指名虚基类的初始化器,在并非所构造对象的最终派生类的构造函数执行期间被忽略。

出现于 表达式列表 或 花括号初始化器列表 中的名字在构造函数的作用域中求值:

  1. class X {
  2. int a, b, i, j;
  3. public:
  4. const int& r;
  5. X(int i)
  6. : r(a) // 初始化 X::r 为指代 X::a
  7. , b{i} // 初始化 X::b 为形参 i 的值
  8. , i(i) // 初始化 X::i 为形参 i 的值
  9. , j(this->i) // 初始化 X::j 为 X::i 的值
  10. { }
  11. };

成员初始化器所抛出的异常可被函数 try 块处理。

成员函数(包括虚成员函数)可从成员初始化器调用,但若在该点所有直接基类尚未全部被初始化,则行为未定义。

对于虚函数调用(若基类已被初始化),适用与从构造函数与析构函数中进行虚函数调用相同的规则:虚成员函数表现如同 *this 的动态类型是正在构造的类(动态派发不在继承层级下传),而对纯虚成员函数的虚调用(但非静态调用)是未定义行为。


若非静态数据成员具有 默认成员初始化器且亦出现于成员初始化器列表中,则执行成员初始化器列表而忽略默认成员初始化器:




  1. struct S {
    int n = 42; // 默认成员初始化器
    S() : n(7) {} // 将设置 n 为 7,而非 42
    };



(C++11 起)

引用成员不能绑定到成员初始化器列表中的临时量:




  1. struct A {
    A() : v(42) { } // 错误
    const int& v;
    };




注意:这同样适用于默认成员初始化器
(C++14 起)


### 委托构造函数


若类自身的名字在初始化器列表中作为 类或标识符 出现,则该列表必须仅由这一个成员初始化器组成;这种构造函数被称为委托构造函数(delegating constructor),而构造函数列表的仅有成员所选择的构造函数是目标构造函数

此情况下,首先由重载决议选择目标构造函数并予以执行,然后控制返回到委托构造函数并执行其函数体。

委托构造函数不能递归。




  1. class Foo {
    public:
    Foo(char x, int y) {}
    Foo(int y) : Foo('a', y) {} // Foo(int) 委托到 Foo(char,int)
    };





### 继承的构造函数


using 声明
(C++11 起)

初始化顺序

列表中的成员初始化器的顺序是不相关的:初始化的实际顺序如下:

1) 若构造函数是最终派生类的,则按基类声明的深度优先、从左到右的遍历中的出现顺序(从左到右指的是基说明符列表中所呈现的),初始化各个虚基类

2) 然后,以在此类的基类说明符列表中出现的从左到右顺序,初始化各个直接基类

3) 然后,以类定义中的声明顺序,初始化各个非静态成员。

4) 最后,执行构造函数体

(注意:如果初始化的顺序是由不同构造函数中的成员初始化器列表中的出现所控制,那么析构函数就无法确保销毁顺序是构造顺序的逆序了)

示例

运行此代码

  1. #include <fstream>
  2. #include <string>
  3. #include <mutex>
  4.  
  5. struct Base {
  6. int n;
  7. };
  8.  
  9. struct Class : public Base
  10. {
  11. unsigned char x;
  12. unsigned char y;
  13. std::mutex m;
  14. std::lock_guard<std::mutex> lg;
  15. std::fstream f;
  16. std::string s;
  17.  
  18. Class ( int x )
  19. : Base { 123 }, // 初始化基类
  20. x ( x ), // x(成员)以 x(形参)初始化
  21. y { 0 }, // y 初始化为 0
  22. f{"test.cc", std::ios::app}, // 在 m 和 lg 初始化之后发生
  23. s(__func__), //__func__ 可用,因为初始化器列表是构造函数的一部分
  24. lg ( m ), // lg 使用已经初始化的 m
  25. m{} // m 在 lg 前初始化,即使此出它最后出现
  26. {} // 空复合语句
  27.  
  28. Class ( double a )
  29. : y ( a+1 ),
  30. x ( y ), // x 将在 y 前初始化,其值不确定
  31. lg ( m )
  32. {} // 基类构造函数未出现于列表中,它被默认初始化(这不同于使用 Base(),那是值初始化)
  33.  
  34. Class()
  35. try // 函数 try 块始于包含初始化器列表的函数体之前
  36. : Class( 0.0 ) // 委托构造函数
  37. {
  38. // ...
  39. }
  40. catch (...)
  41. {
  42. // 初始化中发生的异常
  43. }
  44. };
  45.  
  46. int main() {
  47. Class c;
  48. Class c1(1);
  49. Class c2(0.1);
  50. }

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR 应用于 出版时的行为 正确行为
CWG 1696 C++14 引用成员可被初始化为(生存期于构造函数结尾结束的)临时量 这种初始化非良构

引用

  • C++11 standard (ISO/IEC 14882:2011):
    • 12.1 Constructors [class.ctor]
    • 12.6.2 Initializing bases and members [class.base.init]
  • C++98 standard (ISO/IEC 14882:1998):
    • 12.1 Constructors [class.ctor]
    • 12.6.2 Initializing bases and members [class.base.init]