为何指针引用与非指针引用的表现存在差异？

问题重现 #

你遇到的编译错误代码如下：

int main()
{
    int i = 42;
    int *pi_i = &i;
    const int *&rpi_i = pi_i; // 编译失败
}

编译器报错：

e.cpp:4:17: error: binding reference of type 'const int *&' to value of type 'int *' not permitted due to incompatible qualifiers
    const int *&rpi_i = pi_i;
                ^       ~~~~

而类似的普通引用代码却能正常编译：

int main()
{
    int i = 42;
    const int &ri = i; // 编译通过
}

核心原因：const作用层级与类型安全限制 #

这两种情况的本质差异在于const的作用位置，以及语言对引用绑定的安全约束：

1. 普通const引用的合法逻辑 #

const int &ri = i中，const直接修饰的是int——引用ri提供的是原int对象的只读视图。语言允许这种绑定的原因是：

• 绑定的是原对象本身，没有产生临时变量；
• 通过ri无法修改原对象i，但原变量i依然可以正常修改，完全符合const的只读语义，不会破坏安全性。

2. 指针引用的非法原因 #

const int *&rpi_i = pi_i中，const修饰的是指针指向的int，而非指针本身——这个引用的类型是指向const int的指针的引用，它要求绑定的是一个const int*类型的左值变量。

而pi_i是int*类型，虽然int*可以隐式转换为const int*（这是安全的单向转换，防止通过指针修改const对象），但这个转换会产生一个临时的const int*对象。C++规定：非const引用（这里的引用本身不是const的，只是引用的类型带const）不能绑定到临时对象。

更关键的是，即使绕过这个限制，会直接破坏const的安全性：
假设允许这种绑定，我们可以写出以下代码：

int main() {
    int i = 42;
    int *pi_i = &i;
    const int *&rpi_i = pi_i; // 假设编译通过
    const int j = 100;
    rpi_i = &j; // 通过引用修改pi_i的指向，让它指向const对象j
    *pi_i = 200; // 用非const指针修改const对象j，违反const语义，触发未定义行为
}

这种操作会让原本只能指向非const对象的pi_i，被间接修改为指向const对象，进而可以通过pi_i修改const对象，完全破坏了const的设计初衷。

合法修正方式 #

要让代码编译通过，有两种合规途径：

• 将pi_i的类型改为const int*，让引用和变量类型完全匹配：

  const int *pi_i = &i;
  const int *&rpi_i = pi_i;
  

• 将引用类型改为int*&，同样保证类型匹配：

  int *&rpi_i = pi_i;
  

内容的提问来源于stack exchange，提问作者Premkumar Thoppae