如何初始化Constexr引用

Question

我试图初始化一个< code>constexpr引用，但没有成功。我试过了

#include <iostream>

constexpr int& f(int& x) // can define functions returning constexpr references
{
    return x;
}

int main()
{
    constexpr int x{20};
    constexpr const int& z = x; // error here
}

但我收到了编译时错误

错误:constexpr变量“z”必须由常量表达式初始化

删除< code>const会导致

错误：将对类型“int”的引用绑定到类型“const int”的值会删除限定符

尽管我感觉< code>constexpr自动暗示变量声明的< code>const。

所以我的问题是:

< Li > < code > const expr 引用有用吗？(即“优于”< code>const参考) < li >如果是，我如何有效地定义它们？

PS：我看到了一些与我相关的问题，例如哪些值可以分配给“constexpr”引用，但我认为他们没有回答我的问题。

Answer 1

正如T.C.所说，初始值设定项需要是一个具有静态存储持续时间的对象。

N4140/§5.19/4 常量表达式是 glvalue 核心常量表达式，其值是指具有静态存储持续时间的对象 [...]

N4140/§7.1.5/9在对象声明中使用的const说明符将对象声明为const。这样的对象应具有文字类型并应进行初始化。[…]否则，或者如果在引用声明中使用了constexr说明符，则出现在其初始化器中的每个完整表达式都应是常量表达式。

N3337中的措辞不同。

Answer 2

所以问题是constexpr引用需要绑定到一个具有静态存储持续时间的对象，这在C 11标准草案:n 3337 section < code > 5.19 [expr . const](强调我的)中有所涉及:

引用常量表达式是一个左值核心常量表达式，用于指定具有静态存储持续时间或函数的对象

C 14标准草案：N3936更改了措辞：

常量表达式要么是 glvalue 核心常量表达式，其值是指具有静态存储持续时间的对象或函数，要么是 prvalue 核心常量表达式，其值是一个对象，其中，对于该对象及其子对象：

< li >引用类型的每个非静态数据成员引用具有静态存储持续时间的对象或函数，并且 < li >如果对象或子对象是指针类型，则它包含具有静态存储持续时间的对象的地址、此类对象结束后的地址(5.7)、函数的地址或空指针值。

因此，像这样更改< code>x的声明是可行的:

constexpr static int x{20};

Answer 3

1. constexpr引用是否有用？（即，“优于”常量引用）

它们保证在程序启动之前初始化，而const的引用可以在程序开始运行之后的动态初始化期间初始化。

constexpr 引用必须绑定到全局变量，而不是局部变量（或者更正式地说，它必须绑定到具有静态存储持续时间的东西）。

引用在概念上等同于获取变量的地址，并且局部变量的地址不是常量（即使在main中也只能调用一次，因此其局部变量只能初始化一次）。