Início / coding / Perguntas / 77007736
Accepted
P.Jo
Asked: 2023-08-30 19:52:11 +0800 CST

A função que retorna uma referência a um int pode ser atribuída a um int

  • 772

Sempre pensei que uma assinatura como

int& val() {...}

indicaria ao chamador que uma referência a um valor int já existente é retornada. No entanto, se eu usar essa função e atribuí-la a uma intvariável (não a um int&), ela será compilada. O resultado é, no entanto, uma cópia do valor real de retorno da função - conforme mostrado pela impressão dos endereços, como pode ser visto na sessão a seguir:

#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;
}

Resultando ye vresidindo no mesmo local de memória (o que eu esperava) - mas não x. Então, eu me pergunto, o que está acontecendo nos bastidores ao atribuirint x = vref();

c++

2 respostas

  1. Best Answer

    Com

    int x = vref();

    você faz uma cópia do valor original e o armazena na variável única e distinta x.

    Por outro lado, com:

    int& y = vref();

    você obtém uma referência à vvariável original. A variável ypode ser vista como um alias de v. Sempre que você usa, yvocê está realmente usando v.

    Como a vref()função retorna um alias de v, a definição e inicialização de xé realmente equivalente a:

    int x = v;

    Ambos xe vsão do mesmo tipo, portanto nenhuma conversão de tipo é feita.

    Esta equivalência é obviamente a mesma para ya qual é equivalente a:

    int& y = v;

    Observe que o primeiro "problema", fazer uma cópia do valor retornado, é o motivo pelo qual não adianta retornar um valor constante.

    Mesmo uma referência à constante (ou seja int const&, ) ainda pode ter seu valor copiado.

    A diferença é que se você modificar a cópia (como a variável xno seu exemplo), você modificará apenas a cópia em si, não o valor original.

    Então, por exemplo, x++aumentará o valor, xmas não será vmodificado. Mas y++aumentará o valor de v.

    • 3

  2. vrefretorna uma referência a v. As referências não podem ser recuperadas. A referência retornada de vrefsempre se referirá a v. Usar a referência para inicializar outra referência faz com que essa outra referência se refira a v.

    Isto no entanto,

    int x = vref();

    faz uma cópia vpara inicializar x. xnão é uma referência. xe vsão dois inteiros distintos.

    No entanto, se eu usar essa função e atribuí-la a uma variável int (não a um int&), ela será compilada. O resultado é, no entanto, uma cópia do valor real de retorno da função - conforme mostrado pela impressão dos endereços, como pode ser visto na sessão a seguir:

    Totalmente correto.

    Não há contradição em vrefretornar uma referência.

    • 1

relate perguntas