谈谈int*转const int* &的问题

最近看代码遇到个指针的const引用的问题，指针真的是让人又爱又恨呐，太微妙了。指针和引用的再深入，记录分享下

情况是这样的

我是在这里遇到的，简化代码如下：

template <class T> void show1(const T & i) { // i = (T)0x555555; 编译报错 // *i = 1314; 编译通过，效果正常 cout << (void*)i << endl; } void show2(const int* & i) { cout << (void*)i << endl; } int nTemp = 2019; int * ptrInt = &nTemp; show1(ptrInt); //可以通过编译，而且我已验证确实是真正的const引用 show2(ptrInt); //不能通过编译。cannot bind non-const lvalue reference of type 'const int*&' to an rvalue of type 'const int*' /

简单来说就是这么个情况：

int nTemp = 2019; int *ptrInt = &nTemp; const *ptrInt2 = &nTemp; const int* &refptrInt1 = ptrInt; //1.这种用法会报错。你思考过吗，你觉得呢？ //下面是验证代码 const int* &refptrInt2 = ptrInt2; //2.这个引用是const的吗 // *refptrInt2 = 999; //error: assignment of read-only location '* refptrInt2' refptrInt2 = (int*)0x1234; int* const &refptrInt2 = ptrInt; //3.其实，这个才是ptrInt的真正const引用。 *refptrInt2 = 999; // refptrInt2 = (int*)0x1234; //error: assignment of read-only reference 'refptrInt2'

阐述一下

谈谈我的理解吧！ 问题的关键还是在于const限定符修饰指针类型数据的神奇之处。也就是const在*之前之后的差异。

像如下这种单个token的类型说明符(比如int)很好理解，

int a = 0; const int &crefa = a;(等同表示：int const &crefa = a;)

crefa标识符为const int引用类型，不能修改其标识符对应存储的值。

而像对于指针这种需要两个token的类型说明符(int*)的情况，就有时让人绕不过弯了。

int *pa = &a;

(int*)类型pa标识符对应的const引用应该是哪种呢？首先，其const引用，表示的效果应该也是其标识符对应存储的值不能修改。指针还不就是一个存储的值为地址的特殊变量。然后，了解了const在*前后的差异就该明白了。

int nage = 18; const int *pt = &nage; //a pointer to const int,不能修改指针存储的地址指向的变量的值。 解引用后内容是常量。 int* const pu = &nage; //a const pointer to int,不能修改指针存储的地址，即改变不了指向的位置了。指针变量内容是常量。

其对应的const引用，应该这样表达：

int* const &crefpa = pa; //和验证代码里的是一致的，这才是真正的指针的const引用想表达的意思

而不该是const int* &crefpa = pa; 其对应的该是const int* pa = &a;

而且，引用设计上还不就是指针，其实就是类似如下的伪装表示：

int a; int & refint = a; int * const pint = &a;

其const就该是

int [const] &refint = a; int [const] * const pint = &a; //[const] int * const pint = &a; 同上

当为单个token，int时，其和const交换不影响编译器语义，如果是双token，int*时，不影响才怪呢。

int* [const] &refint = a; int* [const] * const pint = &a; //[const] int* * const pint = &a; 还同上吗？

顺便说下，我遇到的情况，更验证了我的说辞。 而且，模板函数实例化看来是做了特殊处理了。类型参数T，可不是简单的替换啊，是一个独立的部分了。 比如当T == int *时，const T & 和T const&，是完全一样的，不影响语义，都是int* const &可以放心用其表示const引用。

template < class T > void show1(const T & i) { // i = (T)0x555555; 编译报错 // *i = 1314; 编译通过，效果正常 cout << (void*)i << endl; }

---