为何可变模板中未使用的模板参数T无法自动推导？

问题复现 #

可正常编译的情况1：仅可变模板参数 #

template<typename ...Args>
void func (Args... args) { }

func(1,2,3,4,5); // 编译成功

可正常编译的情况2：模板参数T在函数参数中使用 #

template<typename T, typename ...Args>
void func (T arg_1, Args... args) { }

func(1,2,3,4,5); // 编译成功

编译失败的情况：模板参数T未在函数参数中使用 #

template<typename T, typename ...Args>
void func (Args... args) { }

func(1,2,3,4,5); // 编译失败

g++报错信息：

main.cpp: In function ‘int main()’:
main.cpp:33:20: error: no matching function for call to ‘func(int, int, int, int, int)’
   33 |  func(1, 2, 3, 4, 5);
      |                    ^
main.cpp:26:6: note: candidate: ‘template<class T, class ... Args> void func(Args ...)’
   26 | void func (Args... args)
      |      ^~~~
main.cpp:26:6: note:   template argument deduction/substitution failed:
main.cpp:33:20: note:   couldn’t deduce template parameter ‘T’
   33 |  func(1, 2, 3, 4, 5);

显式指定T后编译成功 #

template<typename T, typename ...Args>
void func (Args... args) { }
func<int>(1, 2, 3, 4, 5); // 编译成功

为什么必须显式指定T或在函数参数中使用T？ #

• 编译器推导模板参数的唯一依据是函数调用时传入的实参。如果模板参数T没有出现在函数参数列表里，编译器找不到任何能关联到T的实参线索，完全无法确定T的类型，因此会推导失败。
• 前两种可编译场景的逻辑：
  • 仅用Args...时，编译器直接从5个int实参推导出Args是int,int,int,int,int；
  • T出现在参数列表时，第一个实参1的int类型会直接匹配T，剩余实参匹配Args...，两个模板参数都能被正确推导。
• 而编译失败的场景中，T和函数参数完全无关，必须由开发者显式指定T的类型，编译器才能完成模板实例化。

编译器的模板参数推导机制 #

模板参数推导的核心是将实参类型与模板函数的参数类型做模式匹配，核心规则如下：

1. 直接匹配推导：如果模板参数出现在函数参数的类型定义中，编译器会用实参类型反向推导出对应的模板参数。比如func(T arg)传入int实参时，直接推导出T=int。
2. 可变参数推导：对于Args...这类可变模板参数，编译器会把所有剩余实参的类型打包成参数包，匹配到Args上。
3. 无推导线索的参数必须显式指定：如果模板参数既没出现在函数参数列表，也没有设置默认模板参数，编译器无法自动推导，必须由开发者显式指定类型。
4. 优先级规则：显式指定的模板参数优先级最高，会覆盖推导结果；如果部分参数显式指定、部分可推导，先确定显式参数，再推导剩余参数。

比如func<int>(1,2,3,4,5)中，T被明确为int，剩余5个int实参推导出Args的参数包，模板最终实例化为void func(int,int,int,int,int)，因此编译通过。

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