C++14 新特性：Lambda 参数 auto

C++14 对 Lambda 表达式进行了增强，引入了一项重要的新特性：允许 Lambda 表达式的参数使用auto类型。

在 C++14 及以后的版本中，可以像在普通函数中一样，在Lambda 表达式中使用auto关键字来声明参数，从而使 Lambda 表达式具有类似模板函数的能力。这个特性大大提高了 Lambda 表达式的灵活性和通用性。

Lambda 表达式接收auto参数之前

在 C++11 中，当你定义一个 Lambda 表达式时，必须为每个参数指定一个具体的类型：

auto lambda = [](int x, double y) { return x + y; };

这种方式在许多情况下都足够使用，但它限制了Lambda表达式处理不同类型参数的能力。

C++14 引入的变化

C++14 允许 Lambda 表达式参数使用auto关键字，这样 Lambda 表达式就可以更加灵活地处理不同类型的参数，从而增强了其泛型编程的能力：

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

在这个例子中，lambda可以接受几乎任何类型的x和y，并尝试返回它们的和。这里的auto参数让 Lambda 表达式的行为类似于模板函数。

详细讲解

当 Lambda 表达式接收auto类型的参数时，其底层实现实际上使用了模板。

编译器为每个不同的参数类型组合生成一个特化的函数对象。这意味着上面的lambda表达式等价于如下形式的类模板：

struct {
    template<typename T1, typename T2>
    auto operator()(T1 x, T2 y) const { return x + y; }
} lambda;

使用场景和优势

• 类型推导：最直接的好处是类型自动推导，无需显式指定参数类型，提高了代码的简洁性。
• 泛型编程：允许 Lambda 处理多种不同的类型，使Lambda 在泛型编程中的应用更加广泛。
• 减少代码重复：在处理多个需要类似逻辑但参数类型不同的场景时，可以减少代码重复。

示例

下面的例子演示了如何使用auto参数在一个Lambda中处理不同类型的输入：

#include <iostream>
#include <string>

int main() {
    auto printTwice = [](auto x) {
        std::cout << x << " " << x << std::endl;
    };

    printTwice(10);        // 输出：10 10
    printTwice("Hello");   // 输出：Hello Hello
    printTwice(3.14);      // 输出：3.14 3.14

    return 0;
}

输出：

10 10
Hello Hello
3.14 3.14

总结

C++14 中引入的允许 Lambda 表达式接收auto类型参数的特性，提高了 Lambda 表达式的灵活性和泛型编程能力。这样 Lambda 表达式不仅仅局限于处理特定类型的数据，而是可以应用于更广泛的场景，促进了代码的重用和简洁性。