c++ - 将变量赋值给函数内部的引用。

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。

为了使事情更具体一些，我将用描述正在发生的事情的注释来注释您给出的示例:

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++ 引用和指针之间的一些差异!有很多很好的教程可以很好地解释这个主题。