一.对代码格式的理解本文不详细讲解如何在模板中使用可变参数,只浅谈对其中扩展包的理解。
看本文前建议先学习如何使用可变参数,推荐链接:
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中的推断。
以上便是笔者个人对参数包的理解,且仅代表个人理解,如有不足或错误,烦请读者指出。