绑定constexpr引用至不同类型变量引发编译错误的标准规则咨询

核心原因是：类型转换导致const引用绑定到临时对象，而该临时对象的初始化无法满足常量表达式要求，这违反了C++20中constexpr引用的初始化规则。

1. 基础规则回顾 #

• 非const引用要求严格类型匹配，无法绑定到不同类型的对象（如int&绑定unsigned会报错）。
• const引用允许类型转换，此时编译器会创建一个转换后的临时对象，将引用绑定到这个临时（如const int& p = i合法）。

2. constexpr引用的C++20标准要求 #

根据C++20标准[constexpr.var]和[expr.const]的规则，constexpr引用的初始化必须满足：

• 初始化表达式是常量表达式；
• 引用必须绑定到以下之一：
  • 具有静态存储期的对象；
  • 常量表达式求值产生的临时对象；
  • 字面量或其他编译期可知的实体。

3. 两种情况的对比分析 #

合法情况：同类型constexpr引用 #

unsigned i; 
constexpr const unsigned & p = i;  // ok

这里是直接绑定到全局变量i，i具有静态存储期，其地址在编译期是确定的。即使i不是const，constexpr引用可以直接绑定到静态存储期对象——因为引用的绑定仅依赖对象的地址（编译期常量），而非其运行时的值。

错误情况：跨类型constexpr引用 #

unsigned i; 
constexpr const int & p = i;  // error

由于类型不匹配，编译器会创建一个临时int对象，值为static_cast<int>(i)，再将p绑定到这个临时。此时问题出在：

• 临时对象的初始化依赖i的值，但i是未初始化的非const全局变量，其值在编译期不可知，因此这个初始化操作不是常量表达式；
• 临时对象不具备静态存储期，也不是常量表达式直接产生的结果，不符合constexpr引用的绑定要求。

编译器的错误提示“the value of 'i' is not usable in a constant expression”，本质是指初始化临时对象时需要读取i的值，而该值无法在编译期确定，导致整个constexpr引用的初始化失败。

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