泛型 Lambda 是 C++14 起支持的带 auto 参数的 lambda，编译器按实参推导类型并生成对应函数实例，行为类似函数模板；需 -std=c++14 或更高，不适用于虚函数或函数指针。
泛型 Lambda 是什么：就是带 auto 参数的 lambda
它不是新语法糖，而是 C++14 起支持的合法写法：把参数类型写成 auto，编译器会在调用时按实参推导出具体类型。本质是编译器为每次不同类型的调用生成独立函数实例，和函数模板的行为一致。
常见错误现象：error: 'auto' parameter not allowed in this context——说明你还在用 C++11 或更低标准编译；或者在非 lambda 场景（比如普通函数声明）里误用了 auto 参数。
- C++14 是最低要求，确保编译器开启
-std=c++14或更高（如-std=c++17） - 不能用于虚函数、函数指针声明等需要静态类型签名的地方
- 捕获列表（
[&]、[=]）和返回类型推导（-> auto）可共存，但返回类型仍需能被推导出来
怎么写一个真正泛型的 lambda：参数、返回、捕获都要对得上
泛型不等于“随便写”，auto 参数只是起点。真正灵活的 lambda 往往要配合返回类型后置和泛型捕获（C++20）或手动转发。
使用场景：写通用容器遍历器、比较器、转换函数，比如传给 std::sort、std::transform 或作为回调封装。
立即学习“C++免费学习笔记（深入）”；
auto add = [](auto a, auto b) { return a + b; }; // OK，返回类型自动推导
auto cmp = [](const auto& x, const auto& y) { return x.size() < y.size(); }; // 更安全：避免拷贝，适配 string/vector 等- 直接写
[](auto x, auto y)可能引发隐式转换（比如传入int和double，推导出两个不同实例，但加法行为未必一致） - 加
const auto&更贴近模板函数习惯，减少拷贝，也兼容右值（因引用折叠） - 若需完美转发（比如构造对象），得用
decltype(auto)配合std::forward，此时已超出纯auto参数范畴
为什么不能直接用在 std::function 里？类型擦除的代价
std::function 要求明确的签名，而泛型 lambda 每次调用都可能产生新类型，编译器无法把它塞进一个固定类型的 std::function 对象里。
常见错误现象：error: cannot convert 'lambda ...' to 'std::function——即使你只打算传 int，编译器也不允许把泛型 lambda 强制降级为单态签名。
- 解决办法一：显式指定调用一次，用返回值构造
std::function，例如std::function—— 这其实没意义，因为已经实参化了f = [](auto x) { return x * 2; }(0); - 解决办法二：老实用普通函数模板或显式模板 lambda（C++20）：
[](auto&&... args) -> decltype(auto) { return func(std::forward(args)...); } - 更现实的做法：别硬套
std::function，直接传 lambda 给接受 callable 的算法（如std::for_each），它们模板参数本来就能推导泛型 lambda
容易被忽略的坑：模板实例爆炸和调试困难
泛型 lambda 看似简洁，但每次用不同参数类型调用，就生成一份新代码。大量混用会导致目标文件膨胀、链接变慢、栈回溯里出现一堆匿名符号。
性能影响：通常无额外运行时开销，但实例太多会拖慢编译和链接；兼容性上，所有主流编译器（GCC 5+、Clang 3.4+、MSVC 2015u3+）都支持，但旧版本报错信息可能不友好。
- 调试时，GDB/LLDB 显示的 lambda 名类似
operator()，看不出原始语义 - 如果 lambda 体里用了未定义行为（比如访问野指针），不同实例可能触发不同崩溃路径，排查更费劲
- 谨慎在头文件里定义复杂泛型 lambda，否则每个包含它的 TU 都会生成重复实例
真要用，就控制粒度：小逻辑、短生命周期、明确调用模式。别指望它替代完整模板类或策略类。
