可变参数模板:template <class... Args>

可变参数模板让我们能够创建参数可变的模板函数和模板类
我们常见的模板类似这样:

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...);
}
  • 12
    点赞
  • 43
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值