可变参数模板让我们能够创建参数可变的模板函数和模板类
我们常见的模板类似这样:
template<class T>
void show_list(T value)
在这个定义中,有两个参数列表,模板参数列表只包含T,函数参数列表只包含value,将模板特化的过程show_list(2.15)就是将模板参数列表的T换成double,将函数参数列表的value换成2.15.
C++11中提供了一个用省略号表示的元运算符,可以声明模板参数包(类型列表)和函数参数包(值列表),其语法如下:
template<class... Args>
void show_list(Args... args)
其中,Args是一个模板参数包,与T的区别在于T与一种类型匹配,Args与若干个类型匹配(包括0)。与普通模板相同的是,Args中的类型列表与args的值列表匹配,无论是类型还是数量
那么函数如何访问这些包的内容呢?
C++11规定将省略号放在函数参数包名的右边可以将参数包展开,也就是说args…代表了函数的第一个参数。到这里我们可以使用递归来将函数的所有参数展开,首先来看一种错误的做法:
template<class... Args>
void show_list(Args... args)
{
show_list(args...);
}
当调用函数show_list(5,‘L’,1.1)的时候,5,‘L’,1.1被封装到函数参数包args中,而int,char,double则被封装到Args中,但这种做法函数调用与原来的函数始终相同,因此将造成一个无限递归。于是想到一种改进的理念,对函数参数列表的第一项进行处理,再将剩下的内容传递给递归调用,知道传递的函数参数列表为空,这样来实现它:
template<class T, class... Args>
void show_list(T value, Args... args)
{
cout << value << endl;
show_list(args...);
}
这里的T和value表示函数第一个参数的类型和值。其他参数依旧放到Args和args中.每次递归调用都将显示一个值,并传递减少了一个参数的列表包args给下一次调用,直到列表为空为止。比如调用show_list(5,‘L’,1.1):
第一次调用导致T为int,vlaue为5,剩下的参数类型(char,double)放入Args中,(‘L’,1,1)放入args中,下次调用相当于执行show_list(‘L’,1.1);
第二次调用导致T为char,vlaue为’L’,剩下的参数类型(double)放入Args中,(1,1)放入args中,下次调用相当于执行show_list(1.1):;
以此类推,到最后args为空时调用结束,最后一次执行show_list(),因此需要重载一个函数处理最后一次调用的情形,完整版本就是:
void show_list()
{
cout << "empty" << endl;
}
template<class T, class... Args>
void show_list(T value, Args... args)
{
cout << value << endl;
show_list(args...);
}