C++中指向常量的指针和常量指针

1 指向常量的指针

指向常量的指针表示该指针中存放的是常量的地址。例如

const int value = 3;

const int* ptr = &value;

其中，&value即ptr中存放的地址如图1所示。

 

图1 ptr中存放的地址

根据图1的值，ptr和value的关系如图2所示。

 

图2 ptr与value的关系

指向常量的指针不能用于改变其所指向对象的值。要想存放常量对象的地址，必须使用指向常量的指针。

指向常量的指针也可以保存非常量的地址。代码如下所示

int value = 3;

const int* ptr = &value;

也就是说，要想改变变量value的值，只能通过value来实现，而不能通过ptr来实现。

value = 4;//正确

*ptr = 5;//错误，不能给常量赋值

2 常量指针

常量指针指的是指针本身是常量，不能修改该指针中保存的地址，而该地址保存的可以是常量也可以是变量。

int value = 3;

int* const ptr = &value;

ptr与value的关系如图3所示。

 

图3 ptr与value的关系

由于ptr本身是常量，所以不能对ptr保存的值进行修改，但是可以通过ptr对其指向的变量进行修改。

*ptr = 4;//正确，此时value的值变为4

ptr = 5;//错误，“=”: 无法从“int”转换为“int *const ”

3 实战

3.1 提出问题

在CSDN中有朋友提到以下代码会报错

int *a;

const int* &p = a;

报错信息为，无法从“int *”转换为“const int *&”。

3.2 分析问题

从以上代码可知，变量a是一个指向int的指针；变量p是一个引用该引用指向了一个指向常量的指针。而引用是为对象起了另外一个名字，要求引用类型都要和与之绑定的对象匹配。在“3.1提出问题”提到的代码中，引用类型p是const int*，而与之绑定的对象a的类型是int*，双方类型不匹配，所以会报错。

3.3 解决问题

可以使用两种方法解决以上问题。

3.3.1 类型匹配

在“3.2分析问题”中提到，p和a的类型不匹配。可以修改a的类型，将其变为const int*即可。

const int *a;

const int* &p = a;

3.3.2 类型转换

在“2常量指针”中提到，本身是常量的指针可以指向非const对象。引用也是如此，本身是常量的引用也可以指向一个非const的对象。所以将p的类型改为常量引用也可以解决问题，代码如下所示

int *a;

int* const &p = a;