可变参数模板
✍ dations ◷ 2025-06-30 16:39:43 #C++,计算机编程
可变参数模板是模板编程时,模板参数(template parameter)的个数可变的情形。
已经支持可变参数模板的编程语言有D语言与C++(自C++11标准)。
C++11之前,模板(类模板与函数模板)在声明时必须有 固定数量的模板参数。C++11允许模板定义有任意类型任意数量的模板参数。
例如,STL的类模板tuple可以有任意个数的类型名(typename)作为它的模板形参(template parameter):
template<typename... Values> class tuple;
如实例化为具有3个类型实参(type argument):
tuple<int, std::vector<int>, std::map<<std::string>, std::vector<int>>> some_instance_name;
也可以有0个实参,如 tuple<> some_instance_name;
也是可以的。
如果不希望可变参数模板有0个模板实参,可以如下声明:
template<typename First, typename... Rest> class tuple;
可变参数模板也适用于函数模板,这不仅给可变参数函数(variadic functions,如printf)提供了类型安全的附加机制(add-on),还允许类似printf的函数处理不平凡对象。例如:
template<typename... Params> void printf(const std::string &str_format, Params... parameters);
用途
省略号(...)在可变参数模板中有两种用途:
具体例子见下文。实际上,能够接受可变参数个数的参数包展开的场合,必须是能接受任意个数的逗号分隔开的表达式列表,这也就是上述几种场合。
可变参数模板可递归使用。可变模板参数自身并不可直接用于函数或类的实现。例如,printf的C++11可变参数的替换版本实现:
void printf(const char *s) //已经没有额外的参数了,这里将要耗尽字符串s{ while (*s) { if (*s == '%') { if (*(s + 1) == '%') { ++s; } else { throw std::runtime_error("invalid format string: missing arguments"); } } std::cout << *s++; }}template<typename T, typename... Args>void printf(const char *s, T value, Args... args) //处理一对: (格式指示符,值参数){ while (*s) { if (*s == '%') { if (*(s + 1) == '%') { ++s; } else { std::cout << value; printf(s + 1, args...); // call even when *s == 0 to detect extra arguments return; } } std::cout << *s++; } throw std::logic_error("extra arguments provided to printf");}
这是一个递归实现的模板函数。注意这个可变参数模板实现的printf调用自身或者在args...为空时调用基本实现版本。
没有简单机制去在可变模板参数的每个单独值上迭代。几乎没有什么方式可以把参数包转为单独实参来使用。通常这靠函数重载,或者当函数可以每次捡出一个实参时用哑扩展标记(dumb expansion marker):
#include <iostream> template<typename type>type print(type param){ std::cout<<param<<' '; return param;}template<typename... Args> inline void pass(Args&&...) {}template<typename... Args> inline void expand(Args&&... args) { pass( print(args)... );}int main(){ expand(42, "answer", true);}
上例中的"pass"函数是必须的,因为参数包用逗号展开后只能作为被逗号分隔开的一组函数调用实参,而不是作为逗号运算符,从而"pass"函数所能接受的调用实参个数必须是可变的,也即"pass"函数必须是可变参数函数。print(args)...;
编译不能通过。 此外,上述办法要求print
的返回类型不能是void;且所有对print的调用在一个非确定的顺序,因为函数实参求值的顺序是不确定的。如果要避免这种不确定的顺序,可以用大括号封闭的初始化器列表(initializer list),这保证了严格的从左到右的求值顺序。为避免void返回类型带来的麻烦,使用逗号运算符使得每个扩展元素总是返回1。例如:
#include <iostream>template<typename T> void some_function(T value){ std::cout<<value<<' ';}template<typename... Args> inline void expand(Args&&... args) { int arr{(some_function(args),1 )...}; std::cout<<std::endl<<sizeof(arr)/sizeof(int); //也可以用sizeof...(Args)运算符}int main(){ expand(42, "answer", true);}
另一种方法使用重载函数的递归的终结版("termination versions")函数。这更为通用,但要求更多努力写更多代码。一个函数要求某种类型的实参与参数包。另一个函数没有参数。如下例:
int func() {} // termination versiontemplate<typename Arg1, typename... Args>int func(const Arg1& arg1, const Args&... args){ process( arg1 ); func(args...); // note: arg1 does not appear here!}
如果args...包含至少一个实参,则将调用第二个版本的函数;如果参数包为空将调用第一个“终结”版的函数。
可变参数模板可用于异常规范(exception specification)、基类列表(base class list)、构造函数初始化列表(constructor's initialization list)。例如:
template <typename... BaseClasses> class ClassName : public BaseClasses... {public: ClassName (BaseClasses&&... base_classes) : BaseClasses(base_classes)... {}};
这个例子中的解包算子将复制所有模板参数类型为ClassName
的基类型。构造函数取每个基类的引用,并初始化每个基类。
对于函数模板,可变模板参数可以转发(forward)。当与右值引用结合使用,这允许完美转发(perfect forwarding):
template<typename TypeToConstruct> struct SharedPtrAllocator { template<typename ...Args> std::shared_ptr<TypeToConstruct> construct_with_shared_ptr(Args&&... params) { return std::shared_ptr<TypeToConstruct>(new TypeToConstruct(std::forward<Args>(params)...)); }};
上例中,实参列表被解包给TypeToConstruct的构造函数。std::forward<Args>(params)
的句法是以适当的类型转发实参。解包算子将把转发语法应用于每个参数。
模板参数包中实参的个数可以如下确定:
template<typename ...Args> struct SomeStruct { static const int size = sizeof...(Args);};
例如SomeStruct<Type1, Type2>::size
为2,SomeStruct<>::size
为0。需要注意,sizeof...
与sizeof
是两个不同的运算符。
Lambda捕获例子:
template<class ...Args>void f(Args... args) { auto lm = { return g(args...); }; lm();}
编译器实现
GCC尚不支持lambda表达式包含为展开的参数包,因此下述语句编译不通过:
int arr{({ std::cout << args << std::endl; }(), 1)...};
Visual C++ 2013支持上述风格的语句。当然,这里的lambda函数不是必需的,通常的表达式即可:
int arr{(std::cout << args << std::endl, 1)...};
例子
下述代码实现了C++14引入的make_integer_sequence函数模板。它产生一个模板类,其模板参数为0,1,2,...,N。可用于生成或访问std::tuple
#include <iostream> // using aliases for cleaner syntax template<unsigned...> struct seq { using type = seq; };template<class S1, class S2> struct concat;template<unsigned... I1, unsigned... I2>struct concat<seq<I1...>, seq<I2...>> : seq<I1..., (sizeof...(I1) + I2)...> {};template<unsigned N>struct make_integer_sequence : concat<typename make_integer_sequence<N / 2>::type, typename make_integer_sequence<N - N / 2>::type>::type {};template<> struct make_integer_sequence<1> : seq<0> {};int printItem(unsigned k){ std::cout << k << ' '; return 0;}template<unsigned... I1>void printTemplate(seq<I1...> a){ int nn = { printItem(I1)... };}int main(){ make_integer_sequence<10> a; printTemplate(a);}
输出为
0 1 2 3 4 5 6 7 8 9
参见
更多文章关于可变参数结构而非模板:
相关
- 口交口内性交(英文:oral sex,有时被称为 oral intercourse),简称口交,是性行为的其中一种,从事者的口腔(包括嘴唇、舌、牙齿和喉咙)会与其伴侣的生殖器接触,并以此对其进行刺激。用口来对
- 交换配偶交换配偶,简称换偶,是指两对以上的伴侣(婚姻关系或民事结合或同居关系)互相交换配偶进行性交,古称易内、通室。《左传·襄公二十八年》记载庆封与卢蒲嫳易内之事,清朝杜乡渔隐《野
- 新潟大学新潟大学(日语:新潟大学/にいがただいがく Niigata daigaku;英语译名:Niigata University),是一所位于新潟县新潟市的日本国立大学。1949年由新潟医科大学等7校改制。2004年成为国
- 约讷省约讷省(法文:Yonne)是法国勃艮第-弗朗什-孔泰大区所辖的省份。该省编号为89。5个海外省及大区
- 细胞色素b细胞色素(英文:cytochrome)一般是指一类膜结合的血红素蛋白,以血基质为辅基,参与电子传递。它可以以单体的形式(如细胞色素c)或作为复合物酶中的一个亚基来发挥氧化还原作用。细胞
- 自然氧化自然氧化(Autoxidation)也称为自氧化或自动氧化,是指有机化合物在有氧气存在(可能也有紫外线)的情形下氧化,形成过氧化物或氢过氧化物的过程。像结构简单的醚(乙醚)会出现自然氧化的
- 透光带透光带(英语:Photic zone、Euphotic Zone、Sunlight zone),又名真光层、表层洋带或者透光层,是指湖泊或海洋中,
光度足以供浮游植物行光合作用的深度范围,大约从海表面至水深100〜2
- 雅诗·兰黛 (人物)雅诗·兰黛(英语:Estée Lauder,1908年7月1日-2004年4月24日)是一个美国企业家,和丈夫约瑟夫·兰黛创办了著名的化妆品品牌雅诗兰黛。1908年出生在美国纽约市皇后区,本名为约瑟芬·
- 埃里克·贝克林埃里克·E·贝克林(英语:Eric E. Becklin,1940年4月6日-),美国天体物理学家。贝克林的研究重点是红外成像和光谱学,包括褐矮星搜索,星周尘环探测,银河系中心的动力学和组成以及亮红外
- 扎波尧伊·亚诺什·齐格蒙特扎波尧伊·亚诺什·齐格蒙特(John Sigismund Zápolya 1540年7月18日-1571年3月14日)1540年至1551年和1556年至1570年为匈牙利国王,1570年至1571年为特兰西瓦尼亚公国公爵。父