c++中的异变（variadic）模板是什么_可变参数模板定义与展开示例

可变参数模板是C++11引入的能接受任意数量和类型模板参数的机制，通过参数包实现泛型编程，分为模板参数包和函数参数包两类。

在C++11中引入的可变参数模板（也称“变参模板”或“异变模板”，Variadic Templates）是一种能够接受任意数量、任意类型模板参数的机制。它极大增强了模板的灵活性，是实现泛型编程的重要工具。

什么是可变参数模板？

可变参数模板允许你定义一个可以接收零个或多个模板参数的类或函数模板。这些参数被称为“参数包”（parameter pack），可以通过特定语法进行展开使用。

参数包分为两类：

• 模板参数包：用class...或typename...声明
• 函数参数包：用C++免费学习笔记（深入）”；

  template<typename... Args>
  void print(Args... args) {
      // 这里args是一个参数包
  }
  

  登录后复制

  调用时可以传入任意数量和类型的参数：

  print();                // OK: 零个参数
  print(1);               // OK: 一个int
  print(3.14, "hello", 42); // OK: double, const char*, int
  

  登录后复制

  参数包的展开方法

  直接使用args是不行的，必须对其进行“展开”。常见展开方式包括：

  1. 通过逗号表达式展开并传递给其他函数

  template<typename T>
  void log(const T& value) {
      std::cout << value << " ";
  }
  
  template<typename... Args>
  void print(Args... args) {
      (log(args), ...); // C++17折叠表达式：依次调用log
      std::cout << "\n";
  }
  

  登录后复制

  如果使用C++11/14，可以用递归方式展开：

  

  AiPPT模板广场

  AiPPT模板广场-PPT模板-word文档模板-excel表格模板

  147

  查看详情

  // 基础版本：无参数
  void print() {
      std::cout << "\n";
  }
  
  // 变参版本
  template<typename T, typename... Args>
  void print(T first, Args... rest) {
      std::cout << first << " ";
      print(rest...); // 递归处理剩余参数
  }
  

  登录后复制

  2. 在初始化列表中展开用于构造数组

  可用于触发副作用，比如日志输出：

  template<typename... Args>
  void print(Args... args) {
      std::initializer_list<int>{ (std::cout << args << " ", 0)... };
      std::cout << "\n";
  }
  

  登录后复制

  类模板中的可变参数使用

  可变参数也可用于类模板，例如实现一个通用元组（类似std::tuple）：

  template<typename... Elements>
  class MyTuple {};
  
  // 实例化
  MyTuple<int, double, std::string> t; // 包含三种类型
  

  登录后复制

  实际的std::tuple就是基于可变参数模板实现的。

  还可以结合递归继承或聚合来存储数据：

  template<typename T>
  class MyTuple<T> {
      T value;
  public:
      MyTuple(T v) : value(v) {}
  };
  
  template<typename Head, typename... Tail>
  class MyTuple<Head, Tail...> : public MyTuple<Tail...> {
      Head head;
  public:
      MyTuple(Head h, Tail... t)
          : MyTuple<Tail...>(t...), head(h) {}
  };
  

  登录后复制

  这只是一个简化示例，真实实现更复杂。

  基本上就这些。掌握参数包的定义与展开方式，就能写出高度通用的模板代码。

以上就是c++++中的异变（variadic）模板是什么_可变参数模板定义与展开示例的详细内容，更多请关注php中文网其它相关文章！