可变参数模板和普通模板的语义是一样的,只是写法上稍有区别,声明可变参数模板时需要在typename或class后面带上省略号“…”。比如我们常常这样声明一个可变模版参数:template<typename…>或者template<class…>,一个典型的可变模版参数的定义是这样的:
template <class... T>
void f(T... args);
上面的可变模版参数的定义当中,省略号的作用有两个:
1.声明一个参数包T… args,这个参数包中可以包含0到任意个模板参数;
2.在模板定义的右边,可以将参数包展开成一个一个独立的参数。
上面的参数args前面有省略号,所以它就是一个可变模版参数,我们把带省略号的参数称为“参数包”,它里面包含了0到N(N>=0)个模版参数。我们无法直接获取参数包args中的每个参数的,只能通过展开参数包的方式来获取参数包中的每个参数,这是使用可变模版参数的一个主要特点,也是最大的难点,即如何展开可变模版参数。下面只介绍递归方式展开模板参数。
#include <iostream>
using namespace std;
template<class T>
void print(T a)
{
//最后一次调用(递归终止)
cout << a;
}
template<class T,class ... Types>
void print(T first,Types... rest)
{
//最后一次调用(递归终止)
cout << first << " ";
print(rest...);
}
template<class T>
T Sum(T a)
{
//最后一次调用(递归终止)
return a;
}
template<class T,class...Types>
T Sum(T first,Types... args)
{
return first + Sum(args...);
}
void main()
{
print(1, 2, 3, 4, 5, 6);
cout << endl;
int a = Sum(1, 3, 5, 7, 9);
cout << a << endl;
system("pause");
}
结果:
如果要计算参数的个数可以使用 sizeof…(args);