主页 / coding / 问题 / 77007736
Accepted
P.Jo
Asked: 2023-08-30 19:52:11 +0800 CST

返回 int 引用的函数可以分配给 int

  • 772

我一直以为像这样的签名

int& val() {...}

将向调用者指示返回对已存在的 int 值的引用。但是，如果我使用该函数并将其分配给int变量（而不是int&），它就会编译。然而，结果是函数实际返回值的副本 - 如打印地址所示，如以下会话中所示：

#include <iostream>

using namespace std;

int v = 8;
int& vref()
{
    return v;
}

int main()
{
 /*declared type of x does not match the return type! However, no warnings/messages about any implicit conversion are given here*/
 int x = vref();  
 int& y = vref(); // correct type
 // Now I declare pointers to x,y and v and display their addresses
 int* ptr_x = &x;
 int* ptr_y = &y;
 int* ptr_v = &v;
 cout << "Addr of x: " << ptr_x << endl;
 cout << "Addr of y: " << ptr_y << endl;
 cout << "Addr of v: " << ptr_v << endl;
}

导致y并v驻留在相同的内存位置（这是我所期望的） - 但不是x. 所以，我想知道分配时幕后发生了什么int x = vref();

c++

2 个回答

  1. Best Answer

    和

    int x = vref();

    您复制原始值，并将其存储到唯一且不同的变量中x。

    另一方面，与：

    int& y = vref();

    您将获得对原始变量的引用v。该变量y可以被视为的别名v。任何时候你使用y你实际上是在使用v.

    因为该vref()函数返回的别名v，所以 的定义和初始化x实际上相当于：

    int x = v;

    和x都是v相同的类型，因此不进行类型转换。

    这种等价当然是相同的，其y等价于：

    int& y = v;

    请注意，第一个“问题”是复制返回值，这就是返回常量值实际上没有用的原因。

    即使是对常量（即 ）的引用int const&仍然可以复制其值。

    不同之处在于，如果您修改副本（如x示例中的变量），您只会修改副本本身，而不是原始值。

    因此，egx++将增加 的值，x但保持v不变。但y++会增加价值v。

    • 3

  2. vref返回对 的引用v。引用不能反弹。从 返回的引用vref将始终引用v。使用该引用初始化另一个引用会使该另一个引用引用v。

    然而，这

    int x = vref();

    复制v来初始化x. x不是参考。x和v是两个不同的整数。

    但是，如果我使用该函数并将其分配给 int 变量（而不是 int&），它就会编译。然而，结果是函数实际返回值的副本 - 如打印地址所示，如以下会话中所示：

    完全正确。

    vref返回引用并不矛盾。

    • 1

相关问题