C++ of the Day #18 - Returning local variable

이번 글도 역시 뉴스그룹에서 가져왔습니다. ((c.l.c.m:Returning local variable
그런데 이 질문을 올린 Minkoo Seo라는 이름을 보니 얼마전 댓글을 달아주신 서민구님이네요. :-)))

Question

#include <iostream>
using namespace std;

const char *foo()
{
  string f = "fo";
  f += "o";
  return f.c_str();
}

int main()
{
  cout << foo() << endl; // I need const char * here!!!
  return EXIT_SUCCESS;
} 

질문은.

1. 위의 코드와 같이 local 변수를 const char*로 리턴하면 괜찮다고 하던데 정말인가요? (어디서 char*로 리턴하는건 안되지만 const char*로 리턴하는건 된다는 내용을 읽은 것 같아요.)
2. 만약 안 괜찮다면 foo()함수는 어떻게 만들어야 할까요?

Answer

사실 이 질문들에 대한 답은 간단합니다.

1. 괜찮지 않습니다. local 변수인 string 객체는 이미 파괴되었기 때문에 cout 에서 그 포인터를 읽을 때는 이미 존재하지 않는 객체에 access하는 것이기 때문입니다.
2. 간단히 리턴 타입을 string으로 바꿔주면 됩니다. 물론 리턴할때도 f.c_str() 대신에 그냥 f 를 리턴하면 되겠죠?

이 질문에서 재밌게 생각되는 점은 원래 질문 내용보다는 어디선가 이런 내용을 읽은 것 같다는 내용입니다. 사실 내용은 전혀 다르지만 비슷한 내용이 있지요. 바로 const reference에 대한 casting입니다. 아마 const reference 를 본것을 const pointer로 착각하신건 아닐까 하는 생각이 드네요. 간단히 설명하면 다음과 같습니다. 먼저 아래 코드를 보시죠.

class Widget;
Widget getWidget();
void useWidge(Widge& w);

Widget w = getWidget() + getWidget(); // 1)
const Widget& w1 = getWidget(); // 2)
useWidget(w1); // 3)

먼저 1)번 라인의 두개의 getWidet()에서 리턴된 temporary 객체들의 수명은 그 라인이 끝날때까지뿐입니다. 1)번 라인을 pseudo code로 설명해보면 다음과 같습니다.

Widget temp1 = getWidget();
Widget temp2 = getWidget();
Widget w = temp1 + temp2;
destroy temp2;
destroy temp1;

즉, 1)번 라인이 수행되고 나면 w에는 두개의 Widget을 더한 값이 정상적으로 들어있으나 각 getWidget()에서 리턴한 temporay 객체들은 모두 없어집니다. 그럼 2)번 라인은 어떨까요? 만약 1)번과 같은 규칙이 적용된다면 3)번 라인에서는 이미 없어진 temporary 객체에 대한 const reference로 함수를 호출하는 것이 되어 문제가 발생할것입니다. 하지만 이 경우에는 const reference가 이 temporary 객체의 수명을 w1 이름의 수명만큼으로 연장시켜줍니다. 따라서 이 temporary 객체의 수명은 라인의 끝을 벗어나 w1이 포함된 scope가 끝날때까지로 연장되며 따라서 3)번의 함수 호출은 정상적으로 이루어지게 됩니다. ((Cast to reference 이 관련 링크는 예전에 제가 만들었던 홈페이지입니다. 여기서 설명한 내용의 좀 더 자세한 내용을 보시려면 참고하세요. 그런데 인코딩이 utf-8이라 firefox에서 인코딩을 조정해주어야 보이더군요. 잊고 있다가 다시 보니 감회가 새롭군요. 그때에 비하면 지금은 블로깅 툴들이 있어서 글쓰기는 쉽네요. ;-))) 이러한 원리를 잘 사용하고 있는 것중의 하나가 바로 ScopeGuard 클래스죠.((원본 링크를 걸려고 했는데 원본 링크가 없어져 버렸네요. -_-;))