“引用可能只绑定到一个对象”，为什么是“const int &ref = 3;”有效的？

Question

我刚开始学习 C++。我在网上找到了一个建议：“用一本好书学习，它比youtube上的视频更好。”因此，当我有动力并且有时间学习 c++ Primer 5th Ed。

在这本书中，他们说： 注意：“引用不是对象。相反，引用只是已存在对象的另一个名称。”

和： “引用只能绑定到一个对象，而不是文字或更通用表达式的结果”

我明白了：

int i = 3;
int &ri = i;  // is valid: ri is a new name for i
int &ri2 = 2;  // is not valid: 2 is not an object

那我就不明白为什么了：

const int &ri3 = 2;  // is valid

他们写道：“如果能更容易理解复杂的指针或引用声明 你从右到左阅读它们。”

好的，这不是很复杂。我明白： 我声明了一个名为 ri3 的变量， 它是一个引用（当 & 在类型之后是引用，当 & 在表达式中时是地址） 到 int 类型的对象 它是一个常数。

我认为它已经解释了很多次，但是当我在论坛上搜索时，我发现复杂问题的复杂（对我而言）答案，我仍然不明白。

感谢您的帮助。

Answer 1

https://stackoverflow.com/a/7701261/1508519

您不能将文字绑定到对非常量的引用（因为 修改文字的值不是使 感觉）。但是，您可以将文字绑定到对 const 的引用。

http://herbsutter.com/2008/01/01/gotw-88-a-candidate-for-the-most-important-const/

“常量”很重要。第一行是错误和代码 使用此对非常量的引用将无法进行可移植编译，因为 f() 返回一个临时对象（即右值），并且只能是左值 绑定到对非常量的引用。

出于说明目的，请参阅answer。

非常量引用不能指向文字。

以下代码会产生错误。

错误：类型的非常量引用的无效初始化 来自“double”类型的右值的“double&”

#include <iostream>

double foo(double & x) {
    x = 1;
}

int main () {
    foo(5.0);
    return 0;
}

这是Lightness'的评论。

[C++11: 5.1.1/1]: [..] 字符串字面量是左值；所有其他 文字是纯右值。

还有cppreference（向下滚动到rvalue (until C++11) / prvalue (since C++11)）：

prvalue（“纯”右值）是一个表达式，用于标识临时 对象（或其子对象）或者是不与任何对象关联的值 对象。

以下表达式是纯右值：

Literal (except string literal), such as 42 or true or nullptr.

Answer 2

这是有效的，因为数字文字实际上是常量。所以编译器只有const才能接受这样的引用。