如何绑定异步

Question

我已经用VS，g++和Clang尝试了以下内容，并且无法对喷出的任何错误进行押韵或原因。

void foo() {}
auto f = bind(async, foo);

我怀疑这些错误可能源于对绑定到哪个 async（） 的混淆，一个采用启动策略，一个不采用启动策略......或者我必须明确地给 async（） 它的模板类型（例如 async<...>）？无论哪种方式，写上述语句的正确方法是什么？

编辑：

感谢您的建议，但以下方法都不起作用（使用任何编译器）：

bind(async<decltype(foo)>, foo);
bind(async<void (*)()>, foo);
bind(async<function<void ()> >, foo);

Answer 1

std::async不仅

是一个模板，而且还是重载的。 您不仅需要选择所需的模板，还需要选择重载。

 typedef decltype(&foo) foo_type;
 typedef std::result_of<foo_type()>::type foo_rettype;
 auto chosen_async=
   static_cast<std::future<foo_rettype> (*)(foo_type && )>
     (&std::async<foo_type>);

不幸的是，std::bind似乎不允许绑定函数采用右值引用。 所以仅仅写std::bind(chosen_async, &foo)仍然行不通。 右值引用是否有reference_wrapper<>中讨论了此问题的解决方法？：

template<typename T> struct adv { 
  T t; 
  explicit adv(T &&t):t(std::forward<T>(t)) {} 
  template<typename ...U> T &&operator()(U &&...) { 
    return std::forward<T>(t); 
  } 
}; 
template<typename T> adv<T> make_adv(T &&t) { 
  return adv<T>{std::forward<T>(t)}; 
}
namespace std { 
  template<typename T> 
  struct is_bind_expression< adv<T> > : std::true_type {}; 
} 

我们可以通过说std::bind(chosen_async, make_adv(std::move(&foo)))来完成，除了一个问题：你不能直接传递我们的一个包装对象std::async因此std::result_of<...>（因此std::bind）无法推断chosen_async会返回什么。 所以我们明确声明返回类型：

auto async_bound=
    std::bind<std::future<foo_rettype>>(chosen_async, 
                                        make_adv(std::forward<foo_type>(&foo)));

做所有这些似乎足以让海湾合作委员会高兴，至少：http://ideone.com/gapLs。

---

当然，你可以用lambda表达式为自己省去很多麻烦：

auto async_bound=[=]()->std::future<void> {return std::async(&foo);};

Answer 2

您必须为async提供模板参数。 绑定到的async不止一个。 函数模板的每个实例化都有一个。