C++类模板默认参数实例化时特化匹配差异问题

核心是C++17引入的**类模板实参推导（CTAD）**的规则限制，以及默认模板参数的生效逻辑，两个案例的编译器执行流程完全不同：

1. C c;正常匹配特化的原因 #

声明变量时如果既不显式传入模板实参，也不向构造函数传递任何参数，编译器不需要执行模板实参推导，会直接使用主模板定义的默认模板参数填充所有模板形参：

• 类C主模板设置了默认模板参数T=int，填充后实例化目标为C<int>
• 后续模板匹配阶段会优先选择匹配度最高的全特化版本C<int>，因此成员i的输出值为4，完全符合预期。

2. A a(5);编译报错的原因 #

如果向构造函数传入了参数、又没有显式指定模板实参，编译器会启动CTAD流程推导模板实参，这个流程有明确的规则限制：

CTAD推导阶段仅会检查主模板的构造函数、以及用户显式声明的推导指引，类的全特化、偏特化版本的构造函数，完全不参与推导过程。

从执行顺序上也能解释这个规则的合理性：编译器必须先通过CTAD确定所有模板实参的值，才能进入下一步选择使用主模板还是对应特化版本，不可能在推导阶段就预先判定T=int、读取A<int>特化的构造函数，否则会出现逻辑循环。
对应到类A的场景：

• 推导阶段编译器只会检查主模板的构造函数A(int, int)，这个构造函数要求传入2个int参数，调用时仅传入1个int，根本无法匹配主模板构造函数的签名，自然无法完成模板实参推导
• 哪怕主模板给T配置了默认值int、哪怕A<int>特化版本正好有适配单int参数的构造函数，这些内容在CTAD推导阶段都不会被编译器参考，因此直接触发编译报错。

可行的修复方式 #

如果要让单参数构造的写法正常编译，可以选两种方案：

• 显式指定模板参数，绕开CTAD流程：

A<int> a(5); // 直接指定T=int，匹配特化版本，编译正常

• 为类A添加显式推导指引，让CTAD能识别单int参数对应的推导结果：

// 放在A的主模板和特化定义之后即可
A(int) -> A<int>;

int main() {
    A a(5); // CTAD推导出T=int，匹配特化版本，编译正常
}

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