为何数组的const左值引用int(const& crb)[3] = b;无法编译？

咱们先从C++引用声明的语法逻辑说起，你写的错误声明本质是语法结构放错了位置，导致编译器完全误解了你的意图。

先看正确的姿势 #

首先回忆下数组引用的正确写法：

• 普通数组引用：int(&rb)[3] = b; 没问题，这告诉编译器rb是一个绑定到3个int元素数组的引用。
• 带const的数组引用，正确的写法是下面两种之一：

  const int (&crb)[3] = b;
  // 或者
  int const (&crb)[3] = b;
  

这里的const修饰的是数组的元素类型（也就是int），意味着通过crb这个引用不能修改数组里的元素，同时引用本身一旦绑定就不能再指向其他数组——这才是你想要的“数组的const左值引用”。

错误写法到底错在哪？ #

你写的int(const& crb)[3] = b;，编译器会按照C++的声明规则从内到外解析：

1. 它先看到(const& crb)，会误以为这是一个表达式（比如一个已存在的const引用变量）；
2. 后面的[3]就被当成了对这个表达式做数组下标操作；
3. 而最前面的int就完全摸不着头脑了——编译器本来期待这里是一个表达式，结果冒出来一个类型关键字，所以直接抛出了error: expected primary-expression before 'int'的错误。

简单来说，你把const的位置和括号的作用搞混了：括号应该用来把引用名和数组大小括在一起，确保编译器识别这是一个数组的引用，而不是把const& crb括起来。

验证一下 #

把错误声明改成正确的const int (&crb)[3] = b;，编译就能正常通过。如果尝试通过crb修改数组元素（比如crb[0] = 10;），编译器会报错，这也符合我们对const引用的预期。

内容的提问来源于stack exchange，提问作者João Afonso