C++14起才支持泛型Lambda，因C++11不支持auto参数；其核心是用auto声明参数，由编译器按实参推导类型，如auto add = [](auto a, auto b) { return a + b; };，可处理int、double、string等任意支持+操作的类型。
泛型 Lambda 在 C++14 及以后才真正可用
C++11 的 Lambda 不支持 auto 参数，所以写不出真正的泛型 Lambda；必须用 C++14 或更高标准（如 -std=c++14 或 -std=c++17）。如果你编译报错说 “expected type-specifier before ‘auto’”，八成是标准没设对。
核心写法就是把参数类型声明为 auto，编译器会在每次调用时根据实参推导出具体类型：
auto add = [](auto a, auto b) { return a + b; };
这行代码定义的 add 就是泛型 Lambda —— 它能接受 int、double、std::string（如果重载了 +），甚至自定义类型（只要支持 +）。
泛型 Lambda 里怎么约束参数类型
裸 auto 太宽泛，容易在错误类型上调用时报一堆模板错误。想提前拦截，就得加约束。C++20 引入了 requires，但更通用、兼容性更好的方式是用 std::enable_if_t 或概念（Concepts）配合 SFINAE。
立即学习“C++免费学习笔记（深入）”；
- 用
requires（C++20）：auto safe_add = []<typename T, typename U>(T a, U b) requires std::is_arithmetic_v<T> && std::is_arithmetic_v<U> { return a + b; }; - 用
std::enable_if_t（C++14/17）：auto safe_add = []<typename T, typename U>(T a, U b) -> std::enable_if_t<std::is_arithmetic_v<T> && std::is_arithmetic_v<U>, decltype(a + b)> { return a + b; };
注意：带模板参数列表（如 []<typename t ...></typename>）的 Lambda 是 C++20 特性；C++14/17 只能靠返回类型约束或函数对象封装。
捕获列表和泛型参数混用要注意什么
泛型 Lambda 的捕获本身不参与类型推导，但捕获变量的类型会影响 Lambda 整体的可调用性。常见坑有：
- 捕获了非
const局部变量，却在泛型参数中尝试修改它 → 编译失败，因为默认捕获是const的；需显式写[=, this]或[&]，并确保捕获变量支持对应操作 - 捕获了
std::unique_ptr后再用auto参数做移动操作 → 要确认捕获方式是[ptr = std::move(ptr)]，否则会尝试拷贝 - 泛型参数类型与捕获变量类型发生隐式转换冲突（比如捕获
int，却传入long long做运算）→ 推导出的返回类型可能意外截断，建议显式指定返回类型或用decltype(auto)
泛型 Lambda 无法直接作为函数指针或模板参数传递
每个泛型 Lambda 实例化后都是唯一类型，哪怕签名一样，decltype(f1) != decltype(f2)。这意味着：
- 不能直接赋值给
std::function而不指定签名，比如std::function<int int> f = [](auto a, auto b) { return a + b; };</int>❌ 失败 —— 类型不匹配 - 可以转成具名函数对象（struct +
operator()），或用auto推导保存，再传给模板函数 - 若需统一接口，建议包装一层：用模板函数接收泛型 Lambda，而不是试图“抹平”它的类型
最稳妥的做法是：只在局部作用域使用泛型 Lambda，用 auto 保存；需要跨作用域或存入容器时，老实用普通函数或 std::function 显式指定类型。
