c++中lambda表达式的泛型用法_c++泛型lambda语法与高阶函数实现

裘德小鎮的故事 2025-11-14 00:00:00 次阅读

泛型lambda通过auto参数实现类型自动推导，可灵活用于高阶函数。例如[](auto x, auto y) { return x + y; }能处理多种类型，结合模板函数如apply_operation或map_vector可实现通用操作，提升代码复用性。

在C++14及以后的标准中，lambda表达式支持泛型参数，也就是所谓的“泛型lambda”。这种特性让lambda可以接受任意类型的参数，极大地增强了其灵活性，特别适合用于实现高阶函数。

泛型Lambda的基本语法

使用auto作为参数类型是定义泛型lambda的关键。编译器会在调用时根据传入的参数类型自动推导。

基本写法如下：

[] (auto x, auto y) { return x + y; }

这个lambda可以接收任何支持+操作的类型，比如int、double、string等。

也可以只对部分参数使用auto：

[] (auto x, int y) { return x * y; }

结合std::function使用泛型lambda

虽然泛型lambda不能直接赋值给模板参数未确定的std::function，但可以通过函数模板来包装。

例如，实现一个通用的高阶函数apply_operation：

template
T apply_operation(F op, T a, T b) {
return op(a, b);
}

调用示例：

auto add = [] (auto x, auto y) { return x + y; };
auto result1 = apply_operation(add, 3, 4); // int
auto result2 = apply_operation(add, 2.5, 3.7); // double

实现更复杂的高阶函数

利用泛型lambda，可以轻松实现如map、filter这类函数式编程中的高阶函数。

例如，实现一个简单的map函数：

template
std::vector()(std::declval()))>
map_vector(const std::vector& vec, Func f) {
  std::vector result;
  for (const auto& item : vec)
    result.push_back(f(item));
  return result;
}

使用泛型lambda进行转换：

std::vector nums = {1, 2, 3, 4};
auto squares = map_vector(nums, [] (auto x) { return x * x; });
auto strings = map_vector(nums, [] (auto x) { return "num:" + std::to_string(x); });