lambda 表达式和闭包通过允许捕获特定状态在泛型函数中实现更灵活的编程：lambda 表达式匿名函数语法，允许动态创建函数对象。闭包组合函数及其作用域变量，允许在泛型函数中使用特定状态。泛型编程中，闭包允许捕获状态并创建特定于每次调用的比较函数或处理器，从而实现更灵活的代码。

C++ lambda 表达式与闭包在泛型编程中的应用

理解 lambda 表达式和闭包

lambda 表达式是在 C++11 中引入的一种匿名函数语法，它允许在运行时创建函数对象。一个闭包是将函数与其作用域中的变量组合在一起的构造。

立即学习“C++免费学习笔记（深入）”；

lambda 表达式的语法

lambda 表达式的基本语法为：

[capture-list](parameters) -> return-type { body }

• capture-list：指定捕获的外界变量。
• parameters：lambda 函数的参数。
• return-type：lambda 函数的返回类型（可选）。
• body：lambda 函数的代码块。

使用闭包的泛型编程

闭包允许在泛型函数中捕获特定状态，从而实现更灵活的编程。例如，考虑一个计算列表中最大值的泛型函数：

template<typename T>
T max(std::vector<T>& v) {
  T maxValue = v[0];
  for (T element : v) {
    if (element > maxValue) {
      maxValue = element;
    }
  }
  return maxValue;
}

这个函数依赖于全局变量 maxValue，这限制了它的通用性。我们可以使用闭包来捕获每次调用的特定状态：

template<typename T>
std::function<T(std::vector<T>&)> maxComparator() {
  auto maxValue = T{};
  return [maxValue](std::vector<T>& v) {
    for (T element : v) {
      if (element > maxValue) {
        maxValue = element;
      }
    }
    return maxValue;
  };
}

int main() {
  std::vector<int> v1 = {1, 2, 3, 4, 5};
  std::vector<double> v2 = {1.5, 2.3, 3.2, 4.1, 5.0};
  auto maxInt = maxComparator<int>();
  std::cout << "最大整数：" << maxInt(v1) << std::endl;
  auto maxDouble = maxComparator<double>();
  std::cout << "最大浮点数：" << maxDouble(v2) << std::endl;
}

在上面的示例中，maxComparator 函数创建了一个闭包，然后将其返回为一个函数对象。该闭包捕获并维护 maxValue 变量，允许为不同类型的列表创建特定于每次调用的比较函数。

结论

lambda 表达式和闭包在泛型编程中提供了强大的工具，可以使用它们创建更灵活和重用性更高的代码，并且无需依赖全局变量。