关于c ++：如何初始化constexpr引用

how to initialize a constexpr reference

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

1
2
3
4
5
6
7
8
9
10
11
12

#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
}

但我有一个编译时错误

error: constexpr variable 'z' must be initialized by a constant expression

丢弃const会导致

error: binding of reference to type 'int' to a value of type 'const int' drops qualifiers

尽管我觉得constexpr自动暗示const用于变量声明。

所以我的问题是：

constexpr引用是否有用？(即，"优于"const参考文献)

如果是，我如何有效地定义它们？

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

型

Are constexpr references ever useful? (i.e.,"better" than const references)

号

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

If yes, how can I effectively define them?

号

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

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

相关讨论

啊，好的，谢谢！如果我把x移到main()外，它就会工作。但是，为什么我需要把多余的const放在z的定义中？
它们需要绑定到具有静态存储持续时间的对象，该对象可以是本地static或全局的。
@T.C.，是的，如果我使它静止(在主管道内)，它也能工作。
constexpr影响引用，而不是它所绑定到的类型，因此要绑定const int，您仍然需要const int&。
我甚至不确定那个电话只能打一次。虽然这肯定是非常不传统的，但我不认为标准禁止调用main，就像它只是另一个函数一样。
@antred[basic.start.main]/3："程序中不应使用函数main"。main的链接是实现定义的。将main定义为已删除或宣布main为inline、static或constexpr的程序是不成立的。名称main未另行保留。"
@jonathanwakely所以我猜同样适用于指针，也就是说，constexpr int* p;隐式地使指针的类型int* const。
@从语言的角度来看，constexpr是decl说明符。我不想详述，但你可以把其余的放在一起。
@凯西很有意思，我接受纠正。：o同样的规则也适用于C吗？因为我记得一个关于C论坛的讨论，其中一个用户有递归的main函数并声称它是合法的。C没有发现任何相反的证据，我接受了它，并假设它也是C++的。
"AtReD C和C++是具有不同标准的不同语言，所以C中有许多合法的东西在C++中是不合法的。
@安特瑞德，我不是C专家，但快速看一下N1570没有类似的限制。5.1.2.2.3/1程序终止会说"如果main函数的返回类型是与int兼容的类型，那么从最初调用main函数返回的值就相当于调用exit函数，该函数的参数是main函数返回的值…"[强调已添加]。这似乎意味着对main的非初始调用是兼容的。
@t.c."可以是本地的static或全局的"，也可以是寿命延长到静态存储时间的临时的：static constexpr int const& x = 42;是可以的。这也是为什么clang++接受static constexpr auto x = {1,2};，但constexpr auto x = {1,2};不接受(在块范围内)。(这意味着即使是《行动纲领》中的static constexpr const int& z = +x;也是合法的。)

型

所以问题在于，一个COSTEXPR引用需要绑定到一个静态存储持续时间的对象，该对象覆盖在C++ 11标准草案中：N33 37节EDOCX1×2〔Exp.const〕(强调雷)：

A reference constant expression is an lvalue
core constant expression that designates an object with static storage duration or a function

号

C++ 14标准草案：N39 36改变措辞：

A constant expression is either a glvalue core constant expression whose value refers to an object with static
storage duration or to a function, or a prvalue core constant expression whose value is an object where, for
that object and its subobjects:

each non-static data member of reference type refers to an object with static storage duration or to a
function, and

if the object or subobject is of pointer type, it contains the address of an object with static storage
duration, the address past the end of such an object (5.7), the address of a function, or a null pointer
value.

号

因此，像这样更改x的声明将起作用：

1	constexpr static int x{20};

型

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

N4140/§5.19/4 A constant expression is either a glvalue core
constant expression whose value refers to an object with static
storage duration [...]

N4140/§7.1.5/9 A constexpr specifier used in an object declaration
declares the object as const. Such an object shall have literal type
and shall be initialized. [...] Otherwise, or if a constexpr
specifier is used in a reference declaration, every full-expression
that appears in its initializer shall be a constant expression.

号

在N3337中，措辞不同。