为何以左值为构造参数时创建模板类临时对象会触发编译报错

带显式模板参数的构造场景差异 #

核心触发逻辑是C++语法的最高优先级解析规则：只要一段代码能被解析为合法的变量声明，就绝对不会被解析为临时对象的构造表达式。

• 基础前提：我们定义的Dog类因为显式写了带参构造函数，编译器不会自动生成无参默认构造，所有需要调用无参构造的场景都会直接报错。
• Dog<int>(6); 可正常运行的原因：括号内是字面值6，不属于合法的C++标识符，无法作为变量声明的名字。解析器直接判定这是构造临时对象的表达式，将6传入带参构造函数，流程无歧义。
• Dog<int>(tag); 报“不存在默认构造函数”的原因：括号内是标识符tag，符合变量声明的语法要求。解析器优先将整行代码解析为：在当前作用域声明一个名为tag的Dog<int>类型变量，且没有传入任何构造参数。这个新声明的tag会直接隐藏作用域内之前定义的int类型同名变量，构造时因找不到无参默认构造函数而报错。整个过程和tag是左值、右值完全无关，只是语法解析走了声明分支，根本没有走到“传参给构造函数”的逻辑。

不带模板参数的构造场景差异 #

该场景的正常运行依赖C++17引入的**类模板参数推导（CTAD）**机制，允许编译器根据构造函数入参自动推导类模板的参数类型。

• Dog(6); 可正常推导的原因：括号内是字面值6，无法作为变量声明的名字，解析器直接判定为表达式场景，触发CTAD流程，根据入参6的类型int推导出模板参数T为int，生成对应Dog<int>类型完成临时对象构造。
• Dog(tag); 报“‘(’标记前缺少模板参数”的原因：解析器依然优先尝试走声明解析流程，但Dog是模板名，不是可直接使用的具体类型，组成合法类型必须紧跟尖括号包裹的模板参数列表。由于当前代码没有模板参数列表，无法完成合法变量声明的解析，直接抛出语法错误，根本不会后续触发CTAD推导流程，和入参是左值、右值没有关联。

花括号初始化的场景本质 #

• Dog<int>{tag}; 可正常运行的核心原因：花括号初始化天然规避了之前的语法解析歧义。C++语法规定，类型名直接搭配花括号初始化器的结构，永远不会被解析为变量声明（变量声明必须包含声明符名字）。该语句从解析阶段就是无歧义的临时对象构造，直接将tag传入自定义的带参构造函数，没有走歪到声明分支。
• 该场景不属于聚合初始化。聚合类的判定规则是：类没有用户自定义构造函数、没有私有/保护的非静态数据成员、没有基类、没有虚函数。我们定义的Dog类存在显式的带参构造函数，从定义上就不属于聚合类，花括号调用只是普通的构造函数调用流程。

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