初学时,我们往往认为指针变量与数组变量的数组名本质并没有什么区别,但实际上,两者在指向“同一”字符串时,采取的是不同的内存存储方式
以下以例子来介绍
C++环境下语法检验更严格,对于 char* arr = “abcd”; //字符常量
该代码c++中无法直接赋值,因为const char*->char*权限放大;(但c中允许如此赋值)
.CPP文件运行结果
.C文件运行结果
- 可以发现数组与指针在指向字符串这种常量时有着很明显的特性差异。为了更透彻地了解本质,我们可以再看另一个例子
.CPP文件下
.C文件下
解释
由于字符串在编程中使用的频率很高,很多语言都对字符串做了特殊规定
-
为了节省内存,C/C++将常量字符串单独放到常量区,当多个指针赋值给相同常量字符串时,其指向的地址是相同的,因此以上"hello world"在内存中只有一个拷贝(且在常量区),str3与str4指向同一地址,所以str3==str4;
-
同时另一个重要的特性也因此存在,在第一个例子里利用指针指向常量字符串的局部变量作为返回值后依然能“正常”打印,正是因为该字符串存储在常量区,该指针虽然销毁但常量区里存储的字符串却不会主动销毁(除非程序结束),而函数返回值作为原地址的拷贝,指向的依然是原来的字符串。但必须知道的是这样的操作本身是不推荐的,字符串的内容虽然未销毁但依然存在被其他合法常量替换的可能
-
而对于字符串数组,系统会为其分配字符串长度+1的空间,并将字符串复制到数组中去——这就导致了虽然存储内容相同,但其初始地址并不相同,故str1!=str2,而且更加重要的是,此刻这里的字符串是作为局部变量存储在栈上的,此时再看第一个例子,局部变量出作用域则栈自动销毁,数组中存储的字符串也随之失效,是故打印出的为随机值。