C++模板之可变模板参数

可变模板参数---- C++11新特性

• 可变模板参数(variadic templates)是C++11新增的最强大的特性之一,它对参数进行了高度泛化,它能表示0到任意个数、任意类型的参数
• 由于可变模版参数比较抽象，使用起来需要一定的技巧，所以它也是C++11中最难理解和掌握的特性之一

参数包(parameter pack)

模板参数包，如:

　　template<typename… Args>class tuple;

• Args标识符的左侧使用了省略号,在C++11中Args被称为“模板参数包”,表示可以接受任意多个参数作为模板参数,编译器将多个模板参数打包成“单个”的模板参数包.

函数参数包，如

　　template<typename…T> void f(T…args);

• args被称为函数参数包,表示函数可以接受多个任意类型的参数.

在C++11标准中，要求函数参数包必须唯一，且是函数的最后一个参数; 模板参数包则没有

当声明一个变量(或标识符)为可变参数时，省略号位于该变量的左侧

当使用参数包时，省略号位于参数名称的右侧，表示立即展开该参数，这个过程也被称为解包

包扩展表达式

设args被声明为一个函数参数包，其扩展方式有

printArgs(args…)

• 相当于printArgs(args1,args2,…,argsN)

printArgs(args)…

• 相当于printArgs(args1),…, printArgs(argsN)

(printArgs(args),0)…   逗号表达式

• 这是一个逗号表达式。相当于(printArgs(args1),0),…(printArgs(argsN),0)

包扩展表达式“exp…”相当于将省略号左侧的参数包exp视为一个整体来进行扩展