C++中A(&s)报引用变量需初始化而A("HELLO")正常的原因？

这是C中经典的语法歧义问题，C标准明确规定：如果一段代码既可以被解析为变量声明，也可以被解析为临时对象创建表达式，编译器会优先将其判定为变量声明。

为什么A("HELLO")可以正常运行 #

A("HELLO")的括号内是字符串字面量，不可能作为合法的变量标识符，因此编译器没有歧义，直接将其解析为：创建A类的临时对象，调用A(string)构造函数完成初始化，因此运行正常。

为什么A(&s)会触发报错 #

A(&s)存在两种可被解析的语义：

• 你预期的语义：创建A类临时对象，将&s作为参数传入A(string*)构造函数完成初始化
• 符合C++声明规则的语义：声明一个类型为A&、名为s的引用变量，等价于A& s;

按照优先判定为声明的规则，编译器会选择第二种解析逻辑，此时就会出现两个冲突：

1. 你此前已经在main函数中声明了类型为string的变量s，此处重复声明同名变量，类型冲突
2. C++要求引用类型变量声明时必须绑定初始化对象，此处的s引用没有初始化值

对应两个编译器的报错就很好理解了：

• XCode的报错直接命中了第二个冲突点：声明引用变量s需要初始化
• Visual Studio的报错命中了第一个冲突点：新声明的s类型是A&，和已有的std::string类型的s间接层级不匹配

解决方法 #

要让编译器按照你预期的「创建临时对象」逻辑解析，有几种常用方案：

• 使用C++11引入的统一初始化语法，彻底避免歧义：

  A{&s};
  

• 在外层增加括号，破坏声明的语法结构：

  (A(&s));
  

• 显式为临时对象命名：

  A tmp_obj(&s);
  

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