c++可变模板参数

在C++中的可变模板参数使用省略号 ... 来表示一个参数包（Parameter Pack），其具体位置决定了这个包是模板参数包还是函数参数包，以及如何进行参数展开。

1. 模板参数包：c... Args

省略号放在类型名称的右边，用来表示模板参数包，即可以接受任意数量的模板类型参数。

template<typename... Args>  // 模板参数包
class MyClass {
    // 这里 Args 是一个参数包，可以包含多个类型
};

在上面的例子中，typename... 是一个模板参数包，可以接受任意数量的类型参数。

Args 本身是一个类型的集合（例如 int, double, std::string 等等）。

2. 函数参数包：Args... args

省略号放在参数名称的右边，用来表示函数参数包，即可以接受任意数量的函数实参。

template<typename... Args>
void myFunction(Args... args) {
    // 这里 args 是一个函数参数包，可以包含多个实参
}

在函数中，Args... 是一个函数参数包，可以接收任意数量的函数实参。

与模板参数包不同，args 是一个值的集合，而不是类型的集合。它可以是 int、double、std::string 等具体值。

3. 省略号位置的语法总结

• 模板参数包的省略号位于 typename... 或者 class... 之后，用于表示多个类型参数。例如：typename... Args。
• 函数参数包的省略号位于函数参数名之后，表示多个函数实参。例如：Args... args。
• 展开参数包时，省略号紧跟在参数包上进行展开。例如：args...，表示将 args 包中的所有参数逐个传递。

4. 实际应用

假设我们想编写一个通用的函数，它可以接受不同数量和类型的参数并调用它们：

template <typename F, typename... Args>
void wrapper(F&& f, Args&&... args) {
    std::forward<F>(f)(std::forward<Args>(args)...);  // 完美转发所有参数
}

这里的 Args... args 表示该函数可以接收多个参数，而 args... 用于展开这些参数进行实际的调用操作。

总结

• 省略号 ... 用于标记参数包和展开参数包。
• 省略号在 模板参数包 中跟在 typename 后，表示多个类型；在 函数参数包 中跟在函数参数名后，表示多个值。
• 展开参数包时，使用 ... 将包内的每个参数逐个处理。