《c++ primer》4 指针和const限定符

const对象在定义的时候必须进行初始化

const int a = 2;//ok
int const aa = 2;//ok
const int b;
b = 2;//error

1.指向const对象的指针

顾名思义，指向const对象的指针，指针所指向的内容是不能发生变化的，而指针本身的值是可以发生变化的，即，指针指向的位置是可以改变的：

const int a=2;
const int b=2;
const int *pa=&a;//int const *pa=&a ok
*pa=3;//error
pa=&b;//ok

注意：

int const *pa=&a;//ok

这种定义方式也是正确的。

当然，如果定义了一个指向const对象的指针，但是却用了一个非const类型的对象进行初始化也是可以的，只不过编译器以为指针指向了一个const对象，所以通过指针是不能修改它指向的这个非const对象的值：

int main()
{
	int a = 2;
	const int *pa = &a;
	*pa = 5;//error
	a = 5;
}

但不能把一个const对象的地址赋值给一个指向非const对象的指针：

	const int a = 2;
	int *pa = &a;
	const int *paa = &a;

也不能把一个const对象的地址赋值给一个void*类型的指针，而应该赋值给一个const void*类型的指针：

	const int a = 2;
	void *pa = &a;//error
	const void *pa = &a;

2.const指针

同样顾名思义，我们所定义的指针是一个const类型，所以指针的值不能发生变化，即指针指向的位置不能够发生变化，但指针指向的内容却能发生改变。因为指针是一个const类型，所以在定义的时候必须要初始化！

	int a = 2;
	int b = 2;
	int *const pa = &a;
	*pa = 3;//ok
	pa = &b;//error

注意：

const *int pa=&a;//error

这种定义方法是错误的！

3.指向const对象的const指针

当然了，const指针也可以指向const对象，这就成了指向const对象的cosnt指针了。综合上面两类，在定义const指针的时候，必须对它进行初始化，初始化的对象可以是一个const对象，也可以是一个非const对象，但是编译器会把它当成一个const对象：

	int a = 2;
	int b = 2;
	const int *const pa = &a;
	*pa = 3;//error
	pa = &b;//error
	const int c = 2;
	const int *const pc = &c;//ok

4.指针与typedef

先看下面两行代码：

	typedef string *pstring;
	string str("hello");
	const pstring ps = &str;

首先用*pstring重定义string,那么显然pstring就是string类型的指针了（*是解引用运算符，“*pstring=string”,那么“pstring=string*”,将一个指针解引用就得到指向的内容了），知道了这些，我们看看const pstring ps=&str;是什么意思。

如果你回答这行语句的意思就是：定义了一个指针变量ps，它指向const对象的string类型，那么你就错了，你只是做了简单的文本替换：

const pstring ps=&str;----------------->const string* ps=&str;对不对？因为pstring=string*啊！

那么好好分析这行语句：我们知道pstring是一个指针，那么首先我们知道这定义了一个const指针，然后我们又知道这个指针是string类型，所以这句语句的含义是：

const pstring ps=&str;----------------->string *const ps=&str;-------------------------->pstring const ps=&str;

当我们知道这行语句定义了一个const指针，剩下的就容易懂了。

补充：

1）一定注意const对象在定义的时候就要初始化，并且初始化后不能再修改！

2）空指针：不指向任何对象

	int *p=0;//ok
	int *p=NULL;//ok
	int a=0；
	int *p=a;//error
	const int a=0;
	int *p=a;//ok

3)连续声明多个指针

int *p,*q;//ok
int* p,*q;//ok
int* p,q;//p是int类型的指针，q是int类型的变量