Shafik Yaghmour的答案正确地解释了为什么lambda不能作为函数指针传递，如果它有一个捕获。我想介绍两个简单的解决方法。

Use std::function instead of raw function pointers. This is a very clean solution. Note however that it includes some additional overhead for the type erasure (probably a virtual function call). #include <functional> #include <utility> struct Decide { using DecisionFn = std::function<bool()>; Decide(DecisionFn dec) : dec_ {std::move(dec)} {} DecisionFn dec_; }; int main() { int x = 5; Decide greaterThanThree { [x](){ return x > 3; } }; } Use a lambda expression that doesn't capture anything. Since your predicate is really just a boolean constant, the following would quickly work around the current issue. See this answer for a good explanation why and how this is working. // Your 'Decide' class as in your post. int main() { int x = 5; Decide greaterThanThree { (x > 3) ? [](){ return true; } : [](){ return false; } }; }

正如其他人提到的，你可以用Lambda函数代替函数指针。我使用这个方法在我的c++接口到F77 ODE求解器RKSUITE。

//C interface to Fortran subroutine UT
extern "C"  void UT(void(*)(double*,double*,double*),double*,double*,double*,
double*,double*,double*,int*);

// C++ wrapper which calls extern "C" void UT routine
static  void   rk_ut(void(*)(double*,double*,double*),double*,double*,double*,
double*,double*,double*,int*);

//  Call of rk_ut with lambda passed instead of function pointer to derivative
//  routine
mathlib::RungeKuttaSolver::rk_ut([](double* T,double* Y,double* YP)->void{YP[0]=Y[1]; YP[1]= -Y[0];}, TWANT,T,Y,YP,YMAX,WORK,UFLAG);

如果lambda没有捕获，则只能将其转换为函数指针，摘自c++ 11标准草案5.1.2节[expr.prim. xml]。Lambda]表示(强调我的):

没有lambda捕获的lambda表达式的闭包类型具有 到指针的公共非虚拟非显式const转换函数 函数具有与闭包相同的参数和返回类型 类型的函数调用操作符。此转换返回的值 Function应是函数的地址，该函数在调用时具有 与调用闭包类型的函数调用操作符的效果相同。

注意，cppreference在Lambda函数一节中也介绍了这一点。

因此，以下选择是可行的:

typedef bool(*DecisionFn)(int);

Decide greaterThanThree{ []( int x ){ return x > 3; } };

这个也一样:

typedef bool(*DecisionFn)();

Decide greaterThanThree{ [](){ return true ; } };

正如5gon12eder所指出的，您也可以使用std::function，但请注意std::function是很重要的，所以它不是一个无成本的权衡。

这不是一个直接的答案，而是使用“functor”模板模式来隐藏lambda类型的细节，并保持代码的美观和简单。

我不确定你想如何使用决定类，所以我必须用一个使用它的函数扩展类。完整示例请参见:https://godbolt.org/z/jtByqE

类的基本形式可能是这样的:

template <typename Functor>
class Decide
{
public:
    Decide(Functor dec) : _dec{dec} {}
private:
    Functor _dec;
};

将函数类型作为类类型的一部分传入，如下所示:

auto decide_fc = [](int x){ return x > 3; };
Decide<decltype(decide_fc)> greaterThanThree{decide_fc};

再一次，我不确定为什么你要捕捉x它更有意义(对我来说)有一个参数，你传递给lambda)，所以你可以像这样使用:

int result = _dec(5); // or whatever value

有关完整示例，请参见链接

一个类似的答案，但我这样做是为了让你不必指定返回指针的类型(注意，通用版本需要c++ 20):

#include <iostream>


template<typename Function>
struct function_traits;

template <typename Ret, typename... Args>
struct function_traits<Ret(Args...)> {
    typedef Ret(*ptr)(Args...);
};

template <typename Ret, typename... Args>
struct function_traits<Ret(*const)(Args...)> : function_traits<Ret(Args...)> {};

template <typename Cls, typename Ret, typename... Args>
struct function_traits<Ret(Cls::*)(Args...) const> : function_traits<Ret(Args...)> {};

using voidfun = void(*)();

template <typename F>
voidfun lambda_to_void_function(F lambda) {
    static auto lambda_copy = lambda;

    return []() {
        lambda_copy();
    };
}

// requires C++20
template <typename F>
auto lambda_to_pointer(F lambda) -> typename function_traits<decltype(&F::operator())>::ptr {
    static auto lambda_copy = lambda;
    
    return []<typename... Args>(Args... args) {
        return lambda_copy(args...);
    };
}



int main() {
    int num;

    void(*foo)() = lambda_to_void_function([&num]() {
        num = 1234;
    });
    foo();
    std::cout << num << std::endl; // 1234

    int(*bar)(int) = lambda_to_pointer([&](int a) -> int {
        num = a;
        return a;
    });
    std::cout << bar(4321) << std::endl; // 4321
    std::cout << num << std::endl; // 4321
}

虽然模板方法出于各种原因很聪明，但重要的是要记住lambda和捕获的变量的生命周期。如果要使用任何形式的lambda指针is，并且lambda不是向下延续，那么只应该使用复制[=]lambda。也就是说，即使这样，如果捕获的指针的生命周期(堆栈unwind)比lambda的生命周期短，那么在堆栈上捕获一个指向变量的指针也是不安全的。

捕获lambda作为指针的一个更简单的解决方案是:

auto pLamdba = new std::function<...fn-sig...>([=](...fn-sig...){...});

例如,新std::函数<空白 ()>([=]() -> 空白{…}

只需要记住稍后删除pLamdba，以确保不会泄漏lambda内存。 这里要意识到的秘密是lambdas可以捕获lambdas(问问自己这是如何工作的)，而且为了让std::function正常工作，lambda实现需要包含足够的内部信息来提供对lambda(和捕获的)数据大小的访问(这就是为什么delete应该工作[运行捕获类型的析构函数])。