constexpr对非const对象的引用

Question

允许声明一个非const引用为constexpr？示例代码：

int x = 1; 
constexpr int& r = x; 

这是通过gcc和铛接受（我试图两者的几个当前和过去的版本，回到C++ 11，和所有接受了它）。然而，我认为它不应该被接受，因为C++ 14 [dcl.constexpr/9]表示：

如果constexpr说明符以引用声明使用

，则出现在其初始值设定每全 表达应是一个常量表达式

和x不是一个常量表达式。

[dcl.constexpr]的最新C++ 17草案中的语言发生了变化，甚至没有提及明确引用constexpr，我无法对它们进行说明。

Answer 1

假设x具有静态存储持续时间，左值表达式x是一个完全有效的常量表达式。

如果在需要prvalue，这导致左值到右值转换为被施加到其上的上下文中使用x，然后将所得prvalue表达 - 称之为TO_RVALUE(x) - 将不是一个常量表达式，由于明显的原因。但在引用绑定的情况下，不存在这种转换。