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()传入这几个参数

  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中的推断。