c++学习笔记(10)-可变参数模板

1、概念

可变参数模板（Variable Template Parameters）是 C++11 中引入的一种语法，它允许函数或类模板接受可变数量的参数。这样可以方便地定义操作适用于多个类型和/或值的函数或类模板。
使用可变参数模板时，可以在模板参数列表中以省略号 … 的形式表示可变参数部分，例如：

template <typename... Args>
void myFunction(Args... args) {
  // 函数体
}

在该示例中，Args 是一个模板参数包，它可以包含任意数量的类型参数。而 args 则是一个函数参数包，它可以包含任意数量的函数参数，其类型与 Args 中对应位置的类型相同。

2、参数包

参数包指的是可变参数模板中的所有参数组成的参数集合。

2.1、递归展开

在C++11中，可以使用递归的方式展开可变参数模板参数包。下面是一个简单的例子：

// 基本情况：参数包为空
void printParam() {
    std::cout << "结束递归" << std::endl;
}

// 递归情况：展开第一个参数和剩余参数包
template<typename T, typename... Args>
void printParam(T first, Args... args) {
    std::cout << "当前参数为: " << first << std::endl;
    printParam(args...);   // 递归调用
}

2.2、折叠表达式展开

C++17 引入了折叠表达式语法，用于对模板参数包进行展开和计算。下面是 C++ 中折叠表达式的语法规则及说明：

例如，可以使用以下代码实现打印所有参数的功能：

template<typename... Args>
void printParam(Args... args) {
    ((std::cout << "当前参数为: " << args << std::endl), ...);
}

2.3、参数包的操作

sizeof…(Args)：返回参数包 Args 中参数的数量。例如：

template <typename... Args>
void myFunction(Args... args) {
  std::cout << "参数数量: " << sizeof...(args) << std::endl;
}

myFunction(1, 2, 3); // 输出：参数数量: 3

3、可变参数模板特化

我们可以考虑对一个可变参数函数模板进行特化以实现对特定类型的处理。例如，我们有以下模板函数：

void printParam() {}  // 基本情况，参数列表为空
template<typename T1, typename... Ts>
void printParam(T1 arg1, Ts... args)
{
    std::cout << arg1 << " ";
    printParam(args...);
}

该函数接受任意数量的参数，并将它们打印到标准输出。现在，我们想特化它，使其对第一个参数为字符串类型的参数执行特定的处理。我们可以这样做：

template<typename... Ts>
void printParam(const char* arg1, Ts... args)  // 偏特化
{
    std::cout << "第一个参数为字符串：" << arg1 << " ";
    printParam(args...);
}

这个特化声明针对 const char* 类型的参数，并在标准输出中输出一个特殊的消息，而不是简单地打印该值。

4、总结

可变参数模板是 C++ 中非常有用的语言特性，它支持在编译时处理任意数量和类型的参数，从而实现更加通用和灵活的编程方式，增加了模板的灵活性和扩展性，但是可读性差、编译时间长，需要开发者根据具体情况进行权衡和选择。