c++11之函数参数包展开

1.关于

本文略带总结性，参考：泛化之美--C++11可变模版参数的妙用

参数包展开方式有两种： 递归展开 和 逗号表达式展开。

本文代码并非全部来自参考文章，自己做了注释和修改。请以原文为准

2. 查询参数包的参数个数

用下面的函数可以实现查询参数包的个数

template<typename... Args>
unsigned int length(Args... args)
{
    return sizeof...(args);
}

调用

length(1, "hello", "c++", "11"); // 返回4，4个参数

3.递归展开

3.1 注意， 递归展开需要考虑爆栈的情况。 说到这里，ubuntu(linux) 默认栈大小8M(使用命令 ulimit -a查看)， Win下，Visual Studio 默认栈大小1M（连接器->系统）。

3.2 需要两个函数：递归终止函数 和 递归函数

3.3 一个例子，输出各个元素。函数参数为参数包的形式，使用递归展开.

// 1.递归终止函数
void print()
{
	;
}
// 2.递归执行函数
template<typename T, typename... Args>
void print(T head, Args... args)
{
	std::cout << head << (sizeof...(args) > 0 ? ", " : "");
	print(args...);
}

3.4 调用及执行结果

print(1, "hello", "C++", 11);

3.5 其执行过程

print(1, "hello", "C++", 11);
print("hello", "C++", 11);
print("C++", 11);
print(11);
print();

例子中，递归终止到第0参数截止。根据执行过程可知，终止函数可以改为1个参数，最后一个函数仅仅作为终止递归使用，终止递归改为1个参数的函数还可以提高性能（减少函数的调用）。

3.6 递归终止改为一个参数

// 1.递归终止函数
template<typename T>
void print(const T& t)
{
	std::cout << t << endl;
}
// 2.递归执行函数
template<typename T, typename... Args>
void print(T head, Args... args)
{
	std::cout << head << (sizeof...(args) > 0 ? ", " : "");
	print(args...);
}

同样的，执行上面的调用代码print(1, "hello", "C++", 11);,其执行过程如下

print(1, "hello", "C++", 11);
print("hello", "C++", 11);
print("C++", 11);
print(11);

3.7 再看一个递归求和的例子, 同样是使用参数包的形式

// 1.递归终止函数
template <typename T>
T sum(const T& t)
{
	return t;
}
// 2.递归函数
template <typename T, typename ... Args>
T sum(const T& head, const Args... args)
{
	return head + sum<T>(args...);
}

４.逗号表达式展开

　　逗号表达式？了解一下

4.1 回到上面print的例子，改为逗号表达式

// 1.用作输出每个参数
template<typename T>
void show_arg(const T& t)
{
	std::cout << t <<std::endl;
}
// 2.用作展开参数包
template <typename ... Args>
void expand(const Args&... args)
{
	int arr[] = {(show_arg(args), 0)...}; /// (1)
}

代码中，（1）的逗号表达式为： (show_arg(args), 0)。先执行表达式1（show_arg(args)）,再执行表达式2（0）。 使用调用代码expand(1, 2, 3, 4)，（1）处的逗号表达式展开结果如下

int arr[] = { (show_arg(1), 0) , (show_arg(2), 0), (show_arg(3), 0), (show_arg(4), 0) };

而，第一个逗号表达式结果为0， 第二逗号表达式的结果为0， .... 最后一个逗号表达式展开后，逗号表达式的结果为0，所以(1)的代码最后是这样的：

int arr[] = {0, 0, 0, 0}; /// (2)

(2)的代码声明了一个int数组，数组有4个元素。 展开参数包的方式相当巧妙，比起递归，更加方便了。

4.2 使用lambda + 逗号表达式展开参数包

还是同样的例子，输出参数包元素。

template<typename Func, typename...Args>
void show_args(const Func &f, Args&... args)
{
	// 初始化列表，列表的类型为int, std::initializer_list是c++11引入的模板
	std::initializer_list<int>{(f(std::forward< Args>(args)), 0)...};
}
// 调用
show_args([](const int & item) {std:: cout << item << ", ";  }, 1, 2, 3, 4); /// 输出： 1, 2, 3, 4,