C++14泛型Lambda基本写法是参数列表中使用auto，如[](auto x, auto y) { return x + y; }，等价于模板仿函数；禁止混用auto与具体类型，多返回分支需显式指定尾置返回类型。
泛型 Lambda 的基本写法：用 auto 做形参类型
C++14 起，Lambda 的参数列表允许直接写 auto，编译器会为每次调用推导出具体类型——这和函数模板的实例化逻辑一致，但语法更轻量。
最简形式就是：[capture](auto x, auto y) { return x + y; }。它等价于一个隐式模板的仿函数对象，operator() 是函数模板。
注意：不能混用 auto 和具体类型，比如 (int a, auto b) 是非法的；所有参数若需泛型，必须全用 auto。
什么时候必须显式标注返回类型？
当 Lambda 体内有多个 return 语句、或返回类型无法被统一推导时（比如分支返回 int 和 double），编译器会报错：error: cannot deduce return type。
立即学习“C++免费学习笔记（深入）”；
这时得用尾置返回类型语法：[=](auto x, auto y) -> decltype(x + y) { return x + y; }。
常见场景：
- 运算结果类型依赖参数（如自定义类重载了
+） - 想提前约束返回类型避免隐式转换（比如强制返回
long long） - 配合
std::function存储时，类型擦除需要明确签名
捕获列表和泛型参数的交互要注意什么？
泛型 Lambda 的类型推导发生在调用时，而捕获列表（如 [x]、[&y]）是在定义时确定的。这意味着：
- 捕获的变量类型固定，不会随 Lambda 调用参数变化而改变
- 如果捕获的是局部变量，其生命周期必须覆盖 Lambda 的整个生命周期（尤其在返回 Lambda 或存入容器时）
-
[=]捕获值时，对auto参数做修改不影响捕获副本；[&]则可能引发悬垂引用——特别是参数是临时对象时
例如：auto f = [&](auto s) { s += " world"; return s; }; —— 这里 s 是值参数，修改它不影响外部，但若写成 (auto& s) 就得小心传入的是临时字符串。
和普通函数模板比，泛型 Lambda 有什么实际限制？
它本质是闭包类型，没法像函数模板那样被显式实例化（比如不能写 f<int double></int>），也不能被 ADL（参数依赖查找）找到。
典型问题：
- 无法取地址：
auto f = [](auto x) { return x; }; int (*fp)(int) = f; // 错误 - 不能作为非类型模板参数（C++20 前）
- 调试时符号名是编译器生成的未定义标识符，堆栈里难定位
- 每个不同调用会产生独立的实例，可能增大二进制体积（尤其嵌套多层时）
所以别为了“看起来简洁”硬套泛型 Lambda；如果逻辑复杂、需复用或跨模块传递，老老实实写命名函数模板更可控。
