c++中的lambda泛型参数是什么_c++14 auto参数lambda表达式

穿越時空 2025-12-21 00:00:00 次阅读

泛型Lambda是C++14中允许在lambda参数中使用auto的特性，使lambda能接受任意类型参数。编译器将其视为函数对象，其operator()为函数模板，从而实现类似函数模板的行为。例如：auto print = [](const auto& value) { std::cout

在C++14中，lambda表达式支持使用auto作为参数类型，这被称为泛型lambda。它允许lambda表达式接受任意类型的参数，从而像函数模板一样工作。

什么是泛型Lambda？

在C++14之前，lambda的参数必须显式指定类型，不能使用模板。C++14引入了允许在lambda参数中使用auto的特性，编译器会将这样的lambda视为一个函数对象，其operator()是一个函数模板。

例如：

auto print = [](const auto& value) {
    std::cout << value << std::endl;
};

这个lambda可以接受任何类型（只要能被std::cout输出），编译器会对每种传入的类型实例化一次operator()。

泛型Lambda的工作原理

当你在lambda参数中使用auto，编译器会生成一个类，其中operator()是模板函数。比如上面的例子大致等价于：

struct PrintLambda {
    template
    void operator()(const T& value) const {
        std::cout << value << std::endl;
    }
};

每次调用该lambda并传入不同类型时，都会触发模板的实例化。

使用场景和示例

泛型lambda在需要编写简洁、通用的回调或算法时非常有用。

常见用途包括：

STL算法中的通用比较或操作
容器遍历的通用处理函数
实现简单的多态行为而无需定义完整模板函数

示例：使用泛型lambda排序不同容器

#include 
#include 
#include 

auto ascending = [](const auto& a, const auto& b) {
    return a < b;
};

std::vector vec = {3, 1, 4};
std::list lst = {2.5, 1.0, 3.7};

std::sort(vec.begin(), vec.end(), ascending);
lst.sort(ascending); // list有自己的sort成员