本文来源于网络 出处：点我
有这样一段代码：
#include "stdio.h" char *get_string_1() { char p[] = "hello world!"; return p; } char *get_string_2() { char *p = "hello world!"; return p; } int main() { char *p; p = get_string_1(); printf("get_string_1:%s/n",p); p = get_string_2(); printf("get_string_2:%s/n",p); return 0; }
输出：
get_string_1:（乱码或者没有输出，linux下没有任何输出）
get_string_2:hello world!
1.为什么输出结果是这样？
2.字符串"abc"是常量吗？
3.char *p = "abc";这样写到底合不合法，实际应用中能不能这样写？
解析：
char *p = "hello world!";与char p[] = "hello world!"; 两者都用来声明一个字符串，并将其初始化为hello world!，但是表示的意义确是大不相同。
从其声明的对象来说：
char p[] = "hello world!"; //用来声明一个数组p，数组大小为12字节。
char *p = "hello world!"; //用来声明一个指针p，指向“hello world!”字符串起始位置。
从存储位置来说：
char p[] = "hello world!"; //p数组作为局部变量被存储在栈区；
char *p = "hello world!"; //在这个声明中，"hello world!"被存储在静态数据区 ，而且是全局的，p仅仅就是个指针，指向这个区域。不信的话可以试试下边的代码，看是不是同一个地址：
char *p1 = "hello world!";
char *p2 = "hello world!";
printf("p1:%x/np2:%x/n",p1,p2);
第一个问题：为什么输出结果是这样？
由于C函数执行完之后对栈区进行清除操作，对静态数据区和堆则没有，因此get_string_1()函数执行完就释放了栈区内存，所以根本就不存在存有"hello world!"声明时的内存，也就不可能有所输出。
（1）不是常量的情况:
"abc"作为字符数组初始值的时候就不是，如
char str[] = "abc";
因为定义的是一个字符数组，所以就相当于定义了一些空间(注意！)来存放"abc"，而又因为字符数组就是把字符一个一个地存放的，所以编译器把这个语句解析为
char str[3] = {'a','b','c'};
以字符串形式出现的，编译器都会为该字符串自动添加一个0作为结束符，所以char str[] = "abc";的最终结果是
char str[4] = {'a','b','c','\0'};
做一下扩展，如果char str[] = "abc";是在函数内部写的话，那么这里的"abc\0"因为不是常量，所以应该被放在栈上。
把"abc"赋给一个字符指针变量时，如
char* ptr = "abc";
因为定义的是一个普通指针，并没有定义空间(注意！)来存放"abc"，所以编译器得帮我们找地方来放"abc"，显然，把这里的"abc"当成常量并把它放到程序的常量区是编译器最合适的选择。所以尽管ptr的类型不是const char*，并且ptr[0] = 'x';也能编译通过，但是执行ptr[0] = 'x';就会发生运行时异常，因为这个语句试图去修改程序常量区中的东西。