c++ - 将参数移动到 std::thread 中？

Question

请考虑以下代码:

void h(M m2) 
{ 
    ...
}

int main()
{
  while (true) {
    M m1 = ...;
    std::thread t(h, std::move(m1));
    t.detach();
  }
}

是否保证 m2 在 m1 被销毁之前从 m1 正确地移动-d？还是有比赛？

Answer 1

标准对我来说似乎很清楚:

Effects: Constructs an object of type thread. The new thread of execution executes INVOKE (DECAY_COPY ( std::forward<F>(f)), DECAY_COPY (std::forward<Args>(args))...) with the calls to DECAY_COPY being evaluated in the constructing thread.

由于复制是在调用线程中进行的，因此它必须在构造函数调用返回之前完成。

build m2是从不同的对象(DECAY_COPY 的结果)完成的，而不是来自 m1 ，所以 m1 是否无关紧要是否被销毁。

DECAY_COPY 的结果必须由实现存储在某个地方，以便在目标函数初始化之前它不会超出范围，但这是实现正确的工作。销毁m1对此没有任何影响。