当前位置：首页 > ds >正文

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

ds 2025/8/24 14:48:06

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

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

1. 基本展开方式

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

2. 递归展开

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

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

3. 使用逗号运算符展开

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

4. 初始化列表展开

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

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

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

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. 模板参数展开

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

7. 完美转发展开

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

8. 模式展开

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

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), ...)
}