C++可变参数函数模板

可变参函数模板

• 可变参数 ：参数的数目是可变的，不固定的。即数目可以是任意有限个。
• 模板 ：参数的类型是一种模板，是可经推导的，可以是任意存在的类型（系统类型或自定义类型）。
  一个可变参数模板就是一个可以接受可变参数的模板函数或模板类。

template <typename... Args> 
void func(Args... args) 

// 参数包内的参数个数 
sizeof...        // 运算符 计算参数包内的参数个数 
sizeof...(Args); // 此处使用的不是变量名，而是变量类型


template<typename... Args> // 定义了一个参数包，这包存放的可变参数的数据类型

// 粗犷理解： 参数包就是一个数组，但是这个数组内的元素并不是某一特定类型的，而是可以多类型的。

解包

想要使用Args参数包内的参数，就需要解包

1. C++ 不允许通过[]的方式进行解包或获取参数。例：args[0]，这种方式是错误的
2. 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(); 
}