字符串常量初始化指针

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

在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点。

 

上一篇:lsof常用命令


下一篇:数位遍历的几道题