[C++]11版本新特性3：可变参数模板+lambda

前言

我们接下来介绍可变参数模板和lambda表达式

模板的可变参数

引入

我们在使用printf的时候，有没有想过，为什么printf可以打印出很多个，他没有参数个数的限制吗
他的底层是一个动态数组，传入几个就打印几个参数

模板的可变参数

这意味着：我们可以传任意类型、任意个数的参数

// Args是一个模板参数包，args是一个函数形参参数包
// 声明一个参数包Args...args，这个参数包中可以包含0到任意个模板参数。
template <class ...Args>
void Show(Args... args)
{}

注意：
因为模板是在编译时解析的，所以不能用operator[]来访问参数包中的参数

所以我们只能使用编译器进行编译时解析

// 编译时递归返回条件
//当无参数时，编译器自动匹配合适的函数，所以作为递归返回条件
void _Show()
{
	cout << endl;
}

// 如果想依次拿到每个参数类型和值，编译时递归解析
template <class T, class ...Args>
void _Show(const T& val, Args... args)
{
	cout << val << " ";
	_ShowList(args...);
}

template <class ...Args>
void ShowList(Args... args)
{
	_ShowList(args...);
}

emplace_back

emplace_back使用了模板的可变参数包，功能是插入
和一般的push_back()相比，它也是一次插入一个数据，但是可以是一个匿名对象的多个参数、并且可以直接构造

用处：
emplace_back()主要是针对需要浅拷贝的对象，当传入这个对象的参数的时候，可以节省一次拷贝构造,
对于深拷贝，可以节省一次移动构造

lambda：局部的匿名函数

引入：operator()

我们之前接触过仿函数（重载()），主要是用于排序等操作，但他也有一些不方便的地方，比如对于algorithm来说，每次为了实现一个algorithm算法，都要重新去写一个类，如果每次比较的逻辑不一样，还要去实现多个类，特别是相同类的命名，这些都给编程者带来了极大的不便。

lambda语法

lambda表达式书写格式：[capture-list] (parameters) mutable -> return-type { statement
}

1. lambda表达式各部分说明

   • [capture-list] : 捕捉列表，该列表总是出现在lambda函数的开始位置，编译器根据[]来
     判断接下来的代码是否为lambda函数，捕捉列表能够捕捉上下文中的变量供lambda
     函数使用。
   • (parameters)：参数列表。与普通函数的参数列表一致，如果不需要参数传递，则可以
     连同()一起省略
   • mutable：默认情况下，lambda函数总是一个const函数，mutable可以取消其常量
     性。使用该修饰符时，参数列表不可省略(即使参数为空)。
   • ->returntype：返回值类型。用追踪返回类型形式声明函数的返回值类型，没有返回
     值时此部分可省略。返回值类型明确情况下，也可省略，由编译器对返回类型进行推
     导。
   • {statement}：函数体。在该函数体内，除了可以使用其参数外，还可以使用所有捕获
     到的变量。

2. 捕获列表说明
   捕捉列表描述了上下文中那些数据可以被lambda使用，以及使用的方式传值还是传引用。

   • [var]：表示值传递方式捕捉变量var
   • [=]：表示值传递方式捕获所有父作用域中的变量(包括this)
   • [&var]：表示引用传递捕捉变量var
   • [&]：表示引用传递捕捉所有父作用域中的变量(包括this)
   • [this]：表示值传递方式捕捉当前的this指针
     注意：
     a. 父作用域指包含lambda函数的语句块
     b. 语法上捕捉列表可由多个捕捉项组成，并以逗号分割。
     比如：[=, &a, &b]：以引用传递的方式捕捉变量a和b，值传递方式捕捉其他所有变量
     [&，a, this]：值传递方式捕捉变量a和this，引用方式捕捉其他变量
     c. 捕捉列表不允许变量重复传递，否则就会导致编译错误。
     比如：[=, a]：=已经以值传递方式捕捉了所有变量，捕捉a重复
     d. 在块作用域以外的lambda函数捕捉列表必须为空。
     e. 在块作用域中的lambda函数仅能捕捉父作用域中局部变量，捕捉任何非此作用域或者
     非局部变量都会导致编译报错。
     f. lambda表达式之间不能相 互赋值，即使看起来类型相同（因为每个lambda都有其自己的uuid）

补充：lambda其实也是调用operator()

结语

下一篇文章将介绍包装器的相关知识