C++11模板可变参数扩展包

本文不详细讲解如何在模板中使用可变参数，只浅谈对其中扩展包的理解。
看本文前建议先学习如何使用可变参数，推荐链接：
C++11在函数模板和类模板中使用可变参数

一.对代码格式的理解

为方便起见，直接把理解写在注释：

template<typename T,typename ...args>// ... 旨在说明args是个参数包类型（模板参数包）。  
void vir_fun(T args, args... argv)//... 也旨在说明argv是参数包。
{                                 //也就是说，上面两个 ... 相当于类型说明符，告诉编译器这是参数包。
    cout<<argc<<endl;
    vir_fun(argv...);//而此处的...与上面的...作用不一样了！此处的...是在扩展参数包（即把包拆开），再依次传参
}

如何理解args与argv？
args的作用和T一样，是一种类型，由此可推出 args是指(模板)参数包类型 。那么就可以顺利推出：第9行的 1argv就是(函数)参数包类型 。
有人可能会问，第二行的函数原型要求至少需要向函数传两个参数，而第12行却只传入了一个参数,似乎有问题？
==这就是理解参数包的关键之处==，见下。

二.对参数包的理解

参数包实际上是元素+参数包递归组成的，类似于俄罗斯套娃。比如我们向vir_fun()传入这几个参数
1
2
3
4
5
int main()
{
vir_fun(12, "aha", 12.34, 10);
return 0;
}
由上面的函数模板定义，12 应该是argc，后面的三个参数整体则是参数包argv 。
而参数包argv是由如下方式组成的：
由上图知,第一次递归调用vir_fun()函数时,传入的argv…(见第12行)应该为"haa"+(12.34+10)
注意！(12.34+10)仍为参数包！如此，每次递归调用都拆成一个元素+一个参数包
读者可能会因为忘记加 … 而出现这样的报错：

(第13行argv后未加…)

那么什么叫做扩展参数包？由我们之前的分析，很容易知道扩展参数包就是把参数包拆解为 元素+参数包 的形式，拿图1解释，扩展argv参数包就是将其拆为"haa"+argv1参数包的形式！
可以用sizeof求参数包个数来验证以上解释：

结果为：

恰好符合我们图1中的推断。