可变参函数模板
- 可变参数 ：参数的数目是可变的，不固定的。即数目可以是任意有限个。
- 模板 ：参数的类型是一种模板，是可经推导的，可以是任意存在的类型（系统类型或自定义类型）。
一个可变参数模板就是一个可以接受可变参数的模板函数或模板类。
template <typename... Args>
void func(Args... args) // 参数包内的参数个数
sizeof... // 运算符 计算参数包内的参数个数
sizeof...(Args); // 此处使用的不是变量名，而是变量类型template<typename... Args> // 定义了一个参数包，这包存放的可变参数的数据类型// 粗犷理解： 参数包就是一个数组，但是这个数组内的元素并不是某一特定类型的，而是可以多类型的。
解包
想要使用Args参数包内的参数，就需要解包
- C++ 不允许通过[]的方式进行解包或获取参数。例：args[0]，这种方式是错误的
- C++对参数包进行展开是通过args… 的形式。==…==表示展开包
解包方式一：递归解包
//递归结束函数 // 递归解包必须有一个结束函数,可以理解为参数包为空时的特殊函数
void func()
{ cout<<"end"<<endl;
} template<class T, class... Args>
void func(T v, Args... args))
{ cout<<v<<endl; func(args...);
}
// 这里可以理解为func在一个for循环中，每次只拿出一个参数(按照参数顺序进行获取)
// 这里func的参数是按照参数包args...顺序进行放置
解包方式二：利用数组和{}初始化
利用数组和{}的初始化进行解包
初始化列表(initializer list)
std::vector<int> vec = {1,2,3,4,5}
上述就是初始化列表的方式之一，也是最简单、明了的方式
具体解包方式
// 转换为字符串
template <class T>
std::string CoutArg(const T &arg)
{std::stringstream ss;ss << arg;return ss.str();
}template <class... Args>
std::string ParseArgs(Args... args)
{std::vector<std::string> vec = {CoutArg(args)...};std::stringstream ss;for (auto &item : vec){ss << item;}return ss.str();
}int main(void)
{auto str = ParseArgs(1, 2, 3, 4, "5", "6", "45", 9);std::cout << str << std::endl;return 0;
}
在上述代码中，最主要的一行代码就是
std::vector<std::string> vec = {CoutArg(args)...};
这行代码，我们可以这样理解，我们将参数包的每个参数都单独地放入CoutArg函数中，将参数转换为字符串，然后返回到数组vec中
获取参数包地址
有时候，需要获取参数的地址，仅需要在调用可变参模板时，使用引用参数传递即可
function(Args... arg){}int main()
{p1(args...); // ...代表解包 展开为 p1(arg1, arg2); p2(&args...); // &代表解包模式 &args... 被解包为 &arg1, &arg2, &arg3等等 // 展开为 p2(&arg1, arg2);
}
Lambda
template<typename... Args>
void f2(Args... args)
{ auto lm = [&, args...] { return p1(args...); }; lm();
}
