常量初始化
来自cppreference.com
设置静态变量的初值为编译时常量。
语法
static T & 引用 = 常量表达式;
|
(1) | ||||||||
static T 对象 = 常量表达式;
|
(2) | ||||||||
解释
静态及线程局部 (C++11 起)对象的常量取代零初始化,并早于所有其他初始化进行。只有下列变量会进行常量初始化:
2) 不由构造函数的调用所初始化的静态或线程局部 (C++11 起)简旧数据类型 (PODType) (C++11 前)对象(不必为类类型),如果对象被值初始化,或者如果它的初始化器中的每个表达式均为常量表达式。
(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 | 曾指定始终首先进行零初始化,甚至先于常量初始化 | 如果适用常量初始化则无零初始化 |