[C 언어] 지역변수(포인터) return 해도 정상적으로 결과가 나오는 이유를 모르겠네요

b612kid의 이미지

#include <stdio.h>
 
long long addr = 0;
 
char *sub(void)
{
    char buf[100];
 
    strcpy(buf, "Hello");
    printf("sub:[%s],%0X\n", buf, buf);
    addr = buf;   
 
    return buf; 
}
 
int main()
{
    int i;
 
	printf("Hello World:%0X\n", &i);
	printf("main:[%s]\n", sub());
	printf("addr=%0X, [%s]\n", addr, addr);
}

제가 알고 있기론 지역변수가 포인터인 경우 return 하면 안되는 걸로 알고 있는데, 되는 경우가 있어서 궁금해 질문 올립니다
즉 컴파일 옵션에 따라 아래와 같은 결과가 나옵니다(환경은 AIX 입니다)

/home/src_test>cc hello.c -o hello
"hello.c", line 11.10: 1506-068 (W) Operation between types "long long" and "char*" is not allowed.
/home/src_test>hello
Hello World:2FF22740
sub:[Hello],2FF22690
main:[嚬억]
addr=0, [嚬억]

/home/src_test>/usr/vacpp/bin/cc hello.c -o hello -brtl -q64
"hello.c", line 11.10: 1506-068 (W) Operation between types "long long" and "char*" is not allowed.
/home/src_test>hello
Hello World:FFFFF5E0
sub:[Hello],FFFFF500
main:[Hello]
addr=FFFFF500, [Hello]

-q64 옵션에 따라 사용하는 메모리 번지수가 크게 차이 나는데 여기에 대해서 아시는 분 설명 좀 해주세요

sharefeel의 이미지

1. main() 함수의 두번째 printf()가 수행되는 시점에서 스택의 모양은 아마 다음과 같겠죠.

printf("main:[%s]\n", sub());
 
| sub()    | => buf[]에 "Hello" 가 저장됨
+----------+
| printf() |
+----------+
| main()   |
+----------+

2. 그리고 해당 라인의 수행이 끝나고 printf()가 리턴하는 시점에서 스택은 다음처럼 될 겁니다.

|          | => buf[]에 "Hello" 가 지워지지 않고 여전히 남아 있음
+----------+     |
|          |   +-+
+----------+   |
| main()   | addr은 buf[]의 주소를 가르킴
+----------+

3. 그리고 다음 라인이 호출될 때의 스택 모양은 다음과 같겠죠.

printf("addr=%0X, [%s]\n", addr, addr);
 
|          | => buf[]에 "Hello" 가 지워지지 않고 여전히 남아 있음
+----------+     |
| printf() | ----+ printf(..., addr) 로 넘겨받은 주소도 buf[]를 가르킴
+----------+     |
| main()   | => addr은 계속해서 buf[]의 주소를 가르키고 있음.
+----------+

운영체제는 기존에 sub() 함수가 있던 스택의 메모리를 초기화하지 않습니다.
시간이 걸릴테니까요..
그렇다면 buf[]가 있던 메모리에는 여전히 데이터가 남아있고,
마지막 printf에서는 sub()가 리턴한 시점에서도 sub()의 local 변수의 내용을 볼 수 있습니다.

추가적인 함수의 호출로 인해서 sub()가 차지하던 스택의 메모리가 덮어써진다면,
Hello가 아닌 값이 출력될 수 있겠죠.
물론 운좋게도 Hello가 출력될 수도 있을 테구요..^^;;

===============
Vas Rel Por

===============
Vas Rel Por

klara의 이미지

표준의 정의되지 않은 동작은 무조건 에러를 의미하는게 아닙니다.
무조건 에러가 난다면, 그것도 '에러가 난다'고 정의된 동작이니까요.
말그대로 어떻게 동작할지 정의되지 않았기 때문에, 그걸 어떻게 처리할진 컴파일러 맘이고, (이것을 바르다고 하는것도 이상하지만)올바른 결과가 나온다고 해도 그것에의존해서 프로그램을 짜면 안됩니다.

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • You can use Textile markup to format text.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • Quick Tips:
    • Two or more spaces at a line's end = Line break
    • Double returns = Paragraph
    • *Single asterisks* or _single underscores_ = Emphasis
    • **Double** or __double__ = Strong
    • This is [a link](http://the.link.example.com "The optional title text")
    For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

  • HTML 태그를 사용할 수 없습니다.
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
  • 줄과 단락은 자동으로 분리됩니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.