C++中typedef引用加const的等价性判断及分析正确性求证

你的分析完全正确，那位用户的观点在技术层面是错误的。

核心原因拆解 #

• C++标准明确规定：除通过typedef名称或decltype说明符引入cv限定符的情况外，cv限定的引用非法，此时cv限定符会被忽略
• 对于typedef int& A; const A aref = 3;这段代码，const是加在typedef别名A上的，但因为A本质是引用类型，这个const会被直接忽略，实际等价于：

  int & aref = 3;
  

• 而用户声称的等价写法int & const aref = 3;本身就是非法的C++代码——引用本身就具有“不可更改绑定对象”的特性，语法上不允许给引用添加const限定，所以两者从根本上不可能等价。

代码错误的真正根源 #

原代码编译失败的原因是非const左值引用无法绑定右值3，和“对引用应用const”没有任何关系。

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