这里的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