[C++11：可变参数的模板](https://blog.csdn.net/tennysonsky/article/details/77389891) [泛化之美--C++11可变模版参数的妙用](https://www.cnblogs.com/qicosmos/p/4325949.html) ## [An introduction to C++'s variadic templates: a thread-safe multi-type map](https://jguegant.github.io/blogs/tech/thread-safe-multi-type-map.html#thread-safe-multi-type-map) . ***** ## 可变参数模板函数的定义 ``` #include <iostream> using namespace std; template<class ... T> void func(T ... args) {//可变参数模板函数 //sizeof...（sizeof后面有3个小点）计算变参个数 cout << "num = " << sizeof...(args) << endl; } int main() { func(); // num = 0 func(1); // num = 1 func(2, 1.0); // num = 2 return 0; } ``` ## 参数包的展开 ### 递归方式展开 通过递归函数展开参数包，需要提供一个参数包展开的函数和一个递归终止函数。 ``` #include <iostream> using namespace std; //递归终止函数 void debug() { cout << "empty\n"; } //展开函数 template <class T, class ... Args> void debug(T first, Args ... last) { cout << "parameter " << first << endl; debug(last...); } int main() { debug(1, 2, 3, 4); return 0; } ``` ### 非递归方式展开 ``` #include <iostream> using namespace std; template <class T> void print(T arg) { cout << arg << endl; } template <class ... Args> void expand(Args ... args) { int a[] = { (print(args), 0)... }; } int main() { expand(1, 2, 3, 4); return 0; } ``` expand函数的逗号表达式：(print(args), 0)， 也是按照这个执行顺序，先执行print(args)，再得到逗号表达式的结果0。 同时，通过初始化列表来初始化一个变长数组，{ (print(args), 0)… }将会展开成( (print(args1), 0), (print(args2), 0), (print(args3), 0), etc…), 最终会创建一个元素只都为0的数组int a\[sizeof…(args)\] # 可变参数模板类 ## 继承方式展开参数包 可变参数模板类的展开一般需要定义2 ~ 3个类，包含类声明和特化的模板类： ``` #include <iostream> #include <typeinfo> using namespace std; template<typename... A> class BMW{}; // 变长模板的声明 template<typename Head, typename... Tail> // 递归的偏特化定义 class BMW<Head, Tail...> : public BMW<Tail...> {//当实例化对象时，则会引起基类的递归构造 public: BMW() { printf("type: %s\n", typeid(Head).name()); } Head head; }; template<> class BMW<>{}; // 边界条件 int main() { BMW<int, char, float> car; return 0; } ``` ## 模板递归和特化方式展开参数包 ``` #include <iostream> using namespace std; template <long... nums> struct Multiply;// 变长模板的声明 template <long first, long... last> struct Multiply<first, last...> // 变长模板类 { static const long val = first * Multiply<last...>::val; }; template<> struct Multiply<> // 边界条件 { static const long val = 1; }; int main() { cout << Multiply<2, 3, 4, 5>::val << endl; // 120 return 0; } ``` 参考资料：[深入应用C++11 代码优化与工程级应用](http://pan.baidu.com/s/1kVsrgTx)