인프런 커뮤니티 질문&답변

Rookiss님 답변에서 궁금한 점이 생겼습니다.

은닉성 답변에서

void main()
{
   Knight k;
  int& hp = k.GetHp(); //< 일단 문제는 없음
}

이런 표현을 써주셨습니다.

제가 항상 헷갈리던게 반환형이 참조형이면 뭐가 반환되는가가 헷갈렸습니다.

예를 들어,

class Knight

{

public:

 

int _hp;

int& GetHp()

{

return _hp;

}

};

int main()

{

Knight k;

k._hp = 100;

int a = k.GetHp();

int& b = k.GetHp();

return0;

}

이런식으로 되어 있을 때

a와 b에서 일어나는 일의 차이를 잘 모르겠습니다

위 코드를 디스어셈블리로 살펴보면

int a = k.GetHp();

00A71939  lea         ecx,[k]  

00A7193C  call        Knight::GetHp (0A710B9h)  

00A71941  mov         eax,dword ptr [eax]  

00A71943  mov         dword ptr [a],eax  

int& b = k.GetHp();

00A71946  lea         ecx,[k]  

00A71949  call        Knight::GetHp (0A710B9h)  

00A7194E  mov         dword ptr [b],eax 

 ==> 이 실행문이 a에 하나 더 있는 걸 제외하고는 차이가 없습니다.

00A71941  mov         eax,dword ptr [eax]  

1. 참조값을 반환 한다는게 뭘 반환해 준다는 건가요?

- 예전 참조기초 강의에서

int* pointer = &number;

00BA2A59  lea         eax,[number]

00BA2A5C  mov         dword ptr [pointer],eax

*pointer = 2;

00BA2A5F  mov         eax,dword ptr [pointer]

00BA2A62  mov         dword ptr [eax],2

int& reference = number;

00BA2A68  lea         eax,[number]

00BA2A6B  mov         dword ptr [reference],eax

이 어셈블리를 통해 int*로 선언된 변수나 int&로 선언된 변수 모두 number의 주소를 담는 바구니라는 것을 확인했습니다.

위와 같은 사실로 제가 생각해 봤을 때,

-> 제 생각 :

반환형이 int& 라면-> 참조값 &, 포인터처럼 주소를 담는 바구니는 돌려준다

                        -> 그 바구니를 따라가다보면 나오는 데이터는 int형이다.

int a = k.GetHp()의 뜻 -> 바구니를 따라가다보면 나오는 int형 데이터를 복사해서 a라는 바구니에 대입해주겠다.

int& b = k.GetHp()의 뜻 -> 

00A7194E  mov         dword ptr [b],eax 
여기서 eax가 return시 [_hp의 주소]를 가지고 있다는 것을 확인했습니다.

(008550C9  call        Knight::GetHp (08510B9h)  를 F11로 들어가 확인해봤습니다)

즉 b는 _hp의 주소를 가지는 변수이다 -> 그런데 왜 메모리에서 &b를 찍으면 b의 주소에 _hp의 주소가 뜨는게 아니고 100이라는 값이 정확히 뜰까? -> C++에서는 참조라는게 그렇게 작동하니까

결국 리턴 값이 참조형으로 되어있으면 리턴되는 변수의 주소값이 넘어오는 것이다.

위와 같은 결론이 맞는 생각인지 궁금합니다.