常量指针与指针常量

指针与const限定符之间存在两种限定符：

1. 常量指针（自以为指向const对象（常量）的指针）

一个简单的例子如下：

const int value =  1;
const int value2 = 2;
const int *pi = &value; //指针pi认为它指向的对象是const的，pi本身不是const的。
*pi = 4; //错误，pi认为它指向的对象value为const，故不能通过pi修改value值
pi = &value2;  //正确的，pi的值可以修改

与const引用类似，
常量指针本身不是const的，自认为它指向的对象为const，如果它指向的对象为非const，那么可以通过其它方式修改该对象，但不能通过该常量指针修改它。
const引用自身为const的，并且自认为它绑定的对象为const，如果它绑定的对象为非const，那么可以通过其它方式修改该对象，但不能通过该引用修改它。

2. 指针常量（指针本身为const对象）

指针常量又称const指针，即指针本身为const对象，不能修改指针的值，即指针指向的地址不能更改。
一个简单的例子如下：

int value =  1;
int value2 = 2;
int *const pi = &value; //指针pi是const对象，而不是认为它指向的对象是const的
*pi = 4; //正确，pi指向的对象value为非const，故可以通过pi修改value值
pi = &value2;  //错误，pi是const的，故pi的值不能修改

由以上内容可以总结：

1. 常量指针，自认为指向const对象的指针。

const int value =  1;
const int *pi = &value; 

如上代码所示：
const限定符位于数据类型int之前，修饰的是数据类型int，表示该指针指向的对象为const int类型。

1. 指针常量，即const指针

int value =  1;
int *const pi = &value; 

如上代码所示：
const限定符位于数据类型int之后，修饰的是指针pi，表示该指针为const。

1. 指向const对象的const指针

const int value =  1;
const int *const pi = &value; 

不难理解，指向的对象的值不能修改，指向的位置也不能改。

指针和typedef

观察如下代码：

typedef string *pstring;
const pstring cstr;

那么cstr指向的对象为const还是它本身为const。
答案是，cstr为一个指向string类型的const指针。
即上面代码等同于

string *const cstr;

因为在语句const pstring cstr中const限定符修饰的是pstring，而pstring是一个指针类型。故该声明语句是把cstr声明为一个const指针（指针常量）。