的std ::螺纹,可移动的,不可复制的参数
下面的程序不会在VS11 beta制造,GCC 4.5,或3.1铿锵的std ::螺纹,可移动的,不可复制的参数
#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没有。
- 我是否错误的要求和参数必须是可复制的?
- 对于实现复制参数,标准是否在这个问题上留有余地?
- 或者我尝试不符合?
从30.3.1.2,第3段和N3337的4:
template <class F, class ...Args> explicit thread(F&& f, Args&&... args);
要求:
F
和Args
每个Ti
应满足MoveConstructible
要求。INVOKE (DECAY_-COPY (std::forward<F>(f)), DECAY_COPY (std::forward<Args>(args))...)
(20.8.2)应是一个有效的表达式。效果:构造一个线程类型的对象。执行的新线程执行
INVOKE (DECAY_-COPY (std::forward<F>(f)), DECAY_COPY (std::forward<Args>(args))...)
,并在构造线程中调用DECAY_COPY
进行评估。此调用的任何返回值都将被忽略。 [注意:这意味着在调用f
时不会引发的异常将在构造线程中抛出,而不是在新线程中抛出。 - 注意]如果INVOKE (DECAY_COPY (std::forward<F>(f)), DECAY_COPY (std::forward<Args>(args))...)
的调用以未捕获的异常终止,则应调用std :: terminate。
所以是的,这应该工作。如果没有,那么这是您实施中的一个错误。
请注意,任何参数移动/复制都将发生在新线程上。您将引用传递给另一个线程,因此您需要确保它们在该线程启动之前仍然存在。
作为替代方案,并为标准std::thread
成语,可以传递一个参考包装:
int p;
std::thread([](int & x) { /* ... */ }, std::ref(p));
这创建std::reference_wrapper<int>
类型的对象,其具有价值的语义和换行到一个int
的参考(即复制包装别名参考)。
您似乎通过复制传递线程参数(按照匿名函数签名)。参数类型不应该是'std :: unique_ptr &&'或'const std :: unique_ptr &'? –
2012-04-03 21:36:39
@安德烈:没有任何东西可以通过复制传递;通过_value_传递参数将根据调用者是传递左值还是右值来复制或移动。 – ildjarn 2012-04-03 21:47:22
@ildjarn:对不起,我的意思是“按价值”,而不是“通过复制”。它忽略了按值传递参数将选择移动构造函数(如果有)。 – 2012-04-03 22:23:49