可变参数模板
✍ dations ◷ 2024-10-19 04:31:50 #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
参见
更多文章关于可变参数结构而非模板:
相关
- Psychoactive蟾蜍Incilius alvarius(Frost, 2008)科罗拉多河蟾蜍(学名:Bufo alvarius)是一种有毒的蟾蜍,原产于美国西南部及墨西哥北部。它的皮肤和毒液中含有5-甲氧基二甲基色胺和蟾毒色胺。蟾
- span class=chemf style=white-space:nowrap;Csub26/sub二十六烷(英语:hexacosane)是含有26个碳原子的直链烷烃,化学式为C26H54或CH3(CH2)24CH3,外观为无色蜡状固体,又称蜡烷。二十六烷存在于成熟的烟草中,将烟草焚烧后可析出低浓度的二
- span class=nowrapCmClsub3/sub/span氯化锔是一种无机化合物,化学式CmCl3,有很强的放射性。氯化锔可由氧化锔和四氯化碳或氯化氢气体加热至400~500℃反应得到。氯化锔易溶于水,其水溶液是无色的。氯化锔在加热下,可
- 贾科尼里卡尔多·贾科尼(意大利语:Riccardo Giacconi,1931年10月6日-2018年12月9日),意大利裔美国天文学家,约翰霍普金斯大学教授,因在X射线天文学方面的先驱性贡献而获得2002年的诺贝尔物
- 契丹语契丹语 (大字: ; 小字: ) 是契丹人的语言,现已绝迹,一般认为属于蒙古语族。在辽朝和西辽(907至1218年)有官方语言地位。它有大字、小字两种文字系统,现代语言学家目前尚未完全破
- 金头鲷金头鲷(学名:Sparus aurata)亦称大西洋鲷,为辐鳍鱼纲鲷形目鲷科,是鲷属的唯一物种,分布于东大西洋区,从不列颠群岛至佛得角群岛海域。栖息在海草床、沙底质海域,栖息深度1-150米。成
- 磷酸锕磷酸锕是一种无机化合物,化学式为AcPO4,有放射性。磷酸锕可由可溶性锕盐和磷酸盐作用,沉淀制得:
- 朗道理论物理研究所坐标:55°42′32″N 37°34′34″E / 55.7090°N 37.5762°E / 55.7090; 37.5762朗道理论物理研究所(俄语:Институт теоретической физики им.
- 本质安全设计本质安全设计是指机械设计时透过人因工程学的考量,在设计阶段采取措施来消除设备潜在危险的设计方式。也就是利用设计等方式使机械设备本身具有安全性,即使在误操作或设备发生
- 一万田尚登一万田尚登(日语:一万田 尚登/いちまだ ひさと ?,1893年8月12日-1984年1月22日),日本大分县人,银行家,曾任日本银行总裁、自由民主党顾问。1918年,毕业于东京帝国大学法学部毕业后,