C++可变参数模板

可变参数模板是一个接受可变数目参数的模板函数或模板类，在模板参数列表中，typename…指出接下来的参数表示0个或多个类型的列表，一个类型名后面跟省略号表示0个或多个给定类型的非类型参数的列表。在函数参数列表中，如果一个参数的类型是一个模板参数包，则此参数也是一个函数参数包。

可变参数模板通常是递归的，第一步调用处理包中的第一个实参，然后用剩余实参调用自身， sizeof…运算符可以获得包中元素数量。

template <typename T>
void printValue(const T& t)
{
	cout << t << ",";//最后一个元素
}

template <typename T,typename... Args>
void printValue(const T& t, const Args&... args)
{
	cout << t << ",";
	printValue(args...);
}

int main()
{
	printValue("hello","wolrd","!");
	system("pause");
}

还可以利用逗号表达式和初始化列表展开参数包，这种方式不需要递归且会按照顺序展开。

template <typename T>
void printValue(const T& t)
{
	cout << t << ",";
}

template <typename... Args>
void checkValue(const Args& ... args)
{
	initializer_list<int>{(printValue(args),0)...};
}

int main()
{
	checkValue(1, "2", "3", 4);
	system("pause");
}

如果使用传参的方式展开参数包，不会按照顺序展开，下面的代码会输出4,3,2,1。

template <typename T>
int printValue(const T& t)
{
	cout << t << ",";
	return 0;
}

template <typename... Args>
void checkValue2(const Args& ... args)
{
	
}

template <typename... Args>
void checkValue(const Args&... args)
{
	checkValue2(printValue(args)...);
}

int main()
{
	checkValue(1,"2","3",4);
	system("pause");
}

类似模板函数，模板类也可以有可变参数。

template<typename T>
T sum(T t)
{
	return t;
}

template<typename T, typename ...Types>
T sum(T first, Types... rest)
{
	return first + sum<T>(rest...);
}

int main()
{
	cout << sum(1, 2, 3, 4) << endl;
	system("pause");
}