常量初始化

来自cppreference.com
< cpp‎ | language
 
C++
 
C++ 语言
 
初始化
 

设置静态变量的初值为编译时常量。

语法

static T & 引用 = 常量表达式; (1)
static T 对象 = 常量表达式; (2)

解释

静态及线程局部 (C++11 起)对象的常量取代零初始化，并早于所有其他初始化进行。只有下列变量会进行常量初始化：

1) 静态或线程局部 (C++11 起)引用，如果它绑定到了静态泛左值，临时对象（或其子对象） (C++11 起)，或函数，且如果引用的初始化器中每个表达式（包含隐式转换）都是常量表达式。
2) 不由构造函数的调用所初始化的静态或线程局部 (C++11 起)简旧数据类型 (PODType) (C++11 前)对象（不必为类类型），如果对象被值初始化，或者如果它的初始化器中的每个表达式均为常量表达式。
3) 由构造函数的调用所初始化的类类型的静态或线程局部对象，如果构造函数是 constexpr 且所有构造函数实参（包含隐式转换）都是常量表达式，且如果构造函数的初始化器列表中的各初始化器，以及各类成员的花括号或等号初始化器都仅含有常量表达式。
 (C++11 起)

常量初始化的效果与其所对应的初始化的效果相同，但保证它在任何其他静态或线程局部 (C++11 起)对象的初始化前完成，并可能在编译时进行。

注解

如果编译器可以保证其值与当遵循初始化的标准顺序时的结果相同，那么允许它用常量初始化对其他的静态及线程局部 (C++11 起)对象进行初始化。

实践中，常量初始化在编译时进行，并将预先计算的对象表示作为程序映像的一部分（如 .data 段）存储。如果变量既为 const 又被常量初始化，那么它的对象表示可存储于程序映像的只读段（如 .rodata 段）。

示例

运行此代码
#include <iostream>
#include <array>
 
struct S {
    static const int c;
};
const int d = 10 * S::c; // 非常量表达式：此 S::c 前没有初始化器，此初始化发生晚于常量初始化
const int S::c = 5;      // 常量初始化，保证首先发生
int main()
{
    std::cout << "d = " << d << '\n';
    std::array<int, S::c> a1; // OK：S::c 是常量表达式
//  std::array<int, d> a2;    // 错误：d 不是常量表达式
}

输出： 

d = 50

缺陷报告

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

DR 应用于 出版时的行为 正确行为
CWG 441 C++98 不能常量初始化引用 使得可常量初始化
CWG 2026 C++98 曾指定始终首先进行零初始化，甚至先于常量初始化 如果适用常量初始化则无零初始化

参阅

来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/language/constant_initialization&oldid=71654”