포인터와 지역변수에 관련된 것인데, 이 현상을 어떻게 봐야할지요 ㅠ
힘차
질문 제목 :
현상의 원인을 모르겠습니다.
질문 내용 : #include stdio.hint* func();int main(void) {
int* p = null;
p = func(); printf(%d %d %d %d \n, *(p+0), *(p+1), *(p+2), *(p+3));
printf(%d %d %d %d \n, p[0], p[1], p[2], p[3]);
return 0;
}int* func() {
int array[] = { 10, 20, 30, 40 };
printf(array의 주소 : %x \n, array);
return array;
}-----------------------------------------------------------------------------------------------
어떤 c 기본서의 예제 소스입니다.
포인터 변수를 리턴하는 함수 func()를 통하여 array라는 배열을 가리키는 주소를 리턴값으로 넘기는 것을 볼수 있으실텐데요.
문제는 array가 지역변수이므로 func() 함수가 종료되면서intarray[] = { 10, 20, 30, 40 };이 사라지게 됩니다.
p = func(); 를 통해 p에는 특정 주소값이 저장이 되지만, 그 주소값이 가리키는 곳에는 아무내용도 없을 것이라고 예측이 됩니다.그러나, 실제로 실행을 시켜보면printf(%d %d %d %d \n, *(p+0), *(p+1), *(p+2), *(p+3));
printf(%d %d %d %d \n, p[0], p[1], p[2], p[3]);이 두 개의 printf 함수 중에서 첫 번째 줄의 함수는 10, 20, 30, 40을 출력합니다.(이 부분이 의문점!)
두 번째 줄의 함수는 쓰레기값을 출력합니다.그런데 이 두 개의 printf 함수의 순서를 바꿔서printf(%d %d %d %d \n, p[0], p[1], p[2], p[3]);
p52e2cprintf(%d %d %d %d \n, *(p+0), *(p+1), *(p+2), *(p+3));위 와 같이 실행을 시켜보면,
첫 번째 줄의 printf는 10, 20, 30, 40이라는 값을 출력을 하고,
두 번째 줄의 printf는 역시 쓰레기 값을 출력을 합니다.그렇다면, 첫번째 printf를 실행시킬 때까지는 func()함수에서 지역변수로 생성했던 array라는 배열이 살아있다가
두 번째 printf 실행 시 사라지는 걸까요?c언어 고수님들, 이 문제를 어떻게 해석해야하나용?
-
떠나간그녀
감사합니다 ㅜ 제가 궁금했던 부분이었습니다 ㅋ 이제야 이해가 되네요 ㅋ 잘 배웠습니다 ㅋ
-
말달리자
바로 위엣분 말씀이 맞습니다만, 좀 더 구체적으로 설명을 드리자면...
지금 궁금한 부분이 왜 첫 번째 printf의 호출에는 값이 정상적으로 나오고, 두 번째 호출에서는 깨져버리느냐 하는 것이죠?
우선, func에 함수에 의해 반환된 지역변수의 포인터는 분명히 쓰레기 값입니다. 하지만 컴파일러가 굳이 값을 지울 필요는 없기 때문에 들어있던 값(10 20 30 40)은 그대로 남아있게 됩니다.
첫 번째 printf를 호출할 때, 그 값들을 그대로 인자로 -
간지포텐
아.. 스택이라서 그렇군요 ㅋㅋ 감사합니당^^
-
훌걸이
지역변수는 스택에 만들어지는데,
함수가 종료되면 스택 포인터만 증가시킬 뿐 내용을 지우지 않습니다. 그럴 필요가 없으니까요.
함수 호출 등에 의해 스택의 내용이 침해되지 않으면, 정상적인 값이 들어있는 것처럼 보일 뿐입니다.
하지만 언제든지 침해될 수 있는 상황이죠. -
민들레
아 2012에서는 그러나요? 저는 2013 preview로 컴파일을 했습니다ㅋ 컴파일러마다 다르군요 ㅋ 새로운 지식을 배워갑니당^^
-
에드문드
참고로 컴파일러 버전 설정에 따라서 결과는 달라질 수 있습니다.
저 같은 경우는 Release모드로 컴파일했을때는
두 문장 다 정상적으로 출력되었습니다. (Visual Studio 2012 기준)
Release모드에서는 최적화 때문에, 소멸을 안시킬 수도 있죠 -
티나
네 ㅋ 감사합니다 ㅋ그렇게 생각하고 있습니다
근데 꼭 printf를 첫번째 실행할때까진 살아있고 두번째부터는 사라져서 뭔가 매번 그러니까 무슨 이유가있는건가 해서 질문을 려봤습니다 ㅋ -
에일린
소멸된다는게 해당 내용을 지울수도 있고, 그렇지 않을 수도 있습니다.
(빠른 포맷과 비슷한 개념이라고 생각하시면 될듯...)
그러니, 데이터가 나온다고 해서 그냥 접근하면 안되겠죠. -
핫와인
그럴 줄 알았는데 저게 첫번째 printf 함수까지는 func에서 선언했던 지역변수의 array내용들이 신기하게 출력이 됩니다 ㅋ 그 부분이 이해가 안되네용 ㅜ 저도 당연히 지역변수가 소멸되어 출력이 안될줄 알았지만... ㅜ
-
이든샘
func에 있는 array는 func함수가 종료되면, 사라지게 됩니다.
(지역변수이기 때문에...)