问题的引入
看看下面的程序的输出

#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 []型数组)该局部变量存放在栈中
这样就有两块内容一样的内存 也就是说“ char p[]="hello world!"; ”这条语句让“hello world!”这个字符串在内存中有两份拷贝一份在动态分配的栈中另一份在静态存储区。这是与前着最本质的区别
当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* p1 = "qqq";//为了测试‘char p[]="Hello world!"’中的字符串在静态存储区是否也有一份拷贝
   char p[]="Hello world!";
   char* p2 = "w";//为了测试‘char p[]="Hello world!"’中的字符串在静态存储区是否也有一份拷贝
   printf("in s1 p=%p\n", p);
   printf("in s1 p1=%p\n", p1);
   printf("in s1: string's address: %p\n", &("Hello world!"));
   printf("in s1 p2=%p\n", p2);
   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=0013FF0C
in s1 p1=00431084
in s1: string's address: 00431074
in s1 p2=00431070
in s2 q=00431074
in s2: string's address: 00431074
in s3 r=00434DC0
in s3: string's address: 00431074
in main:p=0013FF0C, q=00431074, r=00434DC0
$?
Hello world!
Hello world!


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