对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*类型的指针作为实参。
欢迎大家访问我的独立技术博客 道合|SameIdeal.com