可变参数模板是一个接受可变数目参数的模板函数或模板类，在模板参数列表中，typename...指出接下来的参数表示0个或多个类型的列表，一个类型名后面跟省略号表示0个或多个给定类型的非类型参数的列表。在函数参数列表中，如果一个参数的类型是一个模板参数包，则此参数也是一个函数参数包。
可变参数模板通常是递归的，第一步调用处理包中的第一个实参，然后用剩余实参调用自身， sizeof...运算符可以获得包中元素数量。
template <typename T>
void printValue(const T& t)
{
cout << t << ",";//最后一个元素
}
template <typename T,typename... Args>
void printValue(const T& t, const Args&... args)
{
cout << t << ",";
printValue(args...);
}
int main()
{
printValue("hello","wolrd","!");
system("pause");
}
还可以利用逗号表达式和初始化列表展开参数包，这种方式不需要递归且会按照顺序展开。
template <typename T>
void printValue(const T& t)
{
cout << t << ",";
}
template <typename... Args>
void checkValue(const Args& ... args)
{
initializer_list<int>{(printValue(args),0)...};
}
int main()
{
checkValue(1, "2", "3", 4);
system("pause");
}
如果使用传参的方式展开参数包，不会按照顺序展开，下面的代码会输出4,3,2,1。
template <typename T>
int printValue(const T& t)
{
cout << t << ",";
return 0;
}
template <typename... Args>
void checkValue2(const Args& ... args)
{
}
template <typename... Args>
void checkValue(const Args&... args)
{
checkValue2(printValue(args)...);
}
int main()
{
checkValue(1,"2","3",4);
system("pause");
}
类似模板函数，模板类也可以有可变参数。
template<typename T>
T sum(T t)
{
return t;
}
template<typename T, typename ...Types>
T sum(T first, Types... rest)
{
return first + sum<T>(rest...);
}
int main()
{
cout << sum(1, 2, 3, 4) << endl;
system("pause");
}
