在C++中,我们可以令指针指向常量或者非常量。指向常量的指针不能用于改变其所指对象的值,想要存放常量对象的地址,只能使用指向常量的指针。
const double pi = 3.14; //pi是一个常量,它的值不能被改变 double *ptr = π //错误:ptr是一个普通的指针 const double *cptr = π //正确:cptr可以指向一个双精度常量 *cptr = 42; //错误:不能给*cptr赋值指针的类型必须与其所指向对象的类型一致,但是允许一个指向常量的指针指向一个非常量对象 double dval = 3.14; //dval是一个双精度浮点数,它的值可以改变 cptr = &dval; //正确:但是不能通过cptr改变dval的值 常量指针必须初始化,而且一旦初始化完成,则它的值(也就是存放在指针中的那个地址)就不能再改变了。把*放在const关键字之前用以说明指针是一个常量,这样的书写形式隐含着一层意味,即不变的是指针本身的值而非指向的那个值:
int errNumb = 0; int *const curErr = &errNumb; //curErr是一个指向errNumb的常量指针, //curErr不能再指向其他地址,但是curErr的值可以通过errNumb而改变正如我们所知道的,指针本身是一个对象,它又可以指向另外一个对象。所以,指针是不是一个常量和指针所指向的是不是一个常量是两个问题,即常量指针和指针常量。我们把指针本身是一个常量称为顶层const即常量指针,把指针指向一个常量称为底层const即指针常量。更为一般的,顶层const可以表示任意的对象是常量,而底层const则与指针与引用等复合类型的基本部分有关。
int i = 0; int *const p1 = &i; //不能改变p1的值,这是一个顶层const const int ci = 42; //不能改变ci的值,这是一个顶层const const int *p2 = &ci; //允许改变p2的值,这是一个底层const const int *const p3 = p2; //靠右的const是顶层const,靠左的底层const const int &r = ci; //用于声明引用的const都是底层const 执行对象拷贝操作时,常量是顶层const还是底层const区别明显。其中,顶层const不受什么影响。 i = ci; //正确:拷贝ci的值,ci是一个顶层const,对此操作无影响 p2 = p3; //正确:p2和p3指向的对象类型相同,p3顶层const的部分不受影响 但是,底层const也有所限制,拷入和拷出的对象必须具有相同的底层const,或者两个对象的数据类型必须能够转换。一般来说,非常量可以转换为常量,反之不行。 int *p = p3; //错误:p3包含底层const的定义,而p没有 p2 = p3; //正确:p2和p3都是底层const p2 = &i; //正确:int*能够转换成const int * int &r = ci; //错误:普通的int&不能绑定到int常量 const int &r2 = i; //正确:const int& 可以绑定到一个普通int上