C:constexpr暗示变量的隐式常量不适用于引用[重复]

Question

有很多问题/答案有关的问题，但我有一个问题，非常接近其他问题，但在另一种意义上略有不同。不管怎样，它来了。

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

评论：

1. 根据 C Primer 第 5 版第 2.44 页“声明为 constexpr 的变量是隐式的 const，必须通过常量表达式初始化：”。所以这很好。
2. 标签 B --

似乎对const的引用意味着引用是指一个const对象，而不允许进行修改，而"const引用"是指引用是const，但它可以指向const或非const对象。

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

Answer 1

B 中的 constexpr 是指变量 xf，而不是类型 （int

Answer 2

“对const的引用”和“const引用”这个词有区别吗？

是的，从概念上讲，但“常量引用”在逻辑上会变成“引用”，因为从技术上讲，所有引用都是常量。这也是为什么该语言不允许将引用显式声明为const。尽管如此，在语言中仍有一些情况下，谈论“常量引用”是有意义的。考虑以下示例：

typedef int &intref;

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

在这种情况下，< code>xf实际上是一个const引用(不是对const的引用)，声明仍然有效。这将给出一个关于const限定符被忽略的警告，但是它仍然会编译和运行。这说明了为什么严格遵守声明顺序规则仍然非常重要。

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

在您的示例中，将所有这些放在一起，您可以像这样大声朗读声明B:

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

但是这里我们有一个问题，因为我们试图声明一个对非常量对象的引用，并将其赋给一个常量对象。这正是编译器所抱怨的。

另见本。