constinit specifier (since C++20)

• constinit - 断言变量具有静态初始化，即 零初始化 和 常量初始化 ，否则程序非良构。

说明

constinit 说明符声明具有静态或线程 存储期 的变量。

如果一个变量被声明为 constinit ，其 初始化声明 必须应用 constinit 。如果声明为 constinit 的变量存在 动态初始化 （即使其 以静态初始化方式执行 ），则程序非良构。

如果在初始化声明处无法访问到 constinit 声明，则程序非良构，不要求诊断。

constinit 不能与 constexpr 同时使用。当声明的变量是引用时， constinit 等同于 constexpr 。当声明的变量是对象时， constexpr 要求对象必须具有静态初始化和常量销毁，并使对象具有 const 限定；而 constinit 不要求常量销毁和 const 限定。因此，对于具有 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);     // 正确
// constinit const char* d = f(false); // 错误

constinit 也可用于非初始化声明，以告知编译器某个 thread_local 变量已完成初始化， 从而减少 原本因隐藏的守卫变量而产生的开销。

extern thread_local constinit int x;
int f() { return x; } // 无需检查防护变量

注释

关键词

constinit

示例

#include <cassert>
constexpr int square(int i)
{
    return i * i;
}
int twice(int i)
{
    return i + i;
}
constinit int sq = square(2);    // 正确：初始化在编译时完成
// constinit int x_x = twice(2); // 错误：需要编译时初始化器
int square_4_gen()
{
    static constinit int pow = square(4);
    // constinit int prev = pow; // 错误：constinit 只能应用于
                                 // 具有静态或线程存储期的变量
    int prev = pow;
    pow = pow * pow;
    return prev;
}
int main()
{
    assert(sq == 4);
    sq = twice(1); // 与 constexpr 不同，此值可在运行时后续更改
    assert(sq == 2);
    assert(square_4_gen() == 16);
    assert(square_4_gen() == 256);
    assert(square_4_gen() == 65536);
}

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见