字符串常量初始化指针

Posted 2022-08-12 guoyuying

今天写个小文说一说字符串地址和字符串常量。

在C/C++中，一个字符串常量表示的是该字符串第一个元素的地址，就跟char指针名，char数组名表示的是字符串第一个元素的地址一样。

想要打印一个地址，用一个简单的 cout << 地址; 语句就可以搞定；

但是下面这两条语句将打印整个字符串

char a[20] = "1234";
cout << a << endl;

char *p = a;
cout << p << endl;

这也是字符数组 与其他数组不同的一个地方，那么该如何得到该字符串的地址呢？

下面有两种方法可供参考

cout << (int*)a << endl;
cout << &a << endl;

这两种方法都可以正确打印出“字符串的地址”，但是有细微区别之处

在字符数组a中，a表示第一个字符的地址，a+1表示第二个字符的地址；

在第一条打印地址的语句中，(int*)a只是起到了一个强制类型转换的作用，换句话说，a表示第一个字符的地址，但是cout <<a;输出的是整个字符串，这是因为这个地址是char*类型的，cout识别到char*类型的地址将会自动打印从该地址指向的空间开始直到遇到‘\\0‘的字符串内容，所以这里我们只需要进行一个强制类型转换（这里举例强制转换为int*，可以转换为其他类型的指针，只要不是char*，哪怕是double*也可以正确打印地址）。所以如果想要第二个字符的地址呢，cout << (int*)(a+1);就可以啦

第二条打印地址的语句中，直接使用了&a；这里需要强调的是，不论任何数组，数组名表示的都是第一个元素的地址，&数组名表示的才是该数组的地址，虽然二者打印出来是同一地址，但是如果进行指针运算则天差地别，看一下下面这段代码和效果

int a[10];
cout << "a  is: " << a << " a+1  is: " << a+1 << endl;
cout << "&a is: " << &a << " &a+1  is: " << &a+1 << endl; 

有图有真相，a+1只是向后移动了4个字节，而&a+1直接向后移动了40个字节，所以&数组名表示的才是整个数组的地址。所以同理用&字符数组名也可以打印出字符串地址。

 下面说一说字符串常量，首先字符串存储在静态存储区，其次，不可修改。

于是就产生了下面几条语句

char a[20] = "1234";
char * p = "1234";
const char * p = "1234";

第一条语句不用说，很常用了，正确，那么二三条语句哪个对哪个错呢。

刚开始我还觉得加不加const无所谓，反正都是错的，后来细思极恐，果然还是知识贫穷限制了想象力；

一开始我认为后面两句错的原因是因为 没见过，看着像是给*p赋了个"1234"，可又不是，这是个什么东西，总之就是看着怪怪的；

所以这里就牵扯到开头提到的一个知识点了；在C/C++中，一个字符串常量表示的是该字符串第一个元素的地址，就跟char指针名，char数组名表示的是字符串第一个元素的地址一样

所以这回就明白了，看着是"1234"，其实本质上是"1234"第一个字符的地址，那么将 char*型的指针p指向“1234”就没有问题啦，地址对地址嘛，但是编译后出错了，理由是"1234"是一个常量，所以加上了const限定。

关于这里为什么要加const限定才正确，如果不加的话类型也是匹配的，为什么会报错呢，所以这里需要再强调一下，"1234"是字符串常量，常量不允许被修改，如果char * p = "1234";编译成功，那就意味着"1234"有可能被修改，而这是不被允许的，所以必须乖乖听话加上const限定符让系统安心才是嘛。

咦？常量不允许被修改，要加const限定符才可以，那为什么我们一直用的第一条语句是正确的而且从来没有报错过呢？

这就要说说第一条语句和第三条语句的区别啦，"1234"是字符串常量，常量存储在静态存储区，有地址

第三条语句是让一个常量指针直接指向静态存储区的"1234"的地址，因为是直接指向本尊地址，所以要加上const限定符

而第一条语句则是将静态存储区的"1234"的副本拿出来复制到字符数组a中，所以这样初始化可以在后面随意更改副本"1234"，这样并不会影响到真正的"1234";

是真地址假地址cout一下就知道了

1 char a[20] = "1234";
2 const char * p = "1234";
3 cout << &a << endl; // 获取字符数组a的地址
4 cout << &"1234" << endl; // 获取 "1234"在静态存储区的地址
5 
6 //再来验证一下字符串常量为该字符串第一个元素的地址
7 cout << *"1234" << endl;
8 cout << *("1234"+1) << endl;

 

 

OK，明显副本”1234“与本尊”1234“的地址不同，而且差了很多很多地址位，肯定是跨内存区了的，最后面两行想要的结论也得到了验证，实践出真知，真是不枉我熬夜到12点。