lambda表达式本质是匿名类对象而非函数：编译后生成唯一类型的闭包类实例，重载operator()以支持调用；捕获变量成为其成员，值捕获为副本、引用捕获为绑定；mutable仅解除值捕获副本的const限制；无捕获lambda可隐式转函数指针，有捕获则不可。
lambda 表达式本质是匿名类对象，不是函数
直接说结论：[](int x) { return x * 2; } 这种写法在编译后根本不是函数，而是一个编译器自动生成的、未命名的类类型实例。它重载了 operator()，所以能被调用。这个对象叫“闭包（closure）”，它的类型是唯一的——哪怕两个 lambda 完全一样，类型也互不兼容。
这意味着你不能把 lambda 类型写在头文件里用 auto 声明跨编译单元共享；也不能用 typedef 或 using 给它起别名（除非用模板参数推导或 std::function 擦除类型）。
捕获列表 = 成员变量 + 构造初始化
捕获不是“传参”，而是把外部变量变成闭包类的成员，并在构造时初始化。值捕获如 [x] 会生成一个 int x; 成员，构造函数用当前栈上 x 的值拷贝初始化；引用捕获如 [&x] 则生成 int& x; 成员，绑定到原变量。
-
[=]是对所有自动变量做值捕获，等价于一个个写[a, b, c]，但不包括this -
[&]是对所有自动变量做引用捕获，同样不包括this -
[this]显式捕获当前对象指针，用于在成员函数中访问->成员，但它仍是值捕获（复制的是this指针值） - 混合捕获如
[x, &y]很常见，但要注意：x是副本，y是引用，生命周期风险完全不对称
mutable 关键字只影响值捕获副本的 const 性
默认情况下，值捕获的变量在 lambda 体内是 const 的——因为生成的 operator() 是 const 成员函数。加 mutable 后，operator() 变成非 const，就能改那个副本了，比如：
立即学习“C++免费学习笔记（深入）”；
int a = 10;
auto f = [a]() mutable { a++; return a; };
f(); // 返回 11
f(); // 返回 12 —— 改的是闭包内部的 a 副本，原始 a 还是 10
注意：mutable 对引用捕获无效（&a 本来就能改原变量），也**不会**让 lambda 能修改外部变量本身。
无捕获 lambda 可隐式转为函数指针，有捕获则不行
这是性能和 ABI 兼容的关键分水岭。像 [](int x) { return x + 1; } 这种没捕获任何东西的 lambda，编译器允许它隐式转换为普通函数指针 int(*)(int)，因此可直接传给 C 接口或要求函数指针的 API（如 qsort、某些回调注册函数）。
但只要带捕获（哪怕 [=] 捕获了一个 const int），它就不再是纯函数，无法转函数指针——此时必须用 std::function 包一层，但会引入类型擦除开销（虚调用、堆分配可能）。
容易被忽略的一点是：即使你没显式写捕获，如果 lambda 在类成员函数里定义且用了 this->member，编译器会自动加 [this]，导致它“有捕获”，从而失去函数指针资格。
