可变参数模板是C++11引入的能接受任意数量和类型模板参数的机制，通过参数包实现泛型编程，分为模板参数包和函数参数包两类。
在C++11中引入的可变参数模板（也称“变参模板”或“异变模板”，Variadic Templates）是一种能够接受任意数量、任意类型模板参数的机制。它极大增强了模板的灵活性，是实现泛型编程的重要工具。
什么是可变参数模板？
可变参数模板允许你定义一个可以接收零个或多个模板参数的类或函数模板。这些参数被称为“参数包”（parameter pack），可以通过特定语法进行展开使用。
参数包分为两类：
模板参数包：用class…或typename…声明 函数参数包：用T… args形式出现在函数参数列表中
基本定义示例
下面是一个简单的可变参数函数模板定义：
立即学习“C++免费学习笔记（深入）”；
templatevoid print(Args... args) { // 这里args是一个参数包}
调用时可以传入任意数量和类型的参数：
print(); // OK: 零个参数print(1); // OK: 一个intprint(3.14, "hello", 42); // OK: double, const char*, int
参数包的展开方法
直接使用args是不行的，必须对其进行“展开”。常见展开方式包括：
1. 通过逗号表达式展开并传递给其他函数
templatevoid log(const T& value) { std::cout << value << " ";}templatevoid print(Args... args) { (log(args), ...); // C++17折叠表达式：依次调用log std::cout << "n";}
如果使用C++11/14，可以用递归方式展开：
// 基础版本：无参数void print() { std::cout << "n";}// 变参版本templatevoid print(T first, Args... rest) { std::cout << first << " "; print(rest...); // 递归处理剩余参数}
2. 在初始化列表中展开用于构造数组
可用于触发副作用，比如日志输出：
templatevoid print(Args... args) { std::initializer_list{ (std::cout << args << " ", 0)... }; std::cout << "n";}
类模板中的可变参数使用
可变参数也可用于类模板，例如实现一个通用元组（类似std::tuple）：
templateclass MyTuple {};// 实例化MyTuple t; // 包含三种类型
实际的std::tuple就是基于可变参数模板实现的。
还可以结合递归继承或聚合来存储数据：
templateclass MyTuple { T value;public: MyTuple(T v) : value(v) {}};templateclass MyTuple : public MyTuple { Head head;public: MyTuple(Head h, Tail... t) : MyTuple(t...), head(h) {}};
这只是一个简化示例，真实实现更复杂。
基本上就这些。掌握参数包的定义与展开方式，就能写出高度通用的模板代码。
以上就是c++++中的异变（variadic）模板是什么_可变参数模板定义与展开示例的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1481884.html
微信扫一扫 
支付宝扫一扫 
