C++ Primer 学习笔记与思考_8 指针和const的那些麻烦

（一）数组的下标和指针的关系
我们以前知道，在表达式中使用数组名时，实际使用的是指向数组第一个元素的指针。当我们使用下标访问数组时，实际上是对指向数组元素的指针做下标操作，只要数组指向数组元素，就可以对它进行下标操作。

像下面程序中的p[-1]这种表示方法，可能乍一看比较别扭，但是就像我们平常用的，数组名就可以看作是指向首元素地址的指针，后面[]内的只是偏移量，这样理解的话，哪怕是负值我们也很好理解了。

#include <iostream>
#include <string>
#include <cstring>
using namespace std;
int main()
{
	char s[]={'a','b','c'};
	char *p=&s[1];
	char c=p[-1],d=p[1];
	cout<<"p[-1]: "<<c<<endl;
	cout<<"p[0]: "<<p[0]<<endl;
	cout<<"p[1]: "<<d<<endl;
	return 0;
} 

（二）指针和const限定符
1.指向const对象的指针
①如果我们定义的指针是指向const对象的，那么这个指针也必须具有const特性。
但是const限定的是指针所指向的对象类型，而不是指针本身，也就是说指针并不是const， 定义时不用进行初始化，并且可以对指针重新赋值，仅仅是不能改变指针指向的对象而已。
②还有我们也允许将非const对象的地址赋给指向const对象的指针，但是此时对象不可通过const指针修改了，即便对象本身并不是const，但是却可以通过其他非const指针修改。

#include <iostream>
#include <string>
#include <cstring>
using namespace std;
int main()
{
	char s[]={'a','b','c'};
	char *p=&s[1];
	char c=p[-1],d=p[1];
	cout<<"p[-1]: "<<c<<endl;
	cout<<"p[0]: "<<p[0]<<endl;
	cout<<"p[1]: "<<d<<endl;
	return 0;
} 

2. const指针
这个就比较好理解了，const指针说明指针本身的指向是不可以改变的，也就是不能改变定义时指向的对象。

double pi=3.44;
double* const p=π;
double a=4.5;
p=&a;  //error

3.指向const对象的const指针
如果我们要求指针的指向不允许改变并且指针指向的对象的值也不能够改变，那么我们就要这样声明：ptr首先是一个const指针，指向const对象.

const double pi=3.14;
 const double *const ptr=π

4.指针和typedef
我们使用typedef隐藏指针时，要特别注意不要把typedef简单的当作文本扩展，尤其和const一起出现的时候。

string s;
typedef string* pstring;
const pstring cstr;

估计我们大部分人都会将其错误的认为是指向const对象的指针，因为我们仅仅文本扩展的话和前面的形式一样。但是恰恰不能简单的这样理解，const修饰的是pstring类型，pstring是指针类型。所以cstr应该是指向string类型的const指针。
注意一下三种定义方式都是等价的：

string s;
typedef string* pstring;
const pstring cstr=&s;
pstring const cstr2=&s;
 string *const cstr3=&s;