可变参模板的英文为Variadic Templates,是c++11标准引入的。可变参模板允许模板定义中含有0到多个模板参数。
有如下普通函数的例子
void myptfunc(int a)
{
cout<
看看可变参模板
void MyFunc()
{
}
template
void MyFunc(T fistarg,U... otherargs)
{
cout << fistarg << " ";
MyFunc(otherargs...);
}
int main()
{
MyFunc(1,2,5,"hello");
system("pause");
return 0;
}
结果：
注意template行的写法typename…U,后面带3个点代表参数包，然后才修饰U。对于void MyFunc(T fistarg,U… otherargs)，因为U带了…，所以将U称为可变参类型，看起来是一个类型名，实际上其中包含的是0到多个不同的类型（一包类型）。
对于这样的可变参函数模板有一个问题，就是在获得一包参数之后，程序员的我们必须要把这一包参数逐个拿到手处理，也就是如何将参数包展开？
对于这种可变参函数模板，展开的套路是比较固定的，一般都是用递归函数的方式展开参数包。为了实现用递归函数的方式展开参数包，就要求在可变参函数模板的代码中，有一个参数展开函数和一个同名的递归终止函数。这个递归终止函数（不是一个函数模板），一般都是不带参数的同名函数。
在c++17标准中增加了 一个语句：编译期间if语句，改写如下：
template
void MyFunc(T fistarg,U... otherargs)
{
cout << fistarg << " ";
if constexpr(sizeof...(otherargs)>0)
{
MyFunc(otherargs...);
}
}
这样就不用递归终止函数了。sizeof…属于固定语法，是c++11引入的，用于可变参数模板或可变参数模板内部，用来表示收到的模板参数个数或类型数量，针对的只能是这种…的可变参。
