const修饰的常量指针与指针常量

一) 常量指针

常量指针本质是指针，常量修饰它，表示这个指针乃是一个指向常量的指针（变量）。

在C/C++中，常量指针是这样声明的：

1）const int *p;
2）int const *p;

指向常量的指针，不能用于改变其所指对象的值。要想存放常量对象的地址，只能使用指向常量的指针。
与常量引用一样，指向常量的指针也没有规定其所指的对象必须是一个常量。所谓指向常量的指针仅仅要求不能通过该指针改变对象的值，而没有规定那个对象的值不能通过其他途径改变。
例如：

int a = 5;
const int b = 8;
const int *c = &a; // 这是合法的，非法的是对c的使用
*c = 6; // 非法，但可以这样修改c指向的对象的值：a = 6;
const int *d = &b; // b是常量，d可以指向b，d被赋值为b的地址是合法的

在使用字符串处理函数的时候，注意到这些函数的声明。它们的参数一般声明为常量指针。例如，字符串比较函数的声明是这样的：

int strcmp(const char *str1, const char *str2);
可是这个函数却可以接收非常量字符串。例如这段程序：
char *str1, *str2;
str1 = “abcde1234”;
str2 = “bcde”;
if(strcmp(str1, str2) == 0)
{
printf(“str1 == str2.”);
}

str1和str2的内容显然是可以更改的，例如可以使用“str1[0] = x;”这样的语句把str1的内容由“abcde1234”变为“xbcde1234”。因为函数的参数声明用了常量指针的形式，就保证了在函数内部，那个常量不被更改。也就是说，对str1和str2的内容更改的操作在函数内部是不被允许的。（就目前的应用来看，我觉得设置常量指针就是为函数参数声明准 备的，不然还真不知道用在什么地方呢，呵呵！）

虽然常量指针指向的对象不能变化，可是因为常量指针是一个变量，因此，常量指针可以不被赋初始值，且可以被重新赋值。例如：

const int a = 12;
const int *c = &a; //为了简化代码，很多人习惯赋初始值
const int *d;
d = &a; // 这样当然是可以的
c = &b; // 虽然c已经被赋予初始值，可是仍然可以指向另一个变量

特点是，const的位置在指针声明运算符的左侧。只要const位于的左侧，无论它在类型名的左边或右边，都声明了一个指向常量的指针，叫做常量指针。

可以这么想，*左侧是常量，指针指向的对象是常量。

---

二) 指针常量

指针是形容词，常量是名词。这回是以常量为中心的一个偏正结构短语。那么，指针常量的本质是一个常量，而用指针修饰它，那么说明这个常量的值应该是一个指针。

指针常量的值是指针，这个值因为是常量，所以不能被赋值。

在C/C++中，指针常量这样声明：

const int a = 12;
const int *c = &a; //为了简化代码，很多人习惯赋初始值
const int *d;
d = &a; // 这样当然是可以的
c = &b; // 虽然c已经被赋予初始值，可是仍然可以指向另一个变量

只要const位于指针声明操作符右侧，就表明声明的对象是一个常量，且它的内容是一个指针，也就是一个地址。上面的声明可以这么读，声明了一个常量b，它的值是变量a的地址（变量a的地址，不就是指向变量a的指针吗）。

因为指针常量是一个常量，在声明的时候一定要给它赋初始值。一旦赋值，以后这个常量再也不能指向别的地址。

虽然指针常量的值不能变，可是它指向的对象是可变的，因为我们并没有限制它指向的对象是常量。

---

三）指向常量的指针常量

顾名思议，指向常量的指针常量就是一个常量，且它指向的对象也是一个常量。

因为是一个指针常量，那么它指向的对象当然是一个指针对象，而它又指向常量，说明它指向的对象不能变化。

在C/C++中，这么声明：

const int a = 25;
const int * const b = &a;

看，指针声明操作符左边有一个const，说明声明的是一个指向常量的指针。再看，指针声明操作符右边有一个const，说明声明的是一个指针常量。前后都被const修饰，那么指向的对象不能变，指针常量本身也不能变。