C++学习进阶：C++11特性（下）

// Args是一个模板参数包，args是一个函数形参参数包
// 声明一个参数包Args...args，这个参数包中可以包含0到任意个模板参数。
template <class ...Args>
void ShowList(Args... args)
{
    // sizeof...(args)这个是固定的语法
	cout << sizeof...(args) << endl;
}
int main()
{
	ShowList(1);
	ShowList(1, 2);
	ShowList(1, 2, 3);
	ShowList(1, 2.2, 'x', 3.3);

	return 0;
}

接下来我们来看一下另一个场景：

解析获取参数值

// 当参数列表指向空时，这时进入该重载函数，且当前ShowList函数结束
void _ShowList()
{
	cout << endl;
}
 
// 编译时的递归推演
// 第一个模板参数依次解析获取参数值
template <class T, class ...Args>
void _ShowList(const T& val, Args... args)
{
	cout << typeid(val).name() << "-> "<<val<<" ";
	_ShowList(args...);
}

template <class ...Args>
void ShowList(Args... args)
{
	_ShowList(args...);
}
int main()
{
	ShowList(1);
	ShowList(1, 2);
	ShowList(1, 2, 3);
	ShowList(1, 2.2, 'x', 3.3);
	return 0;
}

对于这两个场景，我们主要着重于第二部分：

对于main函数块中，我们传入的可变参数分别为0,1,2,3,4，这些参数可以等价于Args... args这个对象

当我们递归在空数据之前时，我们进入的是进行递归推演，以1,2为例，我们就会进入void _ShowList(const T& val, Args... args)中

当数据访问完成时，我们进入void _ShowList()，然后访问到空数据退出当前的语句ShowList(1, 2);然后进入到下一个语句

并且这里也能体现可变参数模版的可变性，我们在外部传给_ShowList(args...)的是args...而接收方void _ShowList(const T& val, Args... args)，并且可以访问到我们在外部的参数值，不过需要我们在定义一个模版参数来进行解析

这个场景也可以这样子解析参数包！

template <class T>
int PrintArg(T&& t)
{
	cout << t << " ";
	return 0;
}

//展开函数
template <class ...Args>
void showList(Args&&... args)
{
	// 要初始化arr，强行让解析参数包，参数包有一个参数，PrintArg就依次推演生成几个
	int arr[] = { PrintArg(args)... };
	cout << endl;
}

int main()
{
	showList(1);
	showList(1, 'a');
	showList(1, 'a', std::string("sort"));

	return 0;
}