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

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没有.

1. 我对要求是错误的,参数必须是可复制的吗？
2. 对于复制参数的实现,标准是否在此问题上留有余地？
3. 或者我尝试不符合的实现？

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.

所以,是的,这应该工作.如果没有,那么这是您实施中的错误.

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