可变模板参数

1.概述

C++11新特性--可变模板参数是C++11新增的最强大的特性之一,他对参数进行高度泛化，他能表示0到任意个数及类型参数。想比较于C++ 98/03标准，类模板，函数模板只能含固定数量的模板参数，无疑是一个巨大的改进。

2.可变模板参数申明

可变模板参数与普通模板参数定义基本一样，声明可变模板参数需要在typename或者class后面添加...,示例如下：

Template <Class ...X>
void fun(X ...args);

参数前面带有...,说明为可变模板参数，我们把此参数称为参数包，他里面包含0到N个参数，我们无法直接获取参数包里面的每个参数，只能通过展开参数包的方式来获取每个参数，

3.可变模板参数的展开方式

3.1递归函数方式展开

通过递归函数展开函数包，需要提供一个参数包展开的函数和递归终止函数。递归终止函数用来终止递归调用。示例如下：

//递归终止函数
void fun()
{
}
//展开函数
Template <T head，Class ...args>
void fun(T head，args...rest);
{
    fun(rest...);
}

参数包args在展开过程中递归调用自己，每调用一次参数就会少一个，直到所有的参数都展开了.当没有参数时调用递归终止函数，终止回调。

3.2逗号表达式展开

借助逗号表达式和初始化列表方式展开参数包，示例如下：

Template <Class X>
void fun(X x)
{
}
Template <Class ...Args>
void expand(Args...args)
{
    //数组的初始化列表
    int arrray[]={(fun(args),0)...};
    //包扩展为{(fun(arg1),0)，...,(fun(argN),0)}
    //计算每个逗号表达式，调用fun(args),得到各个参数）
    //同时，每个逗号表达式结果得0，然后用N个0初始化arrray。
}