如何定义可接收带捕获的lambda作为参数的C++函数

C++标准规定，无捕获的lambda表达式可以隐式转换为对应签名的普通函数指针，但携带捕获（包括捕获this、捕获局部变量等）的lambda存在内部状态，无法与无状态的普通函数指针类型兼容，因此会触发类型转换失败的报错。

方案1：改为模板函数适配任意可调用对象（首选） #

该方案无额外运行时开销，可自动适配lambda、函数指针、仿函数等所有符合调用签名的可调用对象，甚至可以直接兼容任意元素类型的list，不需要单独写不同结构体的重载版本：

// 通用模板版本，支持任意元素类型、任意可调用判断逻辑
template<typename Predicate, typename T>
bool _any(Predicate predicate, const std::list<T>& arr)
{
    // 改用范围for遍历，避免对list做多余修改，逻辑更简洁
    for (const auto& elem : arr)
    {
        if (predicate(elem))
            return true;
    }
    return false;
}

注意：模板函数的实现需要放在头文件中，否则会出现链接错误。

该方案不需要修改你原有调用代码，捕获了this的lambda可以直接传入使用。

方案2：用std::function做类型擦除 #

如果你需要将_any的声明和实现拆分到.h和.cpp文件（比如需要封装为动态库导出），可以把谓词参数改为std::function类型，它可以容纳所有符合签名的带状态可调用对象：
首先引入依赖头文件：

#include <functional>

修改_any定义：

bool _any(std::function<bool(MyStructure)> predicate, const std::list<MyStructure>& arr)
{
    for (const auto& elem : arr)
    {
        if (predicate(elem))
            return true;
    }
    return false;
}

对应OtherStruct的重载版本也按照同样规则修改为接收std::function<bool(OtherStruct)>类型的参数即可，原有调用代码不需要改动。

你原有_any实现中传值传入list、遍历过程中调用pop_front的逻辑会产生整个list的拷贝开销，改为const引用传参+范围for遍历可以大幅提升大list场景下的执行效率。

内容的提问来源于stack exchange，提问作者Arthur Attout