C++带柯里化参数的函数返回示例编译错误排查

你的代码核心问题有两个：

• 捕获变量的lambda无法隐式转换为普通函数指针
  捕获了b的lambda是带状态的函数对象，而bool (*)(int)这类普通函数指针只能指向无状态、未捕获任何变量的函数（包括无捕获的lambda），C++规则不允许带捕获的lambda转换成普通函数指针。
• 原函数签名的逻辑矛盾
  你试图返回一个携带b状态的函数，但普通函数指针无法保存这个状态，所以即便修正了参数位置，本质问题仍未解决。

正确实现方式 #

要返回带柯里化参数的函数，应该用std::function来承载带状态的函数对象，代码如下：

#include <functional>

// 返回绑定了b的函数，判断v是否大于b
std::function<bool(int)> greater(int b) 
{
    return [b](int v) { return v > b; };
}

如果不想依赖std::function，也可以手动实现带状态的函数对象结构体：

struct Greater {
    int b;
    bool operator()(int v) const {
        return v > b;
    }
};

Greater greater(int b) {
    return Greater{b};
}

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