对C++中const T*&含义的理解

这里的T可以是系统内置类型，也可以是用户自定义类型。

关于const和指针、引用之间的一些用法，我在博文C++中const限定符的几种常见用法中已有说明，这里再简要回顾一下：

const T& const引用 只能读取指向对象的值，但不能修改其指向对象的值

const T* 或者 T const* 指向const对象的指针 只能读取指向对象的值，但不能修改其指向对象的值

T *const const指针 指针本身的值不能修改

回到今天的主题，那const T*&呢？

这可能会产生两种理解，但C++肯定只支持一种。

第一种理解是：这是T*的const引用。第二种理解是：这是const T*的引用。

以下是判断两种理解正确性的代码：

 const int* a =new int(1); int* b =new int(1); const int*& c =a;//正确 const int*& d =b;//错误: 无法从“int *”转换为“const int *&”

事实证明，第二种理解是正确的。我们将const T*&写为T const*&产生同样的结果，这说明const T*&和T const*&是等价的，都表示const T*或T const*的引用。

好的，const T*&的含义是什么解决了，那么，T*的const引用怎么表示呢？

答案是：T*const& 。

显然，T *const( const指针)的const引用也是上面这个答案。

那么，const T*(指向const对象的指针)的const引用怎么表示呢？想必聪明的读者已经想到了。

答案是：T const*const& 或 const T*const&。

验证的代码我就不写了，大家可以自行测试。

补充一点指针和typedef的内容。

众所周知，typedef和指针一起使用会产生意外的结果，具体说来就是：

如果写 typedef T* T_ptr;

那么const T_ptr的真正含义是T *const而不是 const T* ，这在c++ primer中有详细说明，不赘述。

这里提出这个问题的原因是，我们很有可能会遇见这样的表示：const T_ptr&。比如，这通常会出现在某些树类数据结构的函数参数里。必须明确的是，const T_ptr&代表的是T *const& ，即T*的const引用，所以这样的函数接受T*类型的指针作为实参。