可变参数模版

一个可变参数模版就是一个接受可变数目参数的模板函数或模板类，可变数目的参数被称为参数包。

• 模板参数包：表示零个或多个模板参数
• 函数参数包：表示零个或多个函数参数

我们用一个省略号...来指出一个模板参数或函数参数表示一个包，在函数参数列表中，如果一个参数的类型是一个模板参数包，则此参数也是一个函数参数包

sizeof...运算符

类似sizeof，sizeof...也返回一个常量表达式，可以使用其返回参数的数目

//Args是一个模板参数包，rest是一个函数参数包
//Args表示零个或多个模板类型参数，rest表示零个或多个函数参数
template<typename T,typename... Args>
void foo(const T& t, const Args&... rest)
{
	std::cout << sizeof...(Args) << std::endl; //类型参数的数目
	std::cout << sizeof...(rest) << std::endl; //函数参数的数目
}

int main()
{
	int i = 0; double d = 3.14; std::string s = "ss";
	foo(i, s, 42, d);	//包中有个3个参数
	foo(s, 42, "hi");	//包中有2个参数
	foo(d, s);			//包中有1个参数
	foo("hi");			//空包
	//编译器会为foo实例化出四个不同的版本
}

可变参数函数模板用途

当我们既不知道想处理的实参数目，也不知道它们的类型是，可变参数函数是很有用的。

俩个函数提供同样的匹配，非可变参数模版比可变参数模板更特例化，编辑器会选择非可变参数版本。

template<typename T,typename... Args>
void foo(const T& t, const Args&... rest)
{
	std::cout << "可变版本" << std::endl; 
}

template<typename T>
void foo(const T& t)
{
	std::cout << "非可变版本" << std::endl; 
}

int main()
{
	foo(10); //打印非可变版本
}