17370845950

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

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

什么是可变参数模板？

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

参数包分为两类：

• 模板参数包：用class...或typename...声明
• 函数参数包：用

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

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

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

  参数包的展开方法

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

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

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

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

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

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

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

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

  类模板中的可变参数使用

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

  template
  class MyTuple {};
  
  // 实例化
  MyTuple t; // 包含三种类型
  

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

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

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

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

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