C++：constexpr 隐含的将变量声明为常量并不适用于引用。

Question

C++：constexpr 隐含的将变量声明为常量并不适用于引用。

3

有很多关于constexpr表达式的问题，但我有一个问题与其他问题非常相似，但在另一方面略有不同。无论如何，以下是我的问题。

#include <iostream>
using namespace std;
                       
constexpr int x = 1; // TAG A

int main() {
   constexpr int &xf = x; // TAG B error out
   const int &xf1 = x; // TAG C works
   constexpr int const &xf2 = x; // TAG D works
   return 0;
}

错误：

Binding reference of type 'int' to value of type 'const int' drops 'const' qualifier [reference_bind_drops_quals]

评论：

标签A清楚地显示x为const int。根据C++ Primer第5版第2.44节“声明为constexpr的变量隐式为const，必须由常量表达式初始化：”。所以这样做很好。
标记B-->错误消息暗示constexpr没有将变量xf隐式“const”。因此xf为int&。这与标记A矛盾。为什么？
标签C-->这是对const的通常引用
标记D-->额外添加“const”使其成为const引用，因为它在标记B中的行为。

“引用到const”和“const引用”这个词有区别吗？
似乎“引用到const”意味着引用正在引用const对象，同时不允许进行修改，而“const引用”是指引用是const但可以指向const或非const对象。

这是一件非常令人困惑的事情。

- yapkm01

2个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Jon Reeves · Answer 1

“reference to a const”和“const reference”这两个词有区别吗？

概念上是有区别的，但“const reference”在逻辑上折叠成了“reference”，因为从技术上讲，所有引用都是常量。这也是为什么语言不允许您将引用声明为显式的“const”的原因。尽管如此，在语言中仍然存在一些情况，可以谈论“const reference”。请考虑以下示例：

typedef int &intref;

int main() {
    int x = 0;
    const intref xf = x;
    return 0;
}

在这种情况下，xf 实际上是一个 const 引用（而不是引用到 const），并且声明仍然有效。这将导致警告忽略 const 限定符，但它仍然可以编译和运行。这说明为什么仍然非常重要严格遵守声明顺序规则。

理解此声明的下一个非常重要的信息是应用 constexpr 关键字以及当我们说它“意味着 const”时确切含义。 constexpr 关键字始终指的是声明中的对象（而不是类型），因此当我们说 constexpr 意味着 const 时，它在手摆动的意义上表示，您可以省略 constexpr 声明的最内层部分（例如此示例中的 xf）上的 const 关键字，因为它是多余的。在引用的特殊情况下，它不仅是多余的，而且不允许使用。您可以认为编译器抛出错误有点不必要，因为您可以通过 typedef 来解决它，但原则仍然适用，缺少 const 的应用规则也适用。

将所有这些放在一起，在您的例子中，您可以将声明B大声读出来，例如：

"xf是一个constexpr，它是一个引用（根据定义是const，因此不需要暗示const）指向一个整数。"

但是我们有一个问题，就是我们试图声明一个对非常量对象的引用并将其分配给常量对象。这正是编译器抱怨的地方。

另请参见this。

- 1201ProgramAlarm · Answer 2

B 中的 constexpr 指的是变量 xf，而不是类型（int & constexpr xf;，虽然我不知道是否会编译）。变量 xf 是一个 constexpr，它的类型是 int &。这就是为什么试图将其绑定到 x 失败的原因。