可变参模板

可变参模板的英文为Variadic Templates,是c++11标准引入的。可变参模板允许模板定义中含有0到多个模板参数。
有如下普通函数的例子

void myptfunc(int a)
{
cout<<a<<" ";
}

看看可变参模板

void MyFunc()
{

}

template<typename T,typename...U>
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<typename T,typename...U>
void MyFunc(T fistarg,U... otherargs)
{
	cout << fistarg << " ";
	if constexpr(sizeof...(otherargs)>0)
	{
		MyFunc(otherargs...);
	}
	
}

这样就不用递归终止函数了。sizeof…属于固定语法，是c++11引入的，用于可变参数模板或可变参数模板内部，用来表示收到的模板参数个数或类型数量，针对的只能是这种…的可变参。