完美转发const ref扣减错误

Question

我写了一个超级简单的线程包装器，它接受一个函数并在线程中运行它，并提供一个简单的机制来在线程需要退出时发出信号。启动函数看起来像

//tw.hpp

class ThreadWrapper
{
public:
  // ...snipped ...
  template<typename... Args>
  bool start(Args&& ... args)
  {
    ft_ = std::async(std::launch::async, std::forward<Args>(args)...  );
    return true;
  }
};

当我将它用于非成员函数时，我需要将包装器的 const ref 传递给函数，即运行提供函数可用于知道何时退出的句柄：

void lone_worker(const ThreadWrapper& tw)
{
  while (!tw.is_quit_requested())
  {
    std::cout << "working hard alone\n";
    sleep(1);
  }
}

void nonmember_demo()
{
  ThreadWrapper tw;
  tw.start(&lone_worker, std::cref(tw)); // the cref is need to avoid hundreds of lines of compiler template puke with no useful error messages
  sleep(5);
  std::cout << "quitting\n";
  tw.request_quit();
}

当我最初编译它时没有使用 std::cref 字面上数百行编译器模板 puke (gcc 8.1.0) 并且没有明确的原因，我措手不及。是否有什么我没有做正确的完美转发要求使用 cref？我认为这部分是由于 class 不可复制（它包含一个 std::future）造成的，它闻起来有点难闻，因为至少我假设一开始就不应该进行复制。完整示例在这里：https://coliru.stacked-crooked.com/a/0eb4d6160b44764a

Answer 1

which smells a little since at least I assume no copy should be made in the first place

你的假设是错误的。 async mostly just forwards to thread，首先执行：

std::invoke(decay_copy(std::forward<Function>(f)), 
            decay_copy(std::forward<Args>(args))...);

这确实复制了所有参数。引用包装器的要点是避免这种复制 - 而不是复制 ThreadWrapper 对象（不可复制），而是复制 std::reference_wrapper<ThreadWrapper const> （可复制）。

来自 thread 的链接 cppreference 页面：

The arguments to the thread function are moved or copied by value. If a reference argument needs to be passed to the thread function, it has to be wrapped (e.g. with std::ref or std::cref).

完美转发const ref扣减错误

Perfect forwarding const ref deduction error

c++

c++17

perfect-forwarding