使用 C++20 多态性 Lambda 函数时出错

Question

我正在尝试通过 C++ 中的 Lambda 编写高阶函数，并得到了这段代码。

void ProcessList::SortCol(std::string col, bool flag) {

    auto CmpGenerator = [&]<typename T>
        (std::function<T(const Process &itm)> func) {
        return (flag? [&](const Process &a, const Process &b) {
                            return func(a) < func(b);}
                    : [&](const Process &a, const Process &b) {
                            return func(a) > func(b);}
            );
        };

    std::function<bool(const Process &a, const Process &b)> cmp;

    if (col == "PID") {
        cmp = CmpGenerator([](const Process &itm) {
            return itm.GetPid();
        });
    }
    else if (col == "CPU") {
        cmp = CmpGenerator([](const Process &itm) {
            return itm.GetRatioCPU();
        });
    }
    else if (col == "COMMAND") {
        cmp = CmpGenerator([](const Process &itm) {
            return itm.GetCmd();
        });
    }
    std::sort(lst.begin(), lst.end(), cmp);
}

然而在编译时，g++ 报告没有匹配到

的调用

no match for call to ‘(ProcessList::SortCol(std::string, bool)::<lambda(std::function<T(const Process&)>)>) (ProcessList::SortCol(std::string, bool)::<lambda(const Process&)>)’

这里的代码有什么问题？

Answer 1

此示例中的主要问题是 lambda 不是 std::function。参见。

CmpGenerator 将其参数推导为 std::function<T(Process const&)>，但 lambda 永远不会匹配它，因此推导失败。

此外，CmpGenerator 的主体试图 return 两个不同的 lambda 之一——它们具有不同的类型。这些 lambda 不能相互转换，因此条件表达式将失败。但是我们也无法推断出 CmpGenerator 的 return 类型，因为两个不同的 lambda 具有不同的类型。

我们可以从完全手工开始。 std::ranges::sort进行投影，在这方面很有帮助：

if (col == "PID") {
    if (increasing) { // <== 'flag' is not a great name
        std::ranges::sort(lst, std::less(), &Process::GetPid);
    } else {
        std::ranges::sort(lst, std::greater(), &Process::GetPid);
    }
} else if (col == "CPU") {
    // ...
}

这给出了我们需要抽象的结构：我们不是生成比较对象，而是生成对 sort 的调用。

即：

auto sort_by = [&](auto projection){ // <== NB: auto, not std::function
    if (increasing) {
        std::ranges::sort(lst, std::less(), projection);
    } else {
        std::ranges::sort(lst, std::greater(), projection);
    }
};

if (col == "PID") {
    sort_by(&Process::GetPid);
} else if (col == "CPU") {
    sort_by(&Process::GetRatioCPU);
} else if (col == "COMMAND") {
    sort_by(&Process::GetCmd);
}

使用 C++20 多态性 Lambda 函数时出错

Got an Error when using C++20 Polymorphism Lambda Function

c++

lambda

higher-order-functions

c++20