c++ 참조 반환

Question

MyClass& func2(){MyClass m;m.value &#61; 7;MyClass& ref &#61; m;return ref;}MyClass& m3 &#61; func2(); cout << m3.value; 이게 정상적으로 7이 출력되는 이유가 뭐죠?ref는 m을 참조하고 있고, m은 함수가 종료되면서 삭제됩니다. 그러면 ref도 삭제됩니다. 같은 이유로MyClass m4 &#61; func2(); 이것도 왜 되는걸까요?

캐티 · Accepted Answer

삭제가 아니라 객체 레퍼런스를 제거한 것이므로 메모리에 여전히 값이 남아요.레퍼런스가 해제될 때 데이터를 삭제 하기 원한다면 constructor와 destructor 각각 생성자와 소멸자를 작성해주고 소멸할 때 null 또는 0 으로 초기화 하도록 하여야 해요!

개발정복 · Answer

우리는 이걸 정의되지 않는 동작이라고 부르기로 했어요어떤 동작을 할지 모르는 것이기에 내부적으로 메모리를 할당해서 반환해주던가 밖에서 할당된 메모리영역을 지정해주는게 맞습니다.현재는 바르게 동작했지만 다른 환경에서 어떻게 다르게 동작할지 몰라요

honolulu · Answer

운좋게 func2 안에 정의된 m 이 stack 에서 다른값으로 덥어쓰기 되지 않아서 해당 주소에 제대로 된 값이 있었을 뿐입니다.

vrerv · Answer

함수가 종료되면서 즉시 자동 삭제되는 것은 아니고, 일정시간동안 원래 값이 있을 수는 있습니다, 다만 해당 메모리 주소는 더이상 유효하지 않기 때문에, 로컬 변수의 메모리를 범위 밖에서 참조하는 것은 잘못된 결과가 나올 수 있으므로, 사용하면 안됩니다.

allinux · Answer

댕글링 포인터를 참조하는건 c++ 컴파일러 입장에선 컴파일 오류는 아닙니다.

사과맛오렌지 · Answer

1번의 경우 UB입니다.무슨 결과가 나오든 정상입니다. 다른 컴파일러로 컴파일해보면 쓰레깃값이 나온다거나, 각종 오류가 나올 수 있습니다.2번의 경우 Non-mandatory copy elision에 해당합니다. https://en.cppreference.com/w/cpp/language/copy_elision컴파일러는 MyClass m4 = func2(); 를 최적화하여 MyClass m4 = MyClass { 7 }; 과 같이 바꿀 권한이 있으나, 이는 obligation은 아닙니다.둘 다 명확히 정의된 C++ 표준에 의한 결과는 아닌지라.. 두 방식 다 지양해야 한다는 것만 기억하고 넘어가셔도 되겠습니다.

c++ 참조 반환

6개의 답변

Q&A 목록