利用 C++ 函数模板如何实现可变参数函数？

在 C++ 中，函数模板是编写可处理不同类型和数量参数的函数的强大工具。我们可以使用函数模板来实现可变参数函数，从而允许我们创建可接收任意数量参数的函数。

实现原理

可变参数函数的实现基于一个 C++ 特性，称为可变参数模板。可变参数模板允许我们在函数模板中使用 … 运算符，表示任意数量的参数。

以下是如何使用函数模板来实现可变参数函数的步骤。

1）创建函数模板声明：

template <typename... Args>
void my_function(Args... args);

在这个声明中，… 运算符表示将传递给函数的任意数量的参数。

2）在函数模板中定义参数包：

template <typename... Args>
void my_function(Args... args) {
 // ... 代码处理参数 ...
}

… 在函数体中也会出现，它指示第一个点号 (.) 后面的代码将对参数包进行遍历。

实战案例

下面是一个将任意数量的整数之和打印到控制台的可变参数函数示例：

#include <iostream>
#include <string>

// 函数模板声明
template <typename... Args>
void print_sum(Args... args) {
    int sum = 0;

    // 遍历参数包并累加值
    for (auto& arg : args) {
        sum += static_cast<int>(arg);
    }

    // 打印总和
    std::cout << "总和：" << sum << std::endl;
}

int main() {
    // 通过传递参数列表调用可变参数函数
    print_sum(1, 2, 3, 4, 5);
}

在这个例子中，print_sum 函数使用函数模板声明，并且参数包 Args… args 表示其可接收任意数量的参数。然后，函数遍历参数包并将其值相加，最后打印总和。

注意：

• 当参数被传递给可变参数函数时，它们将被转换成与参数包中类型相同的类型。
• 可变参数函数只能有一个可变参数包。
• 可变参数包必须是函数参数列表中的最后一个参数。