constinit 说明符 (C++20 起)
来自 cppreference.cn
目录 |
[编辑] 解释
constinit 说明符声明具有静态或线程存储期的变量。
|
constinit 说明符也可以应用于结构化绑定声明。在这种情况下，constinit 也应用于声明引入的唯一命名变量。 |
(C++26 起) |
如果变量声明为 constinit，则其初始化声明必须应用 constinit。如果声明为 constinit 的变量具有动态初始化（即使它作为静态初始化执行），则程序格式错误。
如果在初始化声明点没有可访问的 constinit 声明，则程序格式错误，无需诊断。
constinit 不能与 constexpr 一起使用。当声明的变量是引用时，constinit 等同于 constexpr。当声明的变量是对象时，constexpr 要求对象必须具有静态初始化和常量销毁，并使对象成为 const-qualified，然而，constinit 不要求常量销毁和 const-qualification。因此，具有 constexpr 构造函数但没有 constexpr 析构函数的类型对象（例如 std::shared_ptr<T>）可以声明为 constinit 而不能声明为 constexpr。
const char* g() { return "dynamic initialization"; } constexpr const char* f(bool p) { return p ? "constant initializer" : g(); } constinit const char* c = f(true); // OK // constinit const char* d = f(false); // error
constinit 也可以用于非初始化声明，以告知编译器 thread_local 变量已初始化，减少否则由隐藏保护变量引起的开销。
extern thread_local constinit int x; int f() { return x; } // no check of a guard variable needed
[编辑] 注意
| 功能测试宏 | 值 | 标准 | 特性 |
|---|---|---|---|
__cpp_constinit |
201907L |
(C++20) | constinit
|
[编辑] 关键词
[编辑] 示例
运行此代码
#include <cassert> constexpr int square(int i) { return i * i; } int twice(int i) { return i + i; } constinit int sq = square(2); // OK: initialization is done at compile time // constinit int x_x = twice(2); // Error: compile time initializer required int square_4_gen() { static constinit int pow = square(4); // constinit int prev = pow; // Error: constinit can only be applied to a // variable with static or thread storage duration int prev = pow; pow = pow * pow; return prev; } int main() { assert(sq == 4); sq = twice(1); // Unlike constexpr this value can be changed later at runtime assert(sq == 2); assert(square_4_gen() == 16); assert(square_4_gen() == 256); assert(square_4_gen() == 65536); }
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
|---|---|---|---|
| CWG 2543 | C++20 | 如果用 constinit 声明的变量 作为静态初始化的一部分进行动态初始化，则行为不明确 |
程序格式错误 在这种情况下，枚举是病态的 |
[编辑] 另请参阅
consteval 说明符(C++20) |
指定函数为“即时函数”，即对该函数的每次调用都必须在常量求值中 |
constexpr 说明符(C++11) |
指定变量或函数的值可以在编译时计算 |
| 常量表达式 | 定义可在编译时求值的表达式 |
| 常量初始化 | 将静态变量的初始值设置为编译时常量 |
| 零初始化 | 将对象的初始值设置为零 |
