Question

以下程序不构建VS11 beta，gcc 4.5或clang 3.1

#include <thread>
#include <memory>

int main() {
    std::unique_ptr<int> p;
    std::thread th([](std::unique_ptr<int>) {

    },std::move(p));
    th.join();
}

这是因为参数类型不可复制，但实现尝试复制它。

据我所知，这个程序结构合理，应该可行。对std :: thread的要求似乎意味着可移动的，不可复制的参数应该在这里工作。具体来说，它表示可调用对象和每个参数应满足MoveConstructible要求，INVOKE(DECAY_COPY(std::forward<F>(f)),DECAY_COPY(std::forward<Args>(args))...)应为有效表达式。

在这种情况下，我认为表达式可以解释为：

template <class T> typename std::decay<T>::type decay_copy(T&& v)
{ return std::forward<T>(v); }

std::unique_ptr<int> p;
auto f = [](std::unique_ptr<int>) {};

decay_copy(f)(decay_copy(std::move(p)));

我不认为这应该涉及p的副本。 gcc至少可以编译这个表达式，虽然VS11没有。

我的要求是否错误，论证必须是可复制的？
对于复制参数的实现，标准是否在此问题上留有余地？
或者我尝试不合规的实施？

Answer 1

从N3337的30.3.1.2第3和第4段开始：

<强> template <class F, class ...Args> explicit thread(F&& f, Args&&... args);

需要： F 以及 Ti 中的每个 Args >应满足MoveConstructible要求。 INVOKE (DECAY_-COPY ( std::forward<F>(f)), DECAY_COPY (std::forward<Args>(args))...)（20.8.2）应为有效表达。

效果：构造一个thread类型的对象。新的执行线程执行INVOKE (DECAY_-COPY ( std::forward<F>(f)), DECAY_COPY (std::forward<Args>(args))...)，并在构造线程中对DECAY_COPY的调用进行评估。此调用的任何返回值都将被忽略。 [注意：这意味着在调用 f 副本时不会抛出的任何异常都将在构造线程中抛出，而不是新线程。 -end note]如果INVOKE (DECAY_COPY ( std::forward<F>(f)), DECAY_COPY (std::forward<Args>(args))...)的调用以未捕获的异常终止，则应调用std :: terminate。

所以是的，这应该有效。如果没有，那么这就是你实施中的一个错误。

请注意，任何参数移动/复制都将在新线程上进行。您正在将引用传递给另一个线程，因此您需要确保它们在该线程启动之前仍然存在。

Answer 2

作为替代方案，作为标准std::thread习语，您可以传递参考包装器：

int p;
std::thread([](int & x) { /* ... */ }, std::ref(p));

这会创建一个std::reference_wrapper<int>类型的对象，它具有值语义并包含对int的引用（即复制包装器别名引用）。

具有可移动，不可复制参数的std :: thread

2 个答案: