介绍
一个可变参数模板是一个接受可变数目参数的模板函数或模板类。可变数目的参数成为参数包。存在两种参数包:模板参数包 ,表示零个或多个模板参数;函数参数包,表示零个或多个函数参数。
用一个省略号来指出一个模板参数或函数参数表示一个包。在模板参数列表中,class…或typename…指出接下来的参数表示零个或多个类型的列表;一个类型名后面跟着的省略号表示零个或多个该给定类型的非类型参数的列表。在函数参数列表中,如果一个参数的类型是一个模板参数包,则此参数也是一个函数参数包。例如:
//Args是一个模板参数包;rest是一个函数参数包
//Args表示零个或多个模板类型参数
//rest表示零个或多个函数参数
template<typename T,typename...Args>
void f(const T &t,const Args&...rest);
上例中的f是一个可变参数函数模板,有一个名为T的类型参数和一个名为Args的模板参数包。这个包表示零个或多个额外的类型参数。f的函数参数列表包含一个const&类型的参数,指向T的类型,还包含一个名为rest的函数参数包,此包表示零个或多个函数参数。
编译器会从函数的实参推断模板参数类型。对于一个可变参数模板,编译器还会推断包中参数的数目。例如对于下面给定的调用:
int