【C++11 】Lambda 表达式、std::function 与 std::bind 解析

一、 Lambda 表达式

1.1 核心概念与语法

概念解释：
- Lambda 表达式 ：C++11 引入的一种匿名函数定义方式，允许在调用的地方内联定义函数逻辑，极大提升了代码的紧凑性和可读性。其底层本质是编译器自动生成的匿名仿函数（Functor）类对象。
- 仿函数（Functor） ：又称函数对象，是指重载了函数调用运算符 operator() 的类或结构体实例。这使得该对象可以像普通函数一样被调用。
笔记：
- 语法模板 ：[capture-list] (parameters) mutable -> return-type { function-body }

组成部分	是否必填	说明
`[capture-list]`	必填	捕捉列表：控制 Lambda 访问外部局部变量的方式。
`(parameters)`	可选	参数列表：与普通函数一致，无参可省略 `()`。
`mutable`	可选	默认按值捕捉的变量副本是 `const` 的，添加此关键字后可修改副本。
`-> return-type`	可选	返回值类型：通常可由编译器自动推导，复杂逻辑下可显式指定。
`{ body }`	必填	函数体：实现具体逻辑。

捕捉列表规则：
- [=]：隐式按值捕捉（获取当前作用域所有变量的副本）。
- [&]：隐式按引用捕捉。
- [a, &b]：明确指定变量 a 按值捕捉，变量 b 按引用捕捉。
- 混合捕捉 ：第一个元素必须是 = 或 &。例如 [=, &x] 表示除 x 按引用捕捉外，其余全部按值捕捉。

❓ 发散：为什么 Lambda 表达式默认按值捕捉的变量是不可修改的（需要加 mutable）？

💡 解答 ：因为 Lambda 底层会被编译器转换为一个仿函数类。按值捕捉的变量会变成该类的成员变量。默认情况下，编译器生成的 operator() 是一个 const 成员函数，因此无法修改类的成员变量。加上 mutable 关键字，本质上就是去掉了 operator() 的 const 限定符。

二、 std::function (多态函数包装器)

2.1 核心概念与底层机制

概念解释：
- 类型擦除（Type Erasure） ：一种编程技术，能够在编译期抹除对象的具体类型信息，而在运行期对外提供统一的接口。std::function 通过多态（虚函数）在底层实现了类型擦除，使得不同类型的可调用对象对外表现完全一致。
- 模板特化（Template Specialization） ：C++ 模板机制之一，允许为特定的数据类型提供专门的模板实现。std::function 的原型就是利用了模板特化来精准匹配函数签名 R(Args...)。
函数名 ：std::function
函数原型：

C++
复制代码
```
#include <functional>
template< class R, class... Args >
class function<R(Args...)>;
```
- 功能与参数说明 ：一个通用的多态函数封装器。R 表示函数的返回值类型（Return type），Args... 表示可变参数列表类型（Argument types）。R(Args...) 被称为"函数签名"。

2.2 核心价值与应用场景

笔记：
- 设计示例 ：using ioservice_t = std::function<void(std::shared_ptr<Socket> &sock, InetAddr &client)>;
  - 含义：只要满足"接收这两个参数并返回 void"的任何代码逻辑，都可以被赋值给 ioservice_t 类型。
- 核心价值 A：解耦（工程价值核心）：
  - 网络层（TcpServer）：只负责基础建设（处理并发、建立连接，"搬砖"）。不关心连接后做什么。
  - 业务层（Callback）：只负责逻辑处理（"大脑"）。不关心网络底层建立机制。
  - 联系纽带 ：ioservice_t 就是两者之间的"协议插座"或"任务规格"。
- 核心价值 B：屏蔽底层差异（类型擦除）：
  - 统一化四种不同的底层可调用对象形式：
    1. 普通函数：void MyFunc(std::shared_ptr<Socket> &s, InetAddr &a);
    2. Lambda 表达式：[](std::shared_ptr<Socket> &s, InetAddr &a){ ... };
    3. 仿函数：struct MyHandler { void operator()(std::shared_ptr<Socket> &s, InetAddr &a); };
    4. 类成员函数（需配合 std::bind）。

2.3 复杂业务逻辑的进阶处理

笔记：

当业务接口复杂，或需要额外参数（如数据库句柄等）时，有三种标准做法将其适配为 std::function 要求的签名：

方法一：利用 Lambda 表达式"捕获"变量（最现代、简洁）

cpp 复制代码

Database db; 
server.Start([&db](std::shared_ptr<Socket> &sock, InetAddr &client) {
    db.Query(sock->Recv(...)); // 捕获外部 db 进行操作
});

方法二：使用 std::bind 进行参数适配

cpp 复制代码

void SuperService(std::shared_ptr<Socket>& s, InetAddr& a, MyManager* mgr);
MyManager manager;
// 将 mgr 压入，生成只接受 2 个参数的新对象
auto service = std::bind(SuperService, std::placeholders::_1, std::placeholders::_2, &manager);
server.Start(service);

方法三：封装成"业务类"（仿函数）

cpp 复制代码

class ChatBusiness {
public:
    void operator()(std::shared_ptr<Socket> &sock, InetAddr &client) {
        Login(); SaveMsg(); // 执行内部复杂逻辑
    }
private:
    void Login(); void SaveMsg();
};
ChatBusiness cb;
server.Start(cb);

一句话总结 ：std::function 让服务器框架不再关心"做什么"，而只关心"怎么连"，实现了一套代码、百种业务的高度复用（扮演"分拣员"角色）。

三、 std::bind (函数参数绑定)

3.1 核心概念与占位符

概念解释：
- 参数绑定（Bind）：通过"绑定"或"重新排列"原有函数的参数，提前固定部分参数或调整参数顺序，从而生成一个新的可调用对象（仿函数）。
- 占位符（Placeholder） ：定义在 std::placeholders 命名空间中（如 _1, _2），用于在绑定时"占位"，代表未来新生成的函数被调用时，由调用者动态传入的参数位置。
函数名 ：std::bind
函数原型：
cpp 复制代码
```
#include <functional>
template< class F, class... Args >
/* 返回值类型未命名，通常用 auto 或 std::function 接收 */
bind( F&& f, Args&&... args );
```
- 功能与参数说明 ：f 是待包装的可调用对象；args 是要绑定的参数列表，可以是具体数值（提前固定），也可以是占位符。返回值是一个临时的仿函数对象。

3.2 基础与进阶用法

笔记：

前提假设 ：存在基础函数 int Sub(int a, int b) { return a - b; }

用法 1：调整参数顺序

cpp 复制代码

// 新函数的参数 2 传给 a，参数 1 传给 b
auto f1 = std::bind(Sub, std::placeholders::_2, std::placeholders::_1); 
// f1(10, 5) 实际执行 Sub(5, 10)，结果为 -5

用法 2：调整个数（固定参数 / 局部应用）

cpp 复制代码

// a 强制固定为 100，新函数的参数 1 传给 b
auto f2 = std::bind(Sub, 100, std::placeholders::_1);
// f2(5) 实际执行 Sub(100, 5)，结果为 95

用法 3：绑定类成员函数（高频场景）
- 必须显式使用 &类名::函数名。
- 第二个参数必须传入对象的地址（&obj）或引用，以填补成员函数隐含的 this 指针。
cpp 复制代码
```
class Plus {
public:
    int plusd(int a, int b) { return a + b; }
};
Plus pd;
auto f = std::bind(&Plus::plusd, &pd, std::placeholders::_1, std::placeholders::_2); 
// f(10, 20) 等价于 pd.plusd(10, 20)
```

使用总结与建议：
1. 接收方式 ：返回临时对象，建议本地直接用 auto 接收；跨函数传递用 std::function 包装。
2. 值拷贝问题 ：std::bind 默认执行值拷贝 。如需传递引用，必须显式配合 std::ref 使用。
3. 现代 C++ 建议 ：C++11 之后，绝大多数 std::bind 的场景都能被 Lambda 替代。Lambda 语法更直观，且编译器更容易对其进行内联优化，性能更佳。

❓ 导师发散提问：为什么大部分情况下，现代 C++ 提倡用 Lambda 替代 std::bind？

💡 解答 ：首先是可读性 ，嵌套的 std::bind 和大量的 _1, _2 占位符极难阅读，而 Lambda 参数流向清晰；其次是性能，std::bind 内部机制复杂且依赖大量模板元编程，其生成的对象很难被编译器彻底内联优化，而 Lambda 会生成简单的局部匿名类，编译器可以轻易将其内联展开。