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) - 將不是一個常量表達式，由於明顯的原因。但在引用綁定的情況下，不存在這種轉換。