可变参数函数模板
// Args称为模板参数包，rest称为函数参数包
template <typename T, typename ... Args>
void fun(T t, const Args & ... rest) {
}
可变参数类模板
// Args称为模板参数包，rest称为函数参数包
template <typename T, typename ... Args>
class A {
};
int main() {
A<int, int, double> a;
return system("pause");
}
可变参数函数模板的使用
// Args称为模板参数包，rest称为函数参数包
template <typename T, typename ... Args>
void fun(T t, const Args & ... rest) {
// 获取模板参数包中的参数个数
std::cout << sizeof...(Args) << std::endl;
// 获取函数参数包中的参数个数
std::cout << sizeof...(rest) << std::endl;
// 可以利用递归处理每一个函数参数包中的参数
// 相比上面的函数参数少了一个参数，可以知道函数参数包里的参数会一个一个减少
fun(rest...); // rest...代表函数包拓展，代表着拓展为函数实参列表
// fun(change(rest)...); // 更复杂的函数包拓展，每个参数都先用change函数处理一下并返回
};
// 巧妙点：上述的递归中，当最后一个参数时会调用更特例化版本，避免了模板参数包为0的报错
template <typename LastOne>
void fun(const LastOne & lastOne) {
std::cout << "The End!" << std::endl;
}
template <typename T>
int change(T t) {
return 0; // 想作为包拓展的模式，必须要有返回值
}
int main() {
int i1 = 0;
double i2 = 0;
char i3 = 0;
float i4 = 0;
// 备注：模板参数包的参数个数不可以为0，以下调用模板参数包的个数为4
fun(i1, i2, i3, i4); // fun<int, double, char, float>
return system("pause");
}
转发参数包
// 转发参数包
template <typename ... Args>
void fun1(Args && ... rest) {
// 转发参数包给fun2()，此处非递归调用只是将所有的参数包简单地转发了一下
fun2(std::forward<Args>(rest)...); // 同时应用了模板参数包拓展和函数参数包拓展
}
template <typename T, typename ... Args>
void fun2(T t, Args ... rest) {
fun2(rest...); // 递归调用，函数参数包会一个一个减少
};
// 当只有一个参数时，会调用这个更特例化的版本
template <typename T>
void fun2(T t) {
std::cout << "The End!" << std::endl;
}
