泛型Lambda是C++14起支持的语法糖，形参用auto由编译器推导为函数模板；需C++14+标准，auto不能用于返回类型（除非decltype(auto)或尾置返回），支持auto...实现可变参数泛型。
泛型Lambda就是带auto参数的Lambda
它不是C++20新概念，而是从C++14起就支持的语法糖：把参数类型写成auto，编译器会为每次调用推导出具体类型，生成对应函数模板。本质是编译器自动生成一个operator()为函数模板的闭包类型。
常见错误现象：error: parameter declared with placeholder type 'auto'——只在C++11下报错，确认编译标准至少为-std=c++14；或误以为能像普通模板那样显式指定auto类型（实际不能）。
- 必须启用C++14或更高标准（如
g++ -std=c++17） -
auto只能用于形参，不能用于返回类型（除非用尾置返回或decltype(auto)） - 捕获列表（
[x]、[&]等）和auto参数互不干扰，可共存
怎么写一个真正泛型的Lambda（支持不同参数个数和类型）
单个auto参数只是“模板化单参”，要支持任意参数（类似std::function<void></void>），得用auto...参数包 + 可变模板推导——也就是C++14起支持的“泛型可变Lambda”。
使用场景：写通用回调、容器遍历适配器、测试桩（mock）等需要接收任意调用签名的地方。
立即学习“C++免费学习笔记（深入）”；
示例：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
auto f = [](auto&& x, auto&& y) { return x + y; }; // 接收任意两个可+的值
auto g = [](auto&&... args) { ((std::cout << args << " "), ...); }; // C++17折叠表达式-
auto&&比单纯auto更安全：能正确转发左值/右值，避免不必要的拷贝或绑定失败 - 参数包
auto...要求C++17及以上；C++14仅支持固定数量的auto参数 - 不要试图在Lambda体内对
auto参数做SFINAE约束（如std::enable_if），需改用requires（C++20）或外层模板包装
泛型Lambda的类型到底是什么？为什么不能直接用std::function赋值
每个泛型Lambda的闭包类型都是唯一的、不可名状的类类型，即使两个Lambda写法完全一样，它们的类型也不同。这导致你不能直接把泛型Lambda赋给std::function，除非显式指定其目标签名。
错误现象：error: no viable conversion from '<lambda>' to 'std::function<int>'</int></lambda>——因为编译器无法从泛型Lambda反推你想用哪套实例化。
- 必须显式构造
std::function，如std::function<int> f = [](auto x) { return x * 2; };</int>（此时编译器只为int→int这一种情况实例化） - 如果想保留完整泛型能力，别用
std::function，直接用auto变量或模板参数传递闭包 - 泛型Lambda不能作为非类型模板参数（NTTP），C++20也不行；它的类型不具备编译期常量性
捕获auto变量时的陷阱
捕获列表里不能写auto，但你可以捕获一个本身是auto推导出的变量——这时捕获的是该变量的**具体类型**，不是“再次泛型”。容易误以为捕获后Lambda仍能随上下文变化而变类型，其实不会。
示例：
auto x = 42; // x 是 int
auto f = [x](auto y) { return x + y; }; // x 按值捕获为 int，y 才是泛型- 若
x是const std::vector<double></double>，捕获后f里用的永远是std::vector<double></double>，和y的类型无关 - 用
[&x]捕获引用时，注意生命周期：被引用对象必须比Lambda活得久 - 别在泛型Lambda里捕获
this再调用成员模板——成员模板本身不参与Lambda泛型推导，容易引发ODR-use或链接问题
泛型Lambda的“泛型”只作用于参数和返回类型推导，不延伸到捕获、闭包类型或实例化时机。最易忽略的是：你以为传给std::function就能保留泛型，其实它立刻被单态化了。
