带默认模板参数的模板类特化构造函数为何无法直接传参？

先看核心代码示例：

#define D 1

template <int a = D> struct test;

template <> struct test<1> {
  test(int a) {}
};
template <> struct test<2> {
  test() {}
};

#if D == 1
void func() {
  // 编译失败
  // test t{1};
  test<> t1{1}; // 编译成功
}
#elif D == 2
void func() {
  test<> t{};
  test t2{}; // 编译成功
}
#endif

int main() { func(); }

现象总结 #

• 当D=1时，直接写test t{1};会编译报错，必须显式写出test<>才能正常编译；
• 当D=2时，test t2{};可以直接编译通过。

对应的报错信息如下：

qmp.cpp: In function ‘void func()’:
qmp.cpp:17:11: error: class template argument deduction failed:
   17 |   test t{1};
      |           ^
qmp.cpp:17:11: error: no matching function for call to ‘test(int)’
qmp.cpp:5:29: note: candidate: ‘template<int a> test()-> test<a>’
    5 | template <int a = D> struct test;
      |                             ^~~~
qmp.cpp:5:29: note:   template argument deduction/substitution failed:
qmp.cpp:17:11: note:   candidate expects 0 arguments, 1 provided
   17 |   test t{1};
      |           ^
qmp.cpp:5:29: note: candidate: ‘template<int a> test(test<a>)-> test<a>’
    5 | template <int a = D> struct test;
      |                             ^~~~
qmp.cpp:5:29: note:   template argument deduction/substitution failed:
qmp.cpp:17:11: note:   mismatched types ‘test<a>’ and ‘int’
   17 |   test t{1};
      |           ^

原因分析 #

问题的核心在于C++类模板实参推导（CTAD）的规则限制：

1. 当使用test t{...};这种省略模板参数列表的写法时，编译器会触发类模板实参推导，而这个推导过程只会考虑主模板的声明/定义，完全不会参考任何模板特化版本。
2. 我们的主模板只是一个空声明：template <int a = D> struct test;，没有定义任何构造函数。编译器只能基于这个主模板生成两个候选推导指引：
   • 默认无参推导指引：template<int a> test() -> test<a>;
   • 拷贝构造推导指引：template<int a> test(test<a>) -> test<a>;
3. 当D=2时，test t2{};调用无参构造：
   • 编译器直接使用主模板的默认模板参数a=2，不需要额外推导模板参数；
   • 后续匹配到test<2>特化版本的无参构造，因此编译通过。
4. 当D=1时，test t{1};试图传入int参数：
   • 主模板没有对应构造函数，编译器找不到匹配的推导指引，无法完成模板参数推导，因此报错；
   • 而写test<> t1{1};时，我们显式指定使用默认模板参数（即a=1），跳过了CTAD过程，编译器直接定位到test<1>特化版本的构造函数，因此编译成功。

内容的提问来源于stack exchange，提问作者陈泽霖