인프런 커뮤니티 질문&답변
작성한 질문수
참조자 반환형오류
작성
·
212
0
#include <iostream>
using namespace std;
class Cents{
private:
int m_cents;
public:
Cents(const int& cents):m_cents(cents){}
int getCents() const {
return m_cents;
}
};
//반환형이 참조자일 시 오류
Cents& addCents(const Cents &a,const Cents &b){
return Cents( a.getCents()+b.getCents() ); //익명객체 사용
}
int main(int argc, const char * argv[]) {
Cents a(5);
Cents b(7);
cout<<addCents(a, b).getCents()<<endl;
return 0;
}
return으로 Cents객체를 반환하는데 값의 복사형식이 아닌 그 자체를 반환하겠다인 의미잖아요?
반환형이 Cents면 ok인데 Cents&하는 순간 return문에서 오류가 납니다. 이유가 무엇인가요?
답변 1
1
안녕하세요 😃
주석에도 적어두셔서 아시겠지만 반환하는건 익명객체입니다.
근데 반환형이 Cents& 라면 리턴하는 것을 참조로서, 즉 L-value 로서 반환하겠다는건데
익명객체는 리턴되면 사라지는 임시객체들입니다. 리턴 받는 입장에선 이미 파괴되어 없어져버린 임시객체를 참조하는게 되겠죠! 그래서 오류가 나는 것입니다. 임시객체는 R-value 인데 L-value 로서 리턴하려고 하셔서요!
그쵸 함수 영역 내에서만 수명을 가지는 객체를 참조로 리턴하면 아마 바로 컴파일 오류가 나거나, 오류가 안나더라도 실행시 그 리턴을 사용하면 런타임 에러가 발생하거나 그럴거에요
이거랑 관련해서 예전 강의 찾아보다가.. 7.4강의
#include <iostream>
using namespace std;
int* getValue(int x){
int value = x*2;
return &value;
}
int& getValue2(int x){ //반환이 복사가 아니라서 더 빠르다
int value=x*3;
return value;
}
int* allocMemory(int size){
return new int[size];
}
int main(int argc, const char * argv[]) {
//int value = *getValue(4);
//사라질놈에 de referencing은 위험 //메모리가 사라지는데 ??
//int *value=getValue();
//는 더 위험. 변수는 사라졌는데 메모리 주소만 알고있음
int *array = allocMemory(1024);
delete [] array;
int value2=getValue2(5); ->>> 이 부분 사라질 value를 참조형식으로 반환하더라구요. 이게 되는게 좀 의아했습니다
//int& value2=getValue(5); 없어질 놈을 레퍼런싱(별명)하는 것도 위험
cout<<value2<<endl;
return 0;
}
참조로 리턴해도(즉, L-value 로 리턴해도) 그 자체를 참조하는게 아닌 리턴 값만 복사하는거면 문제가 없네요! int value2=getValue2(5) 일땐 L-value 로 리턴되는 지역변수 value 의 값만 복사되어 value2 에 대입이 되는 듯 합니다. 그 이후엔 value 는 파괴되구요.
다만 int& value2 = getValue(5)처럼 진짜로 리턴받은 것을 참조하려고 할 땐 (임시객체가 아닌 L-value 로 리턴한거니 이게 가능하죠) 문제가 생깁니다.
잘 이해했습니다.. 다만..
만약 그러면..반환형식이 Cents& 이고 return Cents Cent( a.getCents()+b.getCents() )이여도 return되는 Cent는 어찌됬던 함수가 끝나면 없어지는 녀석인데 이걸 참조하는것도 매 한가지 아닌가요?