C++11 新特性详解：Lambda 表达式、可变参数模板与包装器

展开参数包的方法

1. 递归展开参数包
2. 逗号表达式展开参数包

应用

假设有个日期类 Date：

template<class... Args>
Date* Create(Args... args) {
    Date* ret = new Date(args...);
    return ret;
}

可以 Date* p1 = Create(2025, 9, 7); 这样来用，或者 Date d(2025, 9, 7); Date* p1 = Create(d); 也行。

emplace_back 有可变参数模板，push_back 没有。emplace_back 可以直接传零散的参数进去，但是 push_back 必须要先把零散的参数搞成临时对象再传进去。

包装器

Function 包装器

Function 包装器也叫作适配器，需要头文件 #include <functional>。

作用：并且包装器可以让可调用对象存储到容器里面去了。

用法：Function 的类模板原型：

template<class T> function; // 这是模板的声明
template<class Ret, class... Args>
class function<Ret(Args...)>;

Ret：被调用函数的返回类型。 Args...：被调用函数的形参。

使用：

double f(double i) { return i / 2; }
struct Functor {
    double operator()(double d) { return d / 3; }
};
vector<function<double(double)>> v = { f, [](double d) -> double { return d / 4; }, Functor() };

第一个 double 是返回值类型，第二个 double 是形参类型。两个 double 类型的形参的话就写 (double, double)。

用法还有：

map<string, function<int(int)>> map1 = {
    {"a", [](int x) { return x; }},
    {"y", [](int x) { return x + 1; }}
};
// 用的话就：
int x = 0;
int a = map1["a"](x); // 注意理解 map1["a"] 取出包装器.....

Bind 函数

这个的头文件也是 #include <functional>。bind 是一个函数模板，它就像一个函数包装器（适配器），接受一个可调用对象，生成一个新的可调用对象来'适应'原对象的参数列表。

这个的作用也就是把参数的顺序改了，还可以固定一些参数的值。

这里固定参数的值跟直接给缺省值的比较：缺省值只能给固定的参数一个固定值，这里就不一样了。

用法：对于普通的函数：

double Plus(int a, int b, double rate) { return (a + b) * rate; }
function<double(int, int)> Plus1 = bind(Plus, placeholders::_2, placeholders::_1, 4.0);

这个的话就是 rate 固定是 4.0，然后 Plus1(9, 8)。这里的 placeholders::_1 表示的是 (9, 8) 里面的 9，然后会传给 b。如果想固定的值在中间的话：

double Plus(int a, double rate, int b) { return (a + b) * rate; }
function<double(int, int)> Plus1 = bind(Plus, placeholders::_2, 4.0, placeholders::_1);
Plus1(9, 8); // 8 最终给了 a

这个依旧是 _1, _2 这样的哈。

用法：对于类里面的成员函数的话：

如果函数是静态的，那到没啥区别（但是记得加上类域）。如果函数不是静态的：函数后面要跟上这个对象或者对象的指针才行。函数是静态的话，可以加那个也可以不加。

class SubType {
public:
    int sub(int a, int b) { return a - b; }
};
SubType st;
function<double(int, int)> Sub2 = bind(&SubType::sub, &st, placeholders::_1, placeholders::_2, 3);
function<double(int, int)> Sub2 = bind(&SubType::sub, st, placeholders::_1, placeholders::_2, 3);
function<double(int, int)> Sub3 = bind(&SubType::sub, SubType(), placeholders::_1, placeholders::_2, 3); // 这里用的是匿名对象

引申：类里面的函数在外面用的时候必须要到类域里面去找才行。

作业部分

下面关于范围 for 说法错误的是（C）

A. 范围 for 可以直接应用在数组上 B. 对于 STL 提供的所有容器，均可以使用范围 for 依次访问其元素 C. 使用范围 for 操作 stack，可以简化代码 D. 对于自定义类型，想要支持范围 for，必须提供 begin 和 end 迭代器 E. 范围 for 编译器最终是将其转化为迭代器来进行处理的

说明：上面说的是容器，但是 stack 是容器适配器。