关于C中的const和字符串常量，求讲解

[lengleng2008]

1、当函数使用指针参数，且使用常变量const修饰时，const保护的是形参所指向的变量，而不是形参（指针）本身，这是为什么？
例子：（其中的函数摘自《从问题到程序》）
#include <stdio.h>

int strLength (const char *s) {
int n = 0;
while (*s != '\0') {
++s;
++n;
}
return n;
}

int main () {
char a[] = "hahaha";

printf("length: %d\n", strLength(a));

getchar();
return 0;
}

这个程序可以跑通，也就是说在函数里，指针s是可以指向数组的下一个元素的，意味着s的值（即地址）可以更新，const只是保护s指向的字符数组a不被更新。
按我的理解，const在变量定义中保护定义的变量本身。如果定义的是指针变量，则我以为该指针变量的值（即数组的首地址）初始化后不能改变，但事实是该指针变量仍然可以更新，而被指变量不能更新。还请达人讲讲其中道理。

2、有如下两个变量定义：
char *p = "kakaka" 和
char s[] = "kakaka"，
系统在执行前者的过程中，是先定义了一个字符串常量，之后用指针p指向它，而字符串常量是常量，故不可被更新，如语句*(p + 1) = 'h';是错误的语句，不会得到想要的结果；
而系统在执行后者的过程中，并没有定义字符串常量，只是一个字符数组，故该"kakaka"中的某单个字符是可以更改的。
我想问字符串常量到底是什么？为何有上述现象出现？求高手讲解，谢谢！！

[lovesi3344]

char *p = "kakaka" ;
必须这样理解：const char *p = "kakaka" ;
这就是传说中的字符串常量


char s[] = "kakaka";
要区别于 const char s[] = "kakaka";
通常建议const数组，程序具有更好的健壮性

[ruanxuewu0120]

const char *p1和char const *p2和char *const p3有什么区别？

[lengleng2008]

谢谢回复！
可是按照书中的解释，char *p = "kakaka"; 在系统执行时是先建立一个字符串常量再把指针指到它上面去的，并不是把这句前头加个const
我就是想问问为什么会这样，而char s[] = "kakaka"为啥就没有这一步……

[無_1024]

我认为是 char s[] = "kakaka"只是一个变量的定义
而C++变量可以多次声明 但是只能定义一次
定义时已经为变量分配存储空间，而在此还指定了初值

[a919457497]

字符串常量 放在常量区，首地址赋给指针
后者是分配一个数组空间，然后用字符序列填充
数组名与字符串指针都是地址，但有区别。。

个人理解，不知道对不对，等待高手吧

[pengzhixi]

1、当函数使用指针参数，且使用常变量const修饰时，const保护的是形参所指向的变量，而不是形参（指针）本身，这是为什么？

涉及到const 修饰的对象到底是指针本身还是指针所指对象。
const *ptr;//修饰的是指针所指对象
*const ptr;//修饰的是指针本身。

2.规定而已。
char *p = "kakaka" //存放在常量区
char s[] = "kakaka"，//存放在栈区或者全局变量区。

[lengleng2008]

多谢各位高手！！长知识啊。。

[bo_00]

const本来就是保护 常量的。不是保护变量的，变量本身就是可变的量。

const char *p;
*p指向的地址空间存放的常量，是不可变的。
至于变量p是指针变量，存放的是地址值，存放的地址值是可变的，（也就是说，指向的地址下的常量不变，但是这个常量放在内存的什么地方可变根据系统分配随意）

又如
const int i;整型变量i。
变量i的地址是 &i,这个值根据系统的分配，不会总是在一个地址下。
但&i这个地址下，存放的值，是不变的。(不管系统把i的值放在哪个地址下，这个地址下存放的值是不变的)

[try325]

[Quote=引用 6 楼 pengzhixi 的回复:]

1、当函数使用指针参数，且使用常变量const修饰时，const保护的是形参所指向的变量，而不是形参（指针）本身，这是为什么？

涉及到const 修饰的对象到底是指针本身还是指针所指对象。
const *ptr;//修饰的是指针所指对象
*const ptr;//修饰的是指针本身。

2.规定而已。
char *p = "kakaka" //存放在常量区
char s[] = ……
[/Quote]
正解

[bo_00]

补充一下；

const int *p;

例如
1. 指针变量p 存放在内存的0x1111地址下。
2. 0x1111这个地址下，存放的是*p指向的数据常量的内存地址，0x2222
3. 0x2222下存放的数据常量例如是5。

含义是，5不能被改变为其他。
至于0x1111或0x2222就看系统怎么分配的了，每次程序运行时，不会老是老是0x1111和0x2222

[bo_00]

再补充一下：接9楼

int * const p;
意思是 p下存放的0x2222的这个值不可变，至于0x2222地址下的5，是可变的。

int const * const a;
意思是，p下存放的0x2222的这个值不可变，至于0x2222地址下的5，也是不可变的。

[王大军9527]

[Quote=引用 6 楼 pengzhixi 的回复:]
1、当函数使用指针参数，且使用常变量const修饰时，const保护的是形参所指向的变量，而不是形参（指针）本身，这是为什么？

涉及到const 修饰的对象到底是指针本身还是指针所指对象。
const *ptr;//修饰的是指针所指对象
*const ptr;//修饰的是指针本身。

2.规定而已。
char *p = "kakaka" //存放在常量区
char s[] = "……
[/Quote]

正解!

至于const修饰的是常量还是变量？我们来看一个题目：

#include <stdio.h>
int main()
{
    int a[3] = {0};
    const int tmp = 0;  /* const修饰tmp,tmp是放在静态数据区中.rodata中还是栈呢？
                             * 若在.rodata中，就是我们所说的常量了，不能更改，字符串常量就是在这
                             * 若在栈上，那说明可以修改的，但与const修饰有矛盾！ 
                         */

    a[3] = 10;  /* 数组溢出赋值到数组的下个地址空间了 */
    printf("tmp: %d\n", tmp); /* tmp值改变啦
                                   * 说明tmp是在栈的,const的没能对他进行保护
                                   */

    return 0;

}

/*
 * 总结下：
 *      const这个修饰词只是告诉编译器这个变量不能被修改，如果在编译期间修改了变量，
 *      编译器会发现错误，给出提示，
 *      而在程序运行中通过其他方法修改了const修饰的变量，编译器是无能为力的
 *
 *      所以const的是给编译器看的，
 *      字符串常量用const修饰时 const char *p = "Hello";
 *      因为字符串常量是在.rodata(也可能.text)中，所以其本身就是不能被修改的，
 *      const修饰下是又让编译器来保护下。
 *
 */