可变参数模板通过typename...定义参数包,利用...展开并结合递归或初始化列表处理,可实现通用函数如打印、元组构造等。

在C++11中,可变参数模板(variadic templates)允许模板接受任意数量和类型的参数。这种机制特别适合实现泛型编程,比如编写通用的工厂函数、日志记录器或递归数据结构。要掌握如何在模板中使用可变参数模板,关键在于理解参数包(parameter pack)的展开方式。
可变参数模板的基本语法
定义一个可变参数模板时,使用typename...或class...来声明模板参数包,用...来表示函数参数包:
templatevoid func(Args... args) { // args 是一个参数包 }
这里的Args是类型参数包,args是函数参数包,可以包含零个或多个参数。
参数包的展开
直接使用参数包会报错,必须对其进行“展开”。最常见的展开方式是在函数调用、初始化列表或递归中使用...操作符:
立即学习“C++免费学习笔记(深入)”;
- 在函数调用中展开所有参数:print(args...);
- 在初始化列表中构造数组或元组:int arr[] = {args...};
- 递归处理每个参数,直到参数包为空
例如,实现一个简单的打印函数:
传媒企业网站系统使用热腾CMS(RTCMS),根据网站板块定制的栏目,如果修改栏目,需要修改模板相应的标签。站点内容均可在后台网站基本设置中添加。全站可生成HTML,安装默认动态浏览。并可以独立设置SEO标题、关键字、描述信息。源码包中带有少量测试数据,安装时可选择演示安装或全新安装。如果全新安装,后台内容充实后,首页才能完全显示出来。(全新安装后可以删除演示数据用到的图片,目录在https://
templatevoid print(T t) { std::cout << t << std::endl; } template void print(T t, Args... args) { std::cout << t << ", "; print(args...); // 递归展开 }
调用print(1, "hello", 3.14)会依次输出各个值。
结合std::tuple和完美转发
可变参数模板常与std::tuple和std::forward一起使用,实现高效的数据存储和传递:
templateauto make_tuple(Args&&... args) -> std::tuple { return std::tuple {std::forward (args)...}; }
这里Args&&...是万能引用参数包,std::forward
基本上就这些。只要理解参数包的定义、展开和递归处理方式,就能灵活运用可变参数模板实现各种通用接口。不复杂但容易忽略细节,比如逗号的位置和递归终止条件。









