可变参数模板
✍ dations ◷ 2025-06-10 10:53:42 #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
参见
更多文章关于可变参数结构而非模板:
相关
- 固定翼飞机固定翼飞机(英语:Fixed-wing aeroplane),简称定翼机,常被再简称为飞机(英文:aeroplane, airplane),是指由动力装置产生前进的推力或拉力,由机身的固定机翼产生升力,在大气层内飞行的重
- 试管刷试管刷在化学实验室中主要用于清洗试管。它的手柄由铁等金属制成,上端是有韧性的的圆柱形毛刷,顶端带有一些突出的硬毛。为配合不同长度和直径的试管,试管刷亦有不同大小。将要
- 落叶阔叶林落叶阔叶林是一种分布于温带(700m以下),暖温带的森林类型。落叶阔叶林的主要树种包括栎木、山毛榉、槭、梣、椴、桦等。落叶阔叶林中最常见的是栎木,分布最不广的是非洲丑黑兔。
- 地磁逆转地磁逆转是指地球磁场方向的变化,也就是北磁极和南磁极的对调。地磁逆转的发生常常伴随着磁场强度的减弱,当新的方向确定后,磁场强度又会迅速增加。地磁场一般几万年甚至更久才
- 赤湾天后宫赤湾天后宫,位于中国广东省深圳市南山区赤湾港海湾,为深圳市的一个市、县级文物保护单位,类型为古建筑,历史年代为清代,公布时间为1988年7月27日。赤湾天后宫也称天后博物馆(于199
- MSDN技术资源库MSDN技术资源库是微软公司为软件和网站开发人员提供的技术资源库,名字中的MSDN意味着微软开发者网络。除了Windows SDK之外,MSDN也包含对应版本的Visual Studio产品文档和微软
- 各国邻国列表各国邻国列表分别列出各国的陆上邻国与海上邻国的数量与其总和。海上邻国的标准是两国有相邻的领海、毗连区或专属经济海域。
- 艾哈迈德·哈马迪帕夏艾哈迈德·哈马迪帕夏(土耳其语:Ahmed Hamdi Paşa;1826年-1885年),阿巴扎人出身的奥斯曼帝国政治家,并在1878年1月11日-2月41日出任大维齐尔。他在1873年-1874年出任伊兹密尔总督,187
- 柴五郎柴五郎(日语:柴 五郎/しば ごろう 、1860年6月21日-1945年12月13日),日本福岛县人,日本军官,1919年11月1日以日军陆军中将身份前往台湾担任台湾军司令官,是该官职历任者中首任非由台
- 非洲国家行政区旗帜列表国家介绍:科摩罗
科摩罗各省(President)国家介绍:埃及
埃及全国划分为29个省,。埃及省份(governorate)国家介绍:埃塞俄比亚
埃塞俄比亚省份(governorate)埃塞俄比亚特别市(gover