为何constexpr声明的引用可绑定到具有不确定值的变量？关于C++代码合法性的技术问询

先看这段代码：

int aaa; 
int& v = aaa; 
int& rf = v; 
constexpr int& crf = rf; 
int main(){ }

你提到的困惑非常合理——乍一看，constexpr变量似乎要求值在编译期确定，但aaa是个普通全局变量，它的数值是不确定的，为什么这段代码还能通过编译？

其实这里的核心误区是：你混淆了constexpr引用的要求和constexpr值类型变量的要求。

让我拆解一下关键知识点：

• constexpr引用的核心要求不是“引用的对象必须是编译期常量”，而是引用的绑定目标必须是编译期可确定的。换句话说，编译器需要在编译阶段就知道这个引用到底指向哪个内存地址。
• 全局变量aaa属于静态存储期对象，它的内存地址是在编译阶段就确定好的（全局变量的存储位置在程序启动前就已分配）。哪怕它的数值还没被初始化（全局变量默认零初始化，但这里重点是地址确定），它的地址是编译期可知的。
• 从C++标准的角度看，当constexpr引用绑定到一个有静态存储期的对象时，这个初始化操作是符合常量表达式要求的——因为绑定的地址是编译期常量，而引用本身只是这个地址的别名。
• 你可能把“constexpr变量的‘值’”理解错了：对于引用类型的constexpr变量，它的“值”其实是绑定对象的内存地址，而不是对象的数值。这个地址是编译期确定的，完全符合constexpr的要求；至于对象的数值，constexpr引用并没有要求它必须是编译期常量。

简单来说：constexpr引用只关心“我指向谁的地址”，这个地址要编译期确定；而不关心“我指向的对象的值是什么”，这个值可以运行时再确定。这就是这段代码合法的原因。

内容的提问来源于stack exchange，提问作者Initial D