C++ 模板参数包展开方式

在 C++ 中，模板参数包（Template Parameter Pack）是 C++11 引入的一个强大特性，允许模板接受可变数量的参数。参数包展开（Parameter Pack Expansion）是将参数包解包为单独元素的过程。以下是主要的参数包展开方式：

1. 基本展开方式

cpp 复制代码

template<typename... Args>
void func(Args... args) {
    // Args... 和 args... 都是参数包展开
    other_func(args...); // 展开为 other_func(arg1, arg2, ..., argN)
}

2. 递归展开

最常见的展开方式是通过递归模板实例化：

cpp 复制代码

// 基本情况
void print() {
    std::cout << std::endl;
}

// 递归情况
template<typename T, typename... Args>
void print(T first, Args... args) {
    std::cout << first << " ";
    print(args...); // 递归展开
}

3. 使用逗号运算符展开

cpp 复制代码

template<typename... Args>
void print_all(Args... args) {
    (void)(std::cout << ... << args); // C++17 折叠表达式
    // 或使用逗号运算符展开
    int dummy[] = { (std::cout << args << " ", 0)... };
    (void)dummy; // 避免未使用变量警告
}

4. 初始化列表展开

cpp 复制代码

template<typename... Args>
std::vector<int> make_vector(Args... args) {
    return std::vector<int>{args...}; // 展开为 {arg1, arg2, ..., argN}
}

5. 折叠表达式 (C++17)

C++17 引入了折叠表达式，简化了参数包展开：

cpp 复制代码

template<typename... Args>
auto sum(Args... args) {
    return (args + ...); // 展开为 arg1 + arg2 + ... + argN
}

template<typename... Args>
void print(Args... args) {
    (std::cout << ... << args); // 展开为 std::cout << arg1 << arg2 << ... << argN
}

6. 模板参数展开

cpp 复制代码

template<typename... Args>
struct Tuple {
    std::tuple<Args...> data; // 展开为 std::tuple<Arg1, Arg2, ..., ArgN>
};

7. 完美转发展开

cpp 复制代码

template<typename... Args>
void wrapper(Args&&... args) {
    target_func(std::forward<Args>(args)...); // 完美转发展开
}

8. 模式展开

可以在更复杂的模式中展开参数包：

cpp 复制代码

template<typename... Args>
void foo(Args... args) {
    bar(&args...); // 展开为 bar(&arg1, &arg2, ..., &argN)
    baz(std::pair<Args, int>(args, 0)...); // 展开为 baz(pair<Arg1, int>(arg1, 0), ...)
}

注意事项

参数包展开必须有一个上下文（如函数调用、初始化列表等）
展开的语法是在参数包名后加 ...
参数包展开是编译时行为，不会产生运行时开销
在 C++17 之前，递归是处理参数包的主要方式

参数包展开是 C++ 模板元编程和泛型编程的强大工具，使得编写接受任意数量参数的通用代码成为可能。