有没有办法从函数内部更改外部对象

Question

是否可以定义一个函数，使参数在返回后引用另一个（已经存在的）对象而不使用指针等？同样，这不能仅仅通过使用复制构造函数或赋值运算符或任何东西来更改现有对象。当函数返回时，外部对象将引用不同的内存块。

例如：

int x;
void change(int& blah) {
    blah = x; // I don't want to change blah's value to x's value, I want to make blah refer to x outside the function
}

void main() {
    int something = 0;
    change(something);
    assert(&x == &something);
}

无论使用哪种方法，都必须像

change(x);

在调用函数之前不对参数应用任何特殊运算符或函数一样来调用该函数。我不知道这是否可行，但如果可行的话，这将使非常酷的事情成为可能。如果不是，我也想知道为什么。

Answer 1

不，因为 something 和 x 是不同的对象。它们并不指代不同的对象。它们并不指向不同的对象。它们是不同的对象。

要改变某个东西指向的位置，该东西需要是一个指针。如果你有指针，你可以这样做：

int x;

void change(int*& p)
{
    p = &x;
}

int main()
{
    int something = 0;
    int* pointer = &something; // pointer points to 'something'
    change(pointer);           // now pointer points to 'x'
    assert(&x == pointer);
}

Answer 2

不，绝对不可能。像 int x 这样的常规变量和像 int &y(...) 这样的引用变量以及数组都是不可重新安装的，即它们总是使用/指向同一块内存。

要获得所需的功能，您确实需要使用指针或指针的抽象。否则是不可能的。

作为解释的尝试，这里是（不完全正确，并且非常简化，但足以理解这个想法）：

当您声明像 int x 这样的变量时，您实际上是在要求编译器将 x 与特定的内存区域相关联。例如，假设 x 与从 0x439FC2 开始的四字节相关联。由于编译器知道 x 应始终引用 0x439FC2，因此任何 x 的使用都可以通过查找这些内存单元来替换，并且将它们加载到寄存器中，将它们推入堆栈，或者其他什么。不管怎样，最终结果是变量名x几乎被数字0x439FC2取代。因此，您无法移动 x 的原因是您无法使该内存地址引用内存中的不同位置。

同样，该解释是简化的，并不完全正确，但它是推理自动分配变量的“直观”方式。

Answer 3

您想使用对指针的引用：

void change(int &* blah, int * x){

  blah = x;
}

int * num1;
int num2 = 2;

change( num1, &num2 ); //num1 now points to num2