C++ string 사용 중, 저의 짧은 지식으로는 이해가 안되어 가입하게 되었습니다...

문제는 알고리즘 문제를 푸는 도중 발생하였습니다...

#include ...
 
void	Algorithm(int);
string	Reverse(string::iterator &it);
 
int main()
{
	...
	/*생략*/
}
 
void Algorithm(int caseNum)
{
	string str = string(arsQuadTree[caseNum]);
	string::iterator it = str.begin();
 
	// ①번 - 정상 결과 출력
	printf(Reverse(it).c_str());
 
	// ②번 - 비정상 결과 출력(쓰레기값이 출력)
	/* 
	const char *result = Reverse(it).c_str();
	printf(result);
	*/
}
 
string Reverse(string::iterator &it)
{
	...
	/*생략*/
}

제가 이해가 되지 않는 것은 ②번처럼 코드를 실행할 경우 쓰레기값이 출력이 된다는 것입니다.

const char *result = Reverse(it).c_str();
printf(result);

여러가지 이유를 혼자서 몇 시간동안 생각해보고 혹시 이건가 하는 생각이 들면 검증해보기도 하였습니다.
그 중에 제가 가장 가능성이 있다고 생각한 것이

const char *result = Reverse(it).c_str(); 코드가 실행 된후
result가 가리키는 문자열의 값이 초기화 되어 쓰레기 값이 출력되는 것이고

①번처럼 printf(Reverse(it).c_str()); 로 실행하면
Reverse(it).c_str()의 결과값이 가리키는 문자열의 값이 초기화 되기 전에
printf 함수가 출력을 마친다는 것입니다.

근데 이해가 안가는 것이 C++이 JAVA나 C# 처럼 가비지 콜렉터가 있는 것도 아니고
어떻게 아무 코드의 실행 없이 문자열 값이 초기화 되는 것이냐 입니다.

단순히 함수의 실행이 끝나고 스택이 정리 되면서 값이 사라지는 것 아니냐라고 생각해보았는데
그러면 ①번도 쓰레기 값이 출력되야 하는거 아닌가 라는 생각이 들면서 다시 혼란에 빠졌습니다.

그래서 더 나아가 함수 호출규약(__stdcall, __cdecl, ... 등) 까지 영향이 있는건지 생각해보았는데
int __cdecl printf(...) 이니 printf(호출한 함수)가 종료될 때 c_str(호출된 함수) 의 결과 값이 정리되는 건가...
라고도 생각해봤는데 단순히 함수의 실행이 끝나고 스택이 정리되는 것과 별차이 없는 것 같아 다시 혼란에 빠졌습니다.

MSDN에서 c_str 함수도 찾아 읽어 보았는데, 수능이후로 영어와 멀어져
"The pointer value is not valid after calling a non-const function"이 무슨 뜻인지 모르겠습니다.
함수 실행 후에는 결과값이 유효하지 않다 같은데 non-const function은 뭔지...

★ basic_string::c_str - Converts the contents of a string as a C-style, null-terminated string.

☆ 반환 값
A pointer to the C-style version of the invoking string. The pointer value is not valid after calling a non-const function, including the destructor, in the basic_string class on the object.

P.S①
=> 불쑥 가입하여 첫 질문이랍시고 이상한 걸 올려 죄송합니다. C/C++ 고수분들의 도움이 필요합니다... 정확한 답변을 얻게 된다면 정말 감사할 것 같습니다.

P.S②
=> 답변을 구하던 못 구하던 좋을 개발자 포럼을 찾게 된것 같습니다. 자주 들러 질문도 하고, 아는게 있으면 답변해주고 싶습니다.

...

P.S③
=> 자면서 생각해본건데 혹시 소멸자가 호출되는 것이 그냥 컴파일러가 다음줄에 ~basic_string() 추가를 해서 실행하는 것이라 이런 현상이 발생하는게 아닐까라는 생각이 들었는데 지금까지 생각했던 것들 중에 가장 설득력 있다고 생각되는데 어떻게 생각하시는지...
소멸자의 실행이 스택 수준의 영역이 아니라, 컴파일러가 단순히 다음 라인에 소멸자 실행 코드를 넣어 실행하는 방식인가요?