本文主要是介绍C++可变参数函数模板,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
可变参函数模板
- 可变参数 :参数的数目是可变的,不固定的。即数目可以是任意有限个。
- 模板 :参数的类型是一种模板,是可经推导的,可以是任意存在的类型(系统类型或自定义类型)。
一个可变参数模板就是一个可以接受可变参数的模板函数或模板类。
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();
}
这篇关于C++可变参数函数模板的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!