C 17如何保存一个通用的可调用文件供以后使用

Question

我想保存一个带有状态的泛型可调用，以备以后使用。请参阅下面的示例代码。我可能可以使用std::function或std::bind来实现这一点，但我不知道什么是最好的。还请注意，在下面示例的main（）中，capuredInt必须保存在可调用的状态。

有哪些可能性：

• makeCallable（有趣，args…）{ ... }
• CallableType

template <typename RetT>
class Service
{
public:

   template <typename Fn, typename... Args>
   Service(Fn&& fun, Args&&... args)
   {
      m_callable = makeCallable(fun, args...);
   }

   Run()
   {
      m_callable();
   }

   CallableType<RetT> m_callable;
};

// Template deduction guides (C++17)
template <typename Fn, typename... Args>
Service(Fn&& fun, Args&&... args) -> Service<std::invoke_result_t<std::decay_t<Fn>, std::decay_t<Args>...>>;

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




Answer 1

给定设置，m_callable的唯一选项将是std::function。由于仿函数的类型是构造函数本身的参数，您必须键入-擦除仿函数以保存它以备将来使用-并且std::function只是一种机制。

因此，m_callable将是：

std::function<retT ()> m_callable;

你会把它设置成这样：

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

Answer 2

我还将使用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:：函数可以灵活地进行绑定。

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();

...那么你就不用担心上课造成的生活时间问题了。