C ++ 17如何保存通用可调用以供以后使用

Question

我想保存一个带有其状态的通用可调用对象以供以后使用。请参阅下面的示例代码。我可能可以使用std::function 或std::bind 来实现这一点，但我不知道什么是最好的。另请注意，在下面示例的main() 中，capturedInt 必须保存在可调用的状态中。

有哪些可能性：

• makeCallable(fun, args...) { ... }
• CallableType

模板 
类服务
{
民众：

   模板 
   服务(Fn&& fun, Args&&... args)
   {
      m_callable = makeCallable(fun, args...);
   }

   跑步（）
   {
      m_callable();
   }

   CallableType m_callable;
};

// 模板推导指南 (C++17)
模板 
服务(Fn&& fun, Args&&... args) -> 服务<:invoke_result_t>, std::decay_t...>>;

主函数（）
{
   服务* s = nullptr;
   {
      int 捕获Int = 5;
      s = new Service([capturedInt]() { std::cout 运行（）；
}

Answer 1

我也会使用std::function，但将其作为类的接口，如下所示：

template <typename RetT>
class Service
{
public:

   Service(std::function<RetT()> fun)
   {
      m_callable = std::move(fun);
   }

   Run()
   {
      m_callable();
   }
private:
   std::function<RetT()> m_callable;
};

然后，您将明确存储类的可调用对象的选项。然后，用户可以决定如何将他们的参数绑定到自己的可调用对象上，这对于 std::function 来说是灵活的。

s = new Service([capturedInt]() { std::cout << capturedInt << std::endl; } );
s->Run();

或

struct Foo
{
    void MyPrint(int capturedInt) { std::cout << capturedInt << std::endl; }
};
Foo foo;
int capturedInt = 5;
s = new Service(std::bind(&Foo::MyPrint, &foo, capturedInt);
s->Run();

。那么你就不用担心类导致的终身问题了。

Answer 2

根据设置，m_callable 的唯一选择是std::function。由于函子的类型是构造函数本身的参数，因此您必须对函子进行类型擦除以保存以供将来使用 - 而std::function 只是一种机制。

因此，m_callable 将是：

std::function<retT ()> m_callable;

你会这样设置：

m_callable = [=]() { return fun(args...); }