C++11 核心特性详解：Lambda、可变参数与函数包装器

这里的 ... 是展开参数包的操作（放在参数包后面，除了模板参数声明那里）。不过，如果想直接访问参数包里的具体元素（如 arg[1]）是比较困难的，通常不支持这种随机访问。

展开参数包的方法

主要有两种常见方式：

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* p2 = Create(d);

这与 emplace_back 的原理类似。emplace_back 支持可变参数模板，可以直接传零散的参数进去，而 push_back 必须先把零散的参数搞成临时对象再传进去。

包装器

Function 包装器

Function 包装器也叫作适配器，需要头文件 #include <functional>。它的作用是让可调用对象能够存储到容器中。

#include <functional>
#include <vector>
#include <string>
#include <map>

double f(double i) { return i / 2; }

struct Functor {
    double operator()(double d) { return d / 3; }
};

int main() {
    // 第一个 double 是返回值类型，第二个 double 是形参类型
    std::vector<std::function<double(double)>> v = {
        f,
        [](double d) -> double { return d / 4; },
        Functor()
    };

    // 也可以存储在 map 中
    std::map<std::string, std::function<int(int)>> map1 = {
        {"a", [](int x){return x;}},
        {"y", [](int x){return x+1;}}
    };

    int x = 0;
    int a = map1["a"](x); // 取出包装器并调用
    return 0;
}

Bind 函数

bind 也是一个函数模板，位于 <functional> 中。它就像一个函数包装器，接受一个可调用对象，生成一个新的可调用对象来适应原对象的参数列表。主要作用是改变参数顺序或固定某些参数的值。

与缺省值不同，缺省值只能给固定的参数一个固定值，而 bind 更加灵活。

普通函数绑定

#include <functional>
using namespace std::placeholders; // 占位符命名空间

double Plus(int a, int b, double rate) {
    return (a + b) * rate;
}

int main() {
    // rate 固定是 4.0，_2 对应 Plus1(9,8) 中的 9，_1 对应 8
    std::function<double(int,int)> Plus1 = bind(Plus, _2, _1, 4.0);
    // Plus1(9, 8) 等价于 Plus(8, 9, 4.0)
    
    // 如果固定值在中间
    double Plus2(int a, double rate, int b) { return (a + b) * rate; }
    std::function<double(int,int)> Plus3 = bind(Plus2, _2, 4.0, _1);
    // Plus3(9, 8) 等价于 Plus2(8, 4.0, 9)
    return 0;
}

类成员函数绑定

对于静态成员函数，用法与普通函数类似（记得加上类域）。对于非静态成员函数，后面要跟上对象或者对象的指针。

class SubType {
public:
    int sub(int a, int b) { return a - b; }
};

SubType st;
// 绑定非静态成员函数，需要传入对象实例
std::function<int(int,int)> Sub2 = bind(&SubType::sub, &st, _1, _2, 3);
// 或者传入对象副本
std::function<int(int,int)> Sub3 = bind(&SubType::sub, st, _1, _2, 3);
// 使用匿名对象
std::function<int(int,int)> Sub4 = bind(&SubType::sub, SubType(), _1, _2, 3);

实战练习

关于范围 for 循环的理解，以下说法错误的是：

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

答案：C。上面说的是容器，但是 stack 是容器适配器，不支持范围 for 直接遍历。

本文拆解了易混淆的概念，如 lambda 的 mutable 修饰符作用、placeholders 占位符的使用规则，并结合具体代码示例，帮助理解这些特性的设计逻辑与实际价值。掌握这些内容，将为后续高效使用 C++11 进行开发打下基础。