时间戳

首页 > 解决方案 > 使用 C++20 多态 Lambda 函数时出错

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

问题描述

我正在尝试通过 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&)>)’

代码有什么问题？

标签： c++lambdac++20higher-order-functions

解决方案

此示例中的主要问题是 lambda 不是std::function. 看到这个问题。

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

此外，主体CmpGenerator试图返回两个不同的 lambdas 之一——它们具有不同的类型。这些 lambda 不能相互转换，因此条件表达式将失败。但是我们也无法推断出返回类型，CmpGenerator因为两个不同的 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);
}

推荐阅读