Tekkaman

导航

 

C++11变长参数模板

  C++03只有固定模板参数。C++11 加入新的表示法,允许任意个数、任意类别的模板参数,不必在定义时将参数的个数固定。

  

  实参的个数也可以是 0,所以 tuple<> someInstanceName 这样的定义也是可以的。

  若不希望产生实参个数为 0 的变长参数模板,则可以采用以下的定义:

  

变长函数参数包

  除了在模板参数中能使用...表示不定长模板参数外,函数参数也使用同样的表示法代表不定长参数。

   

  其中,Params 与 parameters 分别代表模板与函数的变长参数集合, 称之为参数包 (parameter pack)。参数包必须要和运算符"..."搭配使用。

变长参数的使用

   长参数模板中,变长参数包无法如同一般参数在类或函数中使用; 因此典型的手法是以递归的方法取出可用参数:

  

  printf 会不断地递归调用自身:函数参数包 args... 在调用时, 会被模板类别匹配分离为 T value和 Args... args。 直到 args... 变为空参数,则会与简单的 printf(const char *s) 形成匹配,退出递归。

  另一个例子为计算模板参数的个数,这里使用相似的技巧展开模板参数包 Args...

  

其它变长参数的展开形式

  使用运算符"..."还能在代码各处对参数包施以更复杂的展开操作。举例来说,一个模板类的定义:

  

变长模板参数个数

  变长参数的数量可以藉以下的语法得知:

  

  SomeStruct<Type1, Type2>::size 是 2,而 SomeStruct<>::size 会是 0。 (sizeof...(Args) 的结果是编译期常数。)

 参考:http://zh.wikipedia.org/wiki/C++0x#-.7BA.7Czh-hans:.E5.8F.98.E9.95.BF.E5.8F.82.E6.95.B0.E6.A8.A1.E6.9D.BF.3B_zh-hant:.E4.B8.8D.E5.AE.9A.E9.95.B7.E5.8F.83.E6.95.B8.E6.A8.A1.E6.9D.BF.7D-

posted on 2014-01-01 23:19  Tekkaman  阅读(30324)  评论(0编辑  收藏  举报