在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
后,表示多个类型;在 函数参数包 中跟在函数参数名后,表示多个值。 - 展开参数包时,使用
...
将包内的每个参数逐个处理。