将变量分配给函数内部的引用。

Question

我正在尝试使用 C++ 引用并遇到以下情况： 考虑以下代码

void foo(float &y)
{
    float k = 0.0;
    k += 20.1;
    y = k;
    cout << "y = " << y << endl;
} 



int main() {

    float  i;
    foo(i);
    i+=10.00;
    cout<<"value of I after returning is :: "<<i<<endl;

    return 0;
}

程序编译并运行。输出是：

y = 20.1
value of i after returning is :: 30.1

现在发生这种情况，我的困境是......在函数“foo”中，我们将 y（它是对 i 的引用）分配为 k。而 k 的作用域只在那个函数中。所以一旦函数返回，k 应该被销毁并且 i 的值应该是一些未定义的值。 但出乎我的意料，函数后 i 的值为 k。

我是否遗漏了什么或理解不同的东西......？对理解这里发生的事情有什么帮助吗？ 提前致谢。

Answer 1

我认为您将 C++ 引用与指针混淆了。它们是不同的东西！一旦将引用设置为引用某个对象，就永远不能将其更改为引用另一个对象。并且对引用执行的任何操作实际上都是对引用对象的值进行的。在这种情况下，赋值y = k实际上将y引用的对象的值设置为k。

为了让事情更具体一点，我将用 cmets 对您给出的示例进行注释，以描述正在发生的事情：

void foo(float &y)
{
    float k = 0.0;
    k += 20.1;
    y = k;  /* The value of the object referred to by y (i, in this program)
               is set to k (20.1f) */
    cout << "y = " << y << endl; /* When we write y in this way, we are 
               really referring to the value of the object referred to by y. 
               This is why it prints 20.1 instead of some memory address. */
} 

int main() {
    float  i;
    foo(i);   /* i is passed as a reference to foo */
    i+=10.00; /* The value of i was modified in foo. */
    cout<<"value of I after returning is :: "<<i<<endl;

    return 0;
}

相比之下，这里是使用指针而不是引用的类似代码（有一个错误——它分配指针 y，而不是更改 y 指向的值）：

void foo(float *y)
{
    float k = 0.0;
    k += 20.1;
    y = &k;
    cout << "y = " << *y << endl;
} 

int main() {
    float  i = 0;
    foo(&i);   /* i is passed as a reference to foo */
    i+=10.00; /* The value of i was modified in foo. */
    cout<<"value of I after returning is :: "<<i<<endl;

    return 0;
}

在这种情况下会发生什么？好吧，我们打印出 y = 20.1，返回后 i 的值为 10.00。在这个例子中，当我们分配y = &k 时，我们正在改变变量 y，它是 foo 的局部变量，以引用 k。这对 i 没有影响（我们没有修改 y 指向的值），所以退出 foo 后 i 不变。如果你想在 foo 之后将 i 更改为等于 k，我们必须将行更改为 *y = k。

希望这能消除 C++ 引用和指针之间的一些差异！有很多很好的教程可以很好地解释这个主题。

Answer 2

float &y = k;  // Or float &y argument of a function initialized with i

和

很不一样

float &y = something;
...
y = k;

在以前的版本中，y 是 k 的引用。

在以后的版本中，y 仍然是某个东西的引用，而y = k 将值分配给k 到y 别名或something

永远记住不能重新分配引用。

例如：

int x = 10;
int &y = x;
int z = 20;

y = z;  // x= 20, y(x) = 20, z = 20
x = 15; // x= 15, y(x) = 15, z = 20
y= 25;  // x= 25, y(x) = 25, z = 20
z= 30;  // x= 25, y(x) = 25, z = 30
// Also note that &x and &y (addresses) are same. But &z would be different

Answer 3

引用是指针的语法糖。您的代码等效于以下内容：

void foo(float * const y)
{
    float k = 0.0;
    k += 20.1;
    *y = k;
    cout << "y = " << *y << endl;
} 
int main() {
    float  i;
    foo(&i);
    i+=10.00;
    cout<<"value of I after returning is :: "<<i<<endl;
    return 0;
}

基本上，您只能在初始化时设置引用的目标。如果您之后分配给引用，那么这些将分配给引用的值。