全局与局部constexpr数组引用初始化编译错误原因咨询

先看这段C++代码：

typedef const int CI[3];
constexpr CI &ci = CI{11, 22, 33};
static_assert(ci[1] == 22, "");

int main(){ 
    typedef const int CI[3]; 
    constexpr CI &ci = CI{11, 22, 33}; // 编译错误
    static_assert(ci[1] == 22, ""); // 编译错误
}

这段代码里，全局作用域的constexpr数组引用能正常编译运行，但将同样的定义放到main函数的局部作用域时，会触发编译错误：‘constexpr variable 'ci' must be initialized by a constant expression’，后续的static_assert也会报错。提问者查阅了C++标准的[expr.const]章节，未找到变量作用域对常量表达式的相关要求，想了解全局与局部变量表现不同的原因。

原因解析 #

核心差异在于临时数组的存储期：

• 全局作用域中创建的临时数组CI{11, 22, 33}属于静态存储期对象，它的生命周期贯穿整个程序运行期间，其内存地址是编译期可确定的常量值，完全符合constexpr引用对初始化表达式的常量要求，因此可以正常初始化。
• 局部作用域（main函数内）的临时数组是自动存储期对象，它的生命周期仅限于当前代码块，且编译器无法在编译期确定其具体内存地址（自动存储期对象在栈上分配，地址由运行时决定）。而constexpr变量要求初始化表达式必须是常量表达式，自动存储期的临时对象无法满足这一规则——常量表达式不能引用自动存储期的对象，因此初始化constexpr CI &ci时会触发编译错误。

至于static_assert的报错，是连锁导致的：因为ci本身不是合法的constexpr变量，所以ci[1]自然也不是常量表达式，无法用于static_assert的编译期条件判断。

内容的提问来源于stack exchange，提问作者Nhat Nguyen