遍历 “可变参数模板” 的模板参数

类模板和函数模板，只能包含固定数量的模板参数，C++11支持模板参数可变，那么在不知道模板参数有多少个的情况下，如何遍历模板参数？

---

目录

一、可变参数模板的声明

二、可变参数模板的遍历 

1、递归遍历

2、非递归遍历

---

一、可变参数模板的声明

语法格式：template<class ...Args>

使用：void showList(Args... args){}

template<class ...Args>        // Args 可变参数类型列表
void showList(Args... args)    // args 形参列表
{

}

二、可变参数模板的遍历 

假设现在有一个可变函数模板showList，我们要打印出传递给该函数模板的所有参数，参数的个数未知。

1、递归遍历

(1) 代码实现及测试

• 递归执行过程：每次向下递归的时候，自动取出一个参数，剩余参数继续向下遍历
• 递归结束条件：当可变参数列表只剩下一个参数时，直接去调用showList的重载版本

template<class T, class ...Args>
void showList(T val, Args... args)
{
	cout << typeid(T).name() << ":" << val << endl;	    // 查看当前参数的类型和值
	showList(args...);                                  // 剩余参数继续向下遍历
}

// showList 的重载版本
template<class T>
void showList(const T& t) {        
	cout << typeid(T).name() << ":" << t << endl;
}

测试结果如下：

(2) 递归过程分析

第一层递归时，实参1 =》showList的第一个参数 t，其余实参 =》showList的可变参数列表args

第二层递归也是同理，实参'A' =》showList的第一个参数t，其余实参 =》showList的可变参数列表args

... ...

最后一次递归时，由于只剩下了一个参数，此时不能继续调用原本的可变参数模板，因为把最后剩余一个参数给了t以后，没有东西给 args了。此时调用的是具有固定参数的可变参数模板。

2、非递归遍历

核心思路：非递归遍历借用了 “ 使用列表初始化数组 ” 的特性，初始化数组时，编译器会逐个遍历列表中的每一项。遍历每一项的时候，都会从 args 中取出一个参数传递给 printArg 函数

注意事项：int arr[] = { (printArg(args), 0)... } 本质还是在初始化数组，因为 printArg 没有返回值，所以使用逗号表达式来强行得到一个结果用于初始化数组。

template<class T>      // 用于单独打印每一个参数
void printArg(T t)
{
	cout << typeid(T).name() << ":" << t << endl;
}

template<class ...Args>
void showList(Args... args)
{
	int arr[] = { (printArg(args), 0)... };    // 本质还是在初始化数组
                                               // 只是借用了列表初始化数组的特性
}

测试结果如下：