通过引用“先进”的概念？

Question

当你这样做：

int square(int& x) { return x*x;};

int s = square(40); // This gives error

要解决此问题，请执行以下操作

int square(const int& x) { return x*x;};

int s = square(40); // This is OK

我知道40是常数但是如果我这样做会怎么样：

const int& x = 40 

为什么只有const关键字才可以？ 这是编译器保护的方式，没有人可以改变x引用的值吗？

40是一个const所以我们甚至不知道它在内存中的位置，但编译器不应该知道这个地址，因此应该允许将值从40改为30，因为编译器可以只去地址&40并更改价值为30？

Answer 1

仅仅因为它可以实现并不意味着你应该这样做。 40岁真的是30岁是热闹的，但特别难以维持，不应该被允许。 另外，40实际上不一定有地址。 考虑40个高速缓存，寄存器或立即指令。

Answer 2

square宣言：

 int square(int& x);

取一个左值，而square(40)调用取一个rvalue，这是不一致的， 在这里看到更多的左值和右值。

Answer 3

有关引用的规则是您不能将临时引用绑定到非const引用。 文字40可以用来初始化一个临时的，但它本身不是一个对象。 因此，你不能绑定一个非const左值引用。

当你这样做

int const& value = 40;

实际上，将初始化为40的临时对象绑定到参考value 。 通常情况下，临时表格超出范围并在完整表达结束时被销毁。 但是，当您将临时绑定到非const引用时，其生命周期将延长以匹配引用的生命周期。

禁止将临时对象绑定到非const引用的规则主要是因为它可能会导致许多令人惊讶的结果。 它可以在技术上完成，但很可能产生不明显的结果。

Answer 4

你会混淆常量和文字。 它们相似，但不相同。 40不是常数，它是字面意思。

您不能通过引用传递文字，因为如果您通过引用传递某些内容，则意味着它可以被修改 - 文字不能。 考虑以下：

void foo(int &i)
{
    i = 1;
}

foo(0); // What on Earth? 0 == 1?

但是，如果您传递对常量的引用，则意味着即使它是引用，也不允许该函数修改其参数（因为它是常量），所以现在您可以安全地传入一个文字 - 它现在使感觉，因为函数修改其参数是不可能的。

Answer 5

你仍然可以这样做：

int x = 40;
int s = square(x)

x = 30;
s = square(x);

两个版本的square（一个或没有const）。

当您通过引用传递某些内容时，您正在传递一个现有对象（因为这就是引用意味着现有对象的别名 ）。

在你的例子中：

int s = square(30);

你没有传递一个物体。 这是一个文字（它们不是对象 ）。 编译器可以通过创建临时对象将文字转换为对象。 但是语言对临时对象有明确的限制，这意味着它们是const。 这意味着引用不能传递给它们将被突变的接口（尽管你可以通过const引用传递它们）。