为什么重置引用时没有收到错误?

Why am I not getting an error when reseting a reference?

本文关键字：错误 引用 为什么      更新时间：2023-10-16

在下面的代码中

#include<iostream>
using namespace std;
int main(){
int x=4;
int y=5;
cout << x <<endl;
int& foo = x;
// foo is now a reference to x so this sets x to 56
foo = 56; //reseting the reference foo
cout << x <<endl;
cout << foo <<endl;

foo= y; //this is supposed to be forbidden 
cout << foo <<endl; // but I am getting foo=5
return 1;
}

这编译得很好，我在最后cout得到了foo=5.对于我读到的内容，您无法重新放置引用以使其引用不同的对象，所以我期待一个错误，这里发生了什么？

创建引用后，任何使用该引用变量的尝试都等效于使用分配给它的对象。

因此，当我们查看以下代码行时：

foo= y; //this is suppose to be forbidden

我们看到它不会尝试重新分配引用，而是将y的值分配给foo引用的对象。

那么，重置引用(会产生错误(的示例是什么？

虽然我们不能编写重新分配引用的代码，但编译器最终可能会遇到这样的情况：它必须发出与处理嵌入在其他数据结构中的引用时的代码等效的代码。编译器这样做仍然是非法的。

例如，以下内容将无法编译，因为无法创建编译器生成的X赋值运算符，因为它将涉及重新赋值ref。

struct X {
int& ref;
};
void foo() {
int v1 = 1;
int v2 = 2;
X x1{v1};
X x2{v2};
x1 = x2; // Boom!
}

编辑：在这里回答后续问题，因为它非常相关。

现在你可能想知道："嘿！如果引用表现为另一个变量的代理，为什么编译器不能使用该逻辑为struct X生成一个有效的赋值运算符？

嗯，不是真的。这里的潜在期望是，一旦我做var_a = var_b，那么默认情况下，var_a现在实际上与var_b相同。

因此，如果x1.ref指向v1，x2.ref指向v2，那么期望是默认情况下，x1 = x2将导致x1.ref指向v2。

从长远来看，做任何其他事情只会导致混乱和意外。

相关文章：