为何C<> c(5)编译失败，而func<>(5)可正常推导模板参数？

核心原因是函数模板和类模板在模板实参推导规则上的本质差异：

1. 函数模板func<>(5)合法的原因 #

函数模板支持部分模板实参推导：当你显式写出模板实参列表（比如<>）但未指定全部参数时，编译器会自动从函数调用的参数推导剩余的模板参数。

这里func<>(5)中，<>表示你没有显式指定T，编译器会根据传入的5（类型为int）推导出T=int，因此调用完全合法。

2. 类模板C<> c(5)报错的原因 #

类模板的实参推导（CTAD，类模板实参推导）仅在完全省略模板实参列表（即不写<>）的情况下才会触发。

当你写出C<>时，这属于显式指定模板实参列表，但你提供的参数数量为0，而类模板C要求必须有1个模板参数，因此编译器直接抛出wrong number of template arguments错误——此时编译器不会尝试从构造函数参数推导T，因为你已经显式提供了（空的）模板实参列表，编译器会优先匹配你显式指定的参数规则。

3. 为什么C b(5)是合法的？ #

这是标准的CTAD场景：当你完全不写<>时，编译器会根据构造函数的参数类型（5为int）推导类模板的T为int，从而实例化C<int>并创建对象，这是C++17及以后版本支持的特性。

总结 #

• 函数模板允许显式指定空/部分模板实参列表，剩余参数由调用推导补充
• 类模板仅在完全不指定模板实参列表时，才会触发构造函数参数推导
• 显式写出C<>属于提供了不符合数量要求的模板实参，直接触发编译错误

内容的提问来源于stack exchange，提问作者Vlad from Moscow