今天写个小文说一说字符串地址和字符串常量。
在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点。