c++ - 完美转发const ref扣减错误

Question

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

//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？我认为这部分是由于该类不可复制(它包含一个 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 大部分只是转发到 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).