字符数组 字符指针 字符串常量

转自：http://blog.sina.com.cn/s/blog_71fa0df50100p0qu.html

char *c="chenxi";

书上说： "chenxi"这个字符串被当作常量而且被放置在此程序的内存静态区。

那一般的int i=1; 1也是常量，为什么1就不被放置在此程序的内存静态区了呢？

所有的字符串常量都被放在静态内存区。因为字符串常量很少需要修改，放在静态内存区会提高效率。

例：

char str1[] = "abc";

char str2[] = "abc";

const char str3[] = "abc";

const char str4[] = "abc";

const char *str5 = "abc";

const char *str6 = "abc";

char *str7 = "abc";

char *str8 = "abc";

cout<< ( str1 == str2 )<< endl;

cout << ( str3 == str4 )<< endl;

cout << ( str5 == str6 )<< endl;

cout << ( str7 == str8 )<< endl;

结果是：0 0 1 1

str1,str2,str3,str4是数组变量，它们有各自的内存空间；而str5,str6,str7,str8是指针，它们指向相同的常量区域。

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

#include<stdio.h> char* returnStr() {     char*p = "hello world!";     return p; } int main() {     char* str = NULL;//一定要初始化，好习惯     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 = NULL;//一定要初始化，好习惯     str = returnStr();     printf("%s\n",str);          return 0; }

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

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

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

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

#include<stdio.h> //返回的是局部变量的地址，该地址位于动态数据区，栈里 char *s1() {     char* p1 ="qqq";//为了测试‘        char p[]="Helloworld!";//中的字符串在静态存储区是否也有一份拷贝    char p[]="Hello world!";    char* p2 ="w";//为了测试‘   char p[]="Helloworld!" //中的字符串在静态存储区是否也有一份拷贝   printf("in s1 p=%p\n", p);    printf("in s1 p1=%p\n", p1);    printf("in s1: string's address: %p\n", &("Helloworld!"));    printf("in s1 p2=%p\n", p2);    return p; } //返回的是字符串常量的地址，该地址位于静态数据区 char *s2() {     char* q ="Hello world!";     printf("ins2 q = %p\n",q);     printf("ins2: string's address: %p\n", &("Hello world!"));     return q; } //返回的是静态局部变量的地址，该地址位于静态数据区 char *s3() {     static char r[] = "Hello world!";     printf("ins3 r=%p\n",r);     printf("ins3: string's address: %p\n",&("Hello world!"));     returnr; } 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);          return0; }

运行输出结果：

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 中都引用了，但在内存中却只有一份拷贝，这与静态变量性质相当神似。