对C++11模板可变参数中扩展包的理解

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

一.对代码格式的理解

•  为方便起见，笔者直接把理解写进注释。
•  如何证明第8行和第9行的 ... 作用于其后而非其前？不难，用括号验证即可：第二张图报错
• 如何理解args与argv？
  args的作用和T一样，是一种类型，由此可推出args应该是指(模板)参数包类型。那么就可以顺利推出：第9行的argv就是(函数)类型包。(类比T即可)
• 有读者可能会问，第九行的函数原型要求至少需要向函数传两个参数，而第12行却只传入了一个参数,似乎有问题？
  这就是理解参数包的关键之处，见下。

二.对参数包的理解

• 参数包实际上是元素+参数包递归组成的，类似于俄罗斯套娃。比如我们向vir_fun()传入这几个参数
  
  由上面的函数模板定义，12 应该是argc，后面的三个参数整体则是参数包argv 。
  而参数包argv是由如下方式组成的：
  图1
• 由上图知,第一次递归调用vir_fun()函数时,传入的argv...(见第12行)应该为"haa"+(12.34+10)
  注意！(12.34+10)仍为参数包！如此，每次递归调用都拆成一个元素+一个参数包
• 读者可能会因为忘记加 ... 而出现这样的报错：
  (第13行argv后未加...)
  那么什么叫做“扩展参数包”？由我们之前的分析，很容易知道扩展参数包就是把参数包拆解为元素+参数包的形式，拿图1解释，扩展argv参数包就是将其拆为"haa"+argv1参数包的形式！ 
• 读者也可以用sizeof求参数包个数来验证以上解释：
  结果为：
  恰好符合我们图1中的推断。

---

以上便是笔者个人对参数包的理解，且仅代表个人理解，如有不足或错误，烦请读者指出。