可变参数模板：template ＜ Args＞

可变参数模板：template ＜ Args＞

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

template<class T>
void show_list(T value)

在这个定义中，有两个参数列表，模板参数列表只包含T，函数参数列表只包含value,将模板特化的过程show_list(2.15)就是将模板参数列表的T换成double，将函数参数列表的value换成2.15.
C++11中提供了一个用省略号表示的元运算符，可以声明模板参数包（类型列表）和函数参数包（值列表），其语法如下：

template& Args>
void show_ args)

其中，Args是一个模板参数包，与T的区别在于T与一种类型匹配，Args与若干个类型匹配（包括0）。与普通模板相同的是，Args中的类型列表与args的值列表匹配，无论是类型还是数量

那么函数如何访问这些包的内容呢？
C++11规定将省略号放在函数参数包名的右边可以将参数包展开，也就是说args…代表了函数的第一个参数。到这里我们可以使用递归来将函数的所有参数展开，首先来看一种错误的做法：

template& Args>
void show_ args)
{show_);
}

当调用函数show_list(5,‘L’,1.1)的时候，5，‘L’，1.1被封装到函数参数包args中，而int,char,double则被封装到Args中，但这种做法函数调用与原来的函数始终相同，因此将造成一个无限递归。于是想到一种改进的理念，对函数参数列表的第一项进行处理，再将剩下的内容传递给递归调用，知道传递的函数参数列表为空，这样来实现它：

template<class T,  Args>
void show_list(T value,  args)
{cout << value << endl;show_);
}

这里的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,  Args>
void show_list(T value,  args)
{cout << value << endl;show_);
}