C++20函数模板参数场景下类模板CTAD推导失败原因求解

1. ts a = 1 可正常运行的原因：类模板实参推导规则生效 #

该场景触发的是C17引入、C20标准完整延续的**类模板实参推导（Class Template Argument Deduction, CTAD）**规则：当声明类模板类型的变量时，如果没有显式指定模板实参，编译器允许根据初始化表达式的类型，结合类的构造函数签名自动推导类模板的实参。
这里ts的构造函数签名为ts(valueType v)，初始化器1的类型是int，因此编译器可以直接推导valueType为int，最终变量a的类型为ts<int>，完全符合标准要求。

2. test(1) 编译报错的原因：函数模板实参推导的规则限制 #

该场景触发的是**函数模板实参推导（Template Argument Deduction, TAD）**流程，和CTAD是两套独立的推导规则，C++20也没有修改该流程的核心限制：

• 函数模板参数推导阶段仅考虑实参类型和形参类型的直接匹配，不会引入任何用户自定义的隐式转换（包括构造函数转换、自定义转换函数），仅允许极少量的标准转换（如数组转指针、const/volatile修饰符调整等）
• 对于形参类型为类模板特化ts<charType>的场景，只有传入的实参本身就是ts的某个特化类型时，编译器才能从中提取模板实参，推导出charType的具体类型
  本例中传入的实参是int类型，既不是ts的特化类型，推导阶段也不会尝试调用ts的构造函数把int隐式转换为ts<int>，因此无法完成charType的推导，最终编译报错。

兼容修改方案 #

如果希望test(1)可以正常编译，可选择两种修改方式：

• 显式指定函数模板实参：test<int>(1)，跳过模板推导阶段，直接生成形参为ts<int>的函数，此时1可以通过构造函数隐式转换为ts<int>
• 传入已完成CTAD的ts对象：test(ts(1))，实参类型为ts<int>，可以直接匹配形参类型推导出charType = int

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