可变参函数模板
- 可变参数 :参数的数目是可变的,不固定的。即数目可以是任意有限个。
- 模板 :参数的类型是一种模板,是可经推导的,可以是任意存在的类型(系统类型或自定义类型)。
一个可变参数模板就是一个可以接受可变参数的模板函数或模板类。
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();
}