Lambda 捕获列表和定义的函数指针类型

Lambda capture list and defined function pointer type

本文关键字：函数 指针 类型 定义 列表 Lambda      更新时间：2023-10-16

以下代码无法编译：

typedef void(*RunnableFun)(int);  //pointer-to-function type
void foo(RunnableFun f) {
}
void bar(const std::string& a) {
    foo([&](int) -> void { std::cout << a; });
}

智能感知告诉我 

no suitable conversion function from "lambda []void (int)->void" to "RunnableFun" exists

编译器抱怨

  'void foo(RunnableFun)' : cannot convert argument 1 from 'bar::<lambda_796873cf40a6be4e411eb9df14f486bf>' to 'RunnableFun'

但以下内容确实可以编译：

typedef void(*RunnableFun)(int);  //pointer-to-function type
void foo(RunnableFun f) {
}
void bar(const std::string&) {
    // Notice the empty capture list
    foo([](int) -> void { std::cout << "dummy"; });
}

如何保留foo()的签名，同时实现我在第一个代码示例中尝试的内容？

PS：将 foo 的签名更改为 void foo(std::function<void(int)> f) 可以编译，但我可以在不更改它的情况下执行此操作吗？

您可以查看大多数标准库算法函数。当他们采用"谓词"（可调用对象）时，他们将其作为模板参数。

因此，您可以将函数设置为模板：

template<typename FunctionType>
void foo(FunctionType f) {
}

无需进行其他更改。

要么是这个，要么是使用std::function，如果不更改foo功能，就无法解决问题。

指向函数的指针仅存储执行位置，不存储其他状态。 执行之间的唯一更改必须由全局状态确定。

在您的情况下，您希望 lambda 捕获本地状态。 因此，当在a="hello"之后调用时，它打印的值与在a="world"之后调用时不同。

简短的回答是"太糟糕了，太难过了，但没有"。

你可以破解一点。 您可以将a存储在static std::string ga;中，并在 lambda 中访问。 请注意，这是丑陋的，不是可重入的，不必要地将您的代码暴露给全局状态，并且通常是一个坏主意。

void bar(const std::string& a) {
  static std::string ga;
  ga = a; // note, separate line
  foo([](int) -> void { std::cout << ga; });
}

通常，纯函数指针回调 API 是一个无知的傻瓜设计 API 的标志：正确的 C 样式回调需要void*，而适当的 C++ 回调是可调用的std::function或模板或类似。 （无知，因为他们不知道void*模式很常见：傻瓜，因为即使您不知道它，他们在尝试了几次系统并注意到大洞后也没有自己解决。 没关系：大多数程序员都是傻瓜，直到他们自己犯了所有错误！

如果你实际上有一个void*或等效的论点，你被召回，你从你的问题中省略了它，答案是完全不同的。 只需在该void*中存储一个 ptr 到-lambda，并存储一个无状态的lambda，该lambda从void*中投射和调用有状态的lambda。

相关文章：