在 C++17 中将 lambda 作为方法参数传递的最简单方法

Question

Google 向我展示了很多关于将 lambdas 作为参数传递的 SO 帖子，但它们似乎都是基于 C++0x/C++11（例如 Use a lambda as a parameter for a C++ function），我知道这是一个在更新的 C++ 版本？

我想将一个非常简单的委托return MyGlobals.GetX() 作为方法变量传递——在我的例子中，MyGlobals 是一个全局对象。 即在 伪代码

//stores and/or calls the lambda
myObject.SetXGetter({return MyGlobals.GetX()});

MyObject::SetXGetter(lambda?)
{
 this->mLambda = Lambda;
 cout << mLambda();
}

较旧的 C++ 版本使得不得不使用 STL 包装器和临时类型变得非常混乱，所以在 C++17 及更高版本中，它可以做得多么整洁......SetGetter 看起来像什么，可以称为传递直接在 lambda 中？

（如果更新版本有不同的替代方案，请分享）

Answer 1

一个函数在自己的执行过程中只想调用一个传递的 lambda 或其他仿函数可以是一个函数模板，推断仿函数的类型：

template <typename F>
void use_it(F&& func) {
    do_something_with(func());
}

在这里您要存储稍后调用的函子，因此我们需要一个可以包装各种函子的通用类型。这就是std::function 的用途。假设返回类型为int：

#include <functional>

class MyObject {
// ...
private:
    std::function<int()> mLambda;
};
void MyObject::SetXGetter(std::function<int()> func) {
    mLambda = std::move(func);
}

您的调用缺少最初的 [捕获]，这是 lambda 表达式所必需的，即使没有捕获任何内容：

myObject.SetXGetter([]{ return MyGlobals.GetX(); });

Answer 2

我知道这是一个在最近的 C++ 版本中有所改进的领域？

一般不会。它已扩展到一些更复杂的情况，但简单的情况与 C++11 几乎相同。

在 C++17 中将 lambda 作为方法参数传递的最简单方法

选项保持不变：

• 您可以拥有一个模板并按原样传递 lambda。
• 或者您可以将 lambda 封装在类型擦除包装器中，例如 std::function，在这种情况下，您可以将其传递给非模板函数。
• 或者，如果 lambda 是非捕获的，则可以将其转换为函数指针，该指针也可以传递给非模板。

哪个最简单可能因上下文和个人意见而异。函数包装器在最广泛的不同情况下的工作方式相同，这是一个简单的选择。函数指针不涉及动态分配，在低层次上最容易理解。模板不涉及任何类型的包装或转换，但它是一个模板。

---

this->mLambda = Lambda;

鉴于您希望将可调用对象存储为可修改成员，因此不能将其存储为 lambda。剩下的是函数包装器和函数指针。您仍然可以为函数使用模板，但无论如何必须立即包装或转换 lambda，因此使用模板没有什么好处。

Answer 3

对于 C++20 及更高版本：

如果您不打算存储传递的函数，您可以执行以下操作

void use_it(auto func) {
    func();
}

您可以使用概念来进一步限制它，使其除了至少是可调用的以外什么都没有。

如果您想存储参数，不幸的是您仍然需要像其他答案所建议的那样命名它，并且它必须能够转换为您指定的类型：

#include <functional>

class MyObject {
public:
    void SetXGetter(auto func) {
        mLambda = std::move(func);
    }

private:
    std::function<int()> mLambda;
};