模板可变参数的展开

在C++中模板参数列表展开，有多种处理方案，下面介绍几种常见的方法
1.递归式展开：
假设我们有一个需求，参数列表个数不确定，函数处理所有的参数参数。
例如：fun(12,"hello",25.3,...);
定义函数模板fun

template<typename... T>
void fun(T... x) {
// 函数逻辑处理
}

此时呢，我们定义了函数fun，参数可以正常输入，可是函数参数x是一个范围包，无法单一使用，那么我们就需要考虑展开参数包，继续编写一个fun的重载版本

 

template<typename... T>
void fun(T... x) {
// 函数逻辑处理
}
template<typename T,typename... Y>
void fun(T a, Y... b) {
// 此时对a进行处理
std::cout << a << std::endl;
// 进行递归
fun(b...);
}

重载版本具有两个参数，也就是说fun函数当参数大于1个时，第二个重载版本就会有优先权，当参数b不断本函数展开后，最后参数b个数为0时，调用第一个fun函数，因为第二个已经不满足了，于是递归被终止，参数被全部展开。
2.列表展开
这是一种固定格式的参数列表展开写法。示例代码如下

template<typename T>
void g(T a) {
std::cout << a << std::endl;
}
template<typename... ARG>
void f(ARG...arg) {
int arr[] = { (g(arg), 0)... };
}

我们使用g函数来依次处理f的参数包，{ (g(arg), 0)... };这一段是固定的写法，g函数会把arg参数包全部展开进行处理，列表中0，表示了一种推导，这里可以是一种类型（如：int），也可以是类型的变量，最终这个属性将被dectype推导，有一种情况，就是 f（T x,Y... y）,像这种情况就需要将参数x写在g函数的前面处理就可以。

template<typename T, typename... ARG>
void f(T x,ARG...arg) {
std::cout << x << std::endl;
int arr[] = { (g(arg), x)... };
}

 

这种参数列表展开，f并不会产生递归。
3.使用std::initializer_list展开

template<typename T, typename... ARG>
void Test(T x, ARG... arg) {
std::cout << x << std::endl;
(void)std::initializer_list<T>{
([&arg] {std::cout << arg << std::endl; }(),x)...
};
}

这一种方法和第二种差不多，这里借用了初始化列表构造了一个lambda匿名函数处理参数包。
正常情况下，任意带有参数的函数都可以展开这种参数包，而展开的方法就是：
decltype(type) arr[] = { (function(arg),type())... };
arr的类型根据type类型推导，这种列表展开方法是固定的。

可以使用lambda模板进行参数传递。