C++14起支持泛型Lambda，参数写auto由编译器推导类型，形如[cap](auto p) {…}；C++20扩展支持auto&&和显式模板参数，可完美转发并添加约束；需避免类型歧义、隐式转换及捕获冲突。
泛型Lambda的写法：用auto声明参数
C++14起支持泛型Lambda，核心就是把参数类型写成auto，编译器会为每次调用推导具体类型。它不是模板函数，但行为类似——每次传入不同类型的参数，都会实例化一个对应版本。
基本写法：
[capture](auto param) { /* body */ }
。注意不能写auto&或const auto&直接放在参数位置（C++14不支持），但C++20允许更灵活的占位符语法（见下一条）。
-
[x](auto a) { return a + x; }：捕获变量x，接受任意可与x做+运算的类型 - 不能写
(auto& a)（C++14报错），若需引用语义，得靠decltype(auto)或C++20的auto&& - 返回类型默认是
auto（C++14起支持返回类型推导），无需显式写-> decltype(...)，除非需要约束或SFINAE
C++20的auto&&参数和模板参数列表
C++20允许Lambda参数用auto&&，实现完美转发；还支持显式模板参数列表，让泛型Lambda更像函数模板。
两种合法写法：
[x]<auto t>(T&& a) { return std::forward<t>(a) + x; }</t></auto>
[x](auto&& a) { return std::forward<decltype>(a) + x; }</decltype>
- 前者是“模板化Lambda”，
noexcept、requires等约束 - 后者是“转发式Lambda”，
auto&&能绑定左值/右值，但要注意decltype(a)在不同调用中类型不同，转发必须用std::forward - 两者都支持SFINAE，比如加
requires std::is_arithmetic_v限制只接受算术类型
常见错误：类型推导失败和捕获冲突
泛型Lambda看似灵活，但容易在类型混合或捕获时出问题。
- 调用时传入无法统一运算的类型，比如
[](auto a, auto b) { return a / b; }，传(5, 2.0)会因a推为int、b推为double导致除法重载歧义 - 捕获的变量类型固定，但Lambda体中用它和
auto参数运算，可能隐式转换失败，例如捕获short x = 1;，再写[x](auto a) { return x + a; }，传unsigned int可能触发有符号/无符号警告甚至截断 - 在模板函数内定义泛型Lambda并试图用
auto接收其类型，要小心：Lambda类型唯一且不可名，必须用auto或std::function（后者有开销）
什么时候该用泛型Lambda，而不是普通函数模板？
关键看是否需要闭包语义——也就是捕获外部变量。如果只是做通用计算，函数模板更清晰、调试信息更好；但如果要带状态（比如累加器、配置上下文），泛型Lambda就不可替代。
- 适合场景：STL算法里传入自定义比较/变换逻辑（如
std::sort(v.begin(), v.end(), [](auto& a, auto& b) { return a.id ） - 不适合场景：需要多次复用同一逻辑且希望类型检查早于调用（函数模板在声明处就能检查约束，泛型Lambda要到首次调用才实例化）
- 性能上无本质差异，但
std::function包装泛型Lambda会引入虚调用开销，应避免；直接传给接受Callable的算法则无额外成本
最易被忽略的一点：泛型Lambda的每个实例都是独立类型，哪怕签名完全一样，typeid也不同，也无法用==比较两个Lambda对象——这在缓存或注册回调时可能引发意外。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
