函数返回值—返回局部变量

 看看下面的程序的输出： 

#include <stdio.h> 
char *returnStr() 
{ 
     char *p="hello world!"; 
     return p; 
} 
int main() 
{ 
     char *str; 
     str=returnStr(); 
     printf("%s\n", str); 
     return 0; 
} 

这个没有任何问题，因为"hello world!"是一个字符串常量，存放在静态数据区，把该字符串常量存放的静态数据区的首地址赋值给了指针，所以returnStr函数退出时，该该字符串常量所在内存不会被回收，故能够通过指针顺利无误的访问。 

但是，下面的就有问题： 

#include <stdio.h> 
char *returnStr() 
{ 
     char p[]="hello world!"; 
     return p; 
} 
int main() 
{ 
     char *str; 
     str=returnStr(); 
     printf("%s\n", str); 
     return 0; 
} 

"hello world!"是一个字符串常量，存放在静态数据区，没错，但是把一个字符串常量赋值给了一个局部变量(char []型数组)，该局部变量存放在栈中，这样就有两块内容一样的内存，这是与前着最本质的区别，当returnStr函数退出时，栈要清空，局部变量的内存 也被清空了，所以这时的函数返回的是一个已被释放的内存地址，所以打印出来的是乱码。 

如果函数的返回值非要是一个局部变量的地址，那么该局部变量一定要申明为static类型。如下： 

#include <stdio.h> 
char *returnStr() 
{ 
     static char p[]="hello world!"; 
     return p; 
} 
int main() 
{ 
     char *str; 
      str=returnStr(); 
     printf("%s\n", str); 

     return 0; 
} 

这个问题可以通过下面的一个例子来更好的说明： 

#include <stdio.h> 
//返回的是局部变量的地址，该地址位于动态数据区，栈里 
char *s1() 
{ 
     char p[]="Hello world!"; 
     printf("in s1 p=%p\n", p); 
     printf("in s1: string's address: %p\n", &("Hello world!")); 
     return p; 
} 
//返回的是字符串常量的地址，该地址位于静态数据区 
char *s2() 
{ 
     char *q="Hello world!"; 
     printf("in s2 q=%p\n", q); 
     printf("in s2: string's address: %p\n", &("Hello world!")); 
     return q; 
} 
//返回的是静态局部变量的地址，该地址位于静态数据区 
char *s3() 
{ 
     static char r[]="Hello world!"; 
     printf("in s3 r=%p\n", r); 
     printf("in s3: string's address: %p\n", &("Hello world!")); 
     return r; 
} 
int main() 
{ 
     char *t1, *t2, *t3; 
     t1=s1(); 
     t2=s2(); 
     t3=s3(); 
     printf("in main:"); 
     printf("p=%p, q=%p, r=%p\n", t1, t2, t3); 
     printf("%s\n", t1); 
     printf("%s\n", t2); 
     printf("%s\n", t3); 
     return 0; 
}

运行输出结果： 
in s1 p=0xbff92efb 
in s1: string's address: 0x80486ac 
in s2 q=0x80486ac 
in s2: string's address: 0x80486ac 
in s3 r=0x804998c 
in s3: string 

这 个结果正好应证了上面解释，同时，还可是得出一个结论：字符串常量，之所以称之为常量，因为它可一看作是一个没有命名的字符串且为常量，存放在静态数据 区。这里说的静态数据区，是相对于堆、栈等动态数据区而言的。静态数据区存放的是全局变量和静态变量，从这一点上来说，字符串常量又可以称之为一个无名的 静态变量，因为"Hello world!"这个字符串在函数 s1和s2 中都引用了，但在内存中却只有一份拷贝，这与静态变量性质相当神似。

char *p = "abcdefg";//静态存储区

char p[] = "abcdefg"; // p本身是数组名了，数组里放的字符串，是局部变量，内容是原来的静态区域内容的拷贝！因此返回p实际上返回的局部变量地址而不是静态存储区地址，和上面不同！

 

===================================================================

我 在做实验时遇到如下情况，

#include <stdlib.h>
#include <stdio.h>


unsigned short *sum(unsigned char a,unsigned char b)
{
unsigned short s;
s=a+b;
return &s;
}
int main()
{
unsigned char a = 4;
unsigned char b = 2;
unsigned short *p=NULL;
p=sum(a,b);
printf("%d",*p);
printf("%d",*p);
printf("%d",*p);
printf("%d",*p);
printf("%d",*p);
return 0;

}

打印结果如下：

6          //说明在第一次打印时，系统并没有回收栈，在第二次打印时才回收。

0

0

0

0

程序如下改写便是正确的：

#include <stdlib.h>
#include <stdio.h>
unsigned short *sum(unsigned char a,unsigned char b)
{
static unsigned short s;
s=a+b;
return &s;
}
int main()
{
unsigned char a = 4;
unsigned char b = 2;
unsigned short *p=NULL;
p=sum(a,b);
printf("%d",*p);
printf("%d",*p);
printf("%d",*p);
printf("%d",*p);
printf("%d",*p);
return 0;

}