"A reference may be bound only to an object"，为什么"const int &ref = 3;"有效？

"A reference may be bound only to an object", why is "const int &ref = 3;" valid?

本文关键字：int const ref 有效 为什么 may reference be bound an to      更新时间：2023-10-16

我刚开始学习c++。我在网上找到了一个建议："用一本好书学习，它比youtube上的视频要好。"所以，由于我很有动力，我有时间用c++Primer第五版学习。

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

以及："引用可能只绑定到对象，而不是绑定到文字或更通用的表达式的结果"

我知道：

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类型的对象它是一个常数。

我想这已经解释过很多次了，但当我在论坛上搜索时，我发现复杂问题的复杂答案，但我仍然不明白。

谢谢你的帮助。

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

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

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

"常量"很重要。第一行是错误和代码由于f（）返回一个临时对象（即右值），并且只有左值可以绑定到对非常数的引用。

为了便于说明，请参阅此答案。

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

以下代码将产生错误。

错误：类型的非常量引用的初始化无效'双&'来自"双"类型的右值

#include <iostream>
double foo(double & x) {
    x = 1;
}
int main () {
    foo(5.0);
    return 0;
}

这是Lightness的评论。

[C++11:5.1.1/1]：[..]字符串文字是一个左值；所有其他文字是prvalue。

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

prvalue（"纯"右值）是一个表达式，用于标识临时对象（或其子对象）或是与任何对象

以下表达式是prvalues：

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

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

相关文章：