初始化

变量的初始化在构造时提供其初值。

初值可以由声明符或 new 表达式的初始化器部分提供。在函数调用时也会发生：函数形参及函数返回值亦会被初始化。

对于每个声明符，初始化器必须是下列之一：

根据其上下文，初始化器可以调用：

• 值初始化，例如 std::string s{};
• 直接初始化，例如 std::string s("hello");
• 复制初始化，例如 std::string s = "hello";
• 列表初始化，例如 std::string s{'a', 'b', 'c'};
• 聚合初始化，例如 char a[3] = {'a', 'b'};
• 引用初始化，例如 char& c = a[0];

若不提供初始化器，则应用默认初始化的规则。

非局部变量

所有具有静态存储期的非局部变量，作为程序启动的一部分，在 main 函数的执行之前进行初始化（除非被延迟，见下文）。所有具有线程局部存储期的非局部变量，作为线程启动的一部分进行初始化，按顺序早于线程函数的执行开始。对于这两种变量，初始化发生于两个截然不同的阶段：

静态初始化

实践中：

• 常量初始化通常在编译期进行，并将预先计算的对象表示作为程序映像的一部分存储下来。若编译器没有这么做，则亦保证此初始化发生早于任何动态初始化。
• 零初始化的变量将被置于程序映像的 .bss 段，它不占据磁盘空间，并在加载程序时由操作系统以零填充。

动态初始化

在所有静态初始化完成后，在下列情形中进行非局部变量的动态初始化：

当拥有静态或线程存储期的非局部变量的初始化通过异常退出时，调用 std::terminate。

早期动态初始化

若下列条件皆为真，则允许编译器作为静态初始化（实为编译期）的一部分初始化动态初始化的变量：

因为上述规则，若某对象 o1 的初始化涉及到命名空间作用域对象 o2，而它潜在地要求动态初始化，但在同一翻译单元中在其之后定义，则所用的 o2 是完全初始化的 o2 的值（因为编译器把 o2 的初始化提升到编译时）还是 o2 仅被零初始化的值，是未指明的。

inline double fd() { return 1.0; }
extern double d1;
double d2 = d1;   // 未指明：
                  // 若 d1 被动态初始化则动态初始化为 0.0，或
                  // 若 d1 被静态初始化则动态初始化为 1.0，或
                  // 静态初始化为 0.0（因为当两个变量都被动态初始化时将为这个值）
double d1 = fd(); // 可能静态或动态初始化为 1.0

延迟动态初始化

动态初始化是发生早于（对于静态变量）主函数或（对于线程局域变量）其线程的首个函数的首条语句，还是延迟到发生晚于它们，是由实现定义的。

如果非内联变量 (C++17 起)的初始化延迟到发生晚于主/线程函数的首条语句，则它发生早于与所初始化的变量定义于同一翻译单元中的任何拥有静态/线程存储期的变量的首次 ODR 式使用。若给定翻译单元中没有 ODR 式使用变量或函数，则定义于该翻译单元的非局部变量可能始终不被初始化（这模仿按需的动态库的行为）。然而，只要翻译单元中 ODR 式使用了任何事物，就会初始化所有在初始化或销毁中拥有副作用的非局部变量，即使程序中并不使用它们也是如此。

// - 文件 1 -
#include "a.h"
#include "b.h"
B b;
A::A(){ b.Use(); }
 
// - 文件 2 -
#include "a.h"
A a;
 
// - 文件 3 -
#include "a.h"
#include "b.h"
extern A a;
extern B b;
 
int main() {
    a.Use();
    b.Use();
}
 
// 若 a 在进入 main 之前被初始化，则 b 可能在 A::A() 使用它的时间点仍未被初始化
// （因为动态初始化在翻译单元间是顺序不确定的）
 
// 若 a 在某个 main 的首条语句之后的时间点初始化（它 ODR 式使用了定义于文件 1 的函数，强制其初始化得以运行），
// 则 b 将在 A::A 使用它前初始化

静态局部变量

有关局部（即块作用域）的静态和线程局部变量，见静态局部变量。

拥有外部或内部链接的变量的块作用域声明中不允许初始化器。这种声明必须带 extern 出现而且不能为定义。

类成员

非静态数据成员可以成员初始化器列表或以默认成员初始化器初始化。

注解

非局部变量的销毁顺序于 std::exit 中描述。

参阅

• 复制消除
• 转换构造函数
• 复制构造函数
• 默认构造函数
• explicit
• 移动构造函数
• new