C++ 中什么是可变参数模板 (variadic template)？-JavaScript中文网-JavaScript教程资源分享门户

本题详细解读

1. 基本语法

可变参数模板的基本语法如下：

template<typename... Args>
void func(Args... args) {
    // 处理 args...
}

typename... Args 表示 Args 是一个模板参数包，可以接受任意数量的类型参数。
Args... args 表示 args 是一个函数参数包，可以接受任意数量的函数参数。

2. 参数包的展开

参数包可以通过递归或折叠表达式展开。递归展开是最常见的方式：

// www.javascriptcn.com code example
template<typename T>
void print(T t) {
    std::cout << t << std::endl;
}

template<typename T, typename... Args>
void print(T t, Args... args) {
    std::cout << t << std::endl;
    print(args...);  // 递归调用
}

在这个例子中，print 函数可以接受任意数量的参数，并逐个打印出来。

3. 折叠表达式

C++17 引入了折叠表达式，可以更简洁地展开参数包：

template<typename... Args>
void print(Args... args) {
    (std::cout << ... << args) << std::endl;
}

这个例子中，折叠表达式 (std::cout << ... << args) 将所有参数依次输出。

4. 应用场景

可变参数模板在以下场景中非常有用：

元组（Tuple）：std::tuple 使用可变参数模板来存储任意数量和类型的元素。
函数包装器：如 std::function 和 std::bind，可以使用可变参数模板来处理任意数量和类型的参数。
日志系统：可以接受任意数量的参数并格式化输出。

5. 示例代码

以下是一个使用可变参数模板的完整示例：

// www.javascriptcn.com code example
#include <iostream>

template<typename T>
void print(T t) {
    std::cout << t << std::endl;
}

template<typename T, typename... Args>
void print(T t, Args... args) {
    std::cout << t << std::endl;
    print(args...);  // 递归调用
}

int main() {
    print(1, 2.5, "Hello", 'A');
    return 0;
}

输出结果为：

1
2.5
Hello
A

这个示例展示了如何使用可变参数模板来处理不同类型的参数。

C++ 中什么是可变参数模板 (variadic template)？

推荐答案