C++函数模板中非推导上下文的可变模板参数调用合法性及推导规则问询

咱们来逐个拆解你提出的三个调用，再聊聊背后的C++规则：

• 关于foo(0);：这个调用是错误的。原因很直接：你的模板里Is...这个整数参数包完全没用到函数参数中，属于标准定义的「非推导上下文」——编译器根本没办法从传入的0里推导出Is的取值。而且Is...不是模板参数列表的最后一项（后面还跟着typename T），不存在默认推导为空的规则，编译器找不到Is的合法取值，必然会报错。

• 关于foo<>(0);：这个调用是合法的。你通过<>显式告诉编译器，前面的Is...是空参数包，剩下的T可以从传入的0推导为int，完全符合标准要求。这里的<>就是明确声明「我要给前面的模板参数包传空值」，编译器能正确识别并处理。

• 关于foo<0,1,2>(0);：这个调用当然合法。你已经显式指定了Is...的取值是0,1,2，剩下的T依然可以从0推导出来，完美契合你引用的标准里「非推导上下文的模板参数必须显式指定」的规则。

再回答你那个更通用的问题：有没有规则能让非推导上下文的模板参数包在未显式指定时被推导为空？答案是没有，除非它是模板参数列表里的尾随参数包。但你的场景里Is...后面跟着typename T，不属于尾随参数包，所以不存在这种默认推导逻辑。只有当参数包是模板参数的最后一项，且前面所有模板参数都能被正确推导时，编译器才会默认把这个尾随包推导为空，显然你的情况不满足这个条件。

内容来源于stack exchange