3

我有一些代码（由 GitHub 上的 progschj 提供），我已经对其进行了修改以举例说明我的问题。MakeTask 将任何函数及其参数移动到 MakeTask 中，从而生成 packaged_task。执行创建的任务，然后将其未来返回给调用者。这非常巧妙，但我也希望能够使用成员函数来做到这一点。但是，如果我将 Func 放入一个结构中，MakeTask 中的 F&& 将失败，并出现代码中记录的错误。

#include <future>
#include <memory>
#include <string>
#include <functional>

template<class F, class... Args>
auto MakeTask( F&& f, Args&&... args )-> std::future< typename std::result_of< F( Args... ) >::type >
{
  typedef typename std::result_of< F( Args... ) >::type return_type;

  auto task = std::make_shared< std::packaged_task< return_type() > >(
    std::bind( std::forward< F >( f ), std::forward< Args >( args )... )
    );

  std::future< return_type > resultFuture = task->get_future();

  ( *task )( );

  return resultFuture;
}

struct A
{
  int Func( int nn, std::string str )
  {
    return str.length();
  }
};

int main()
{
  // error C2893: Failed to specialize function template 'std::future<std::result_of<_Fty(_Args...)>::type> MakeTask(F &&,Args &&...)'
  // note: 'F=int (__thiscall A::* )(int,std::string)'
  // note: 'Args={int, const char (&)[4]}'
  auto resultFuture = MakeTask( &A::Func, 33, "bbb" );  // does not compile

  int nn = resultFuture.get();

  return 0;
}

如果我把 Func 变成一个静态的，我可以让它工作，但这会破坏我的应用程序代码的其他部分。

Edit1：我找出了 std::function 的语法并用新的错误消息修改了示例。MakeTask 的 F&& move 参数不接受我的 aFunc 作为可调用对象。

Edit2：由于 Barry 的回答，我将示例代码更改回原始帖子，因此他的回答对未来的观众有意义。

4

1 回答 1

3

&A::Func是一个非静态成员函数，这意味着它需要一个实例A来操作。所有函数对象/适配器使用的约定是提供的第一个参数将是该实例。

MakeTask()要求第一个参数 ( F) 可以与所有其他参数 ( ) 一起调用Args...。&A::Func需要三个参数：一个类型的对象A（或指向 orA的指针reference_wrapper<A>）、anint和 a string。你只是错过了第一个：

auto resultFuture = MakeTask( &A::Func, A{}, 33, "bbb" );
                                       ^^^^^
于 2016-07-15T20:49:41.020 回答