的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没有。

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

来源

2012-04-03 bames53

您似乎通过复制传递线程参数（按照匿名函数签名）。参数类型不应该是'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

从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。

所以是的，这应该工作。如果没有，那么这是您实施中的一个错误。

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

来源

2012-04-03 21:47:10

它与g ++一起工作，从4.7版本开始 – je4d 2012-04-03 22:25:30

现在我不能再在clang中重现错误，即使我之前使用的代码位于源代码库中，并且我的历史记录中包含确切的命令行。我想我应该重新检查vs11。 – bames53 2012-04-04 00:55:21

实际上，它看起来像问题是旧版本的libC++ vs最新版本。 – bames53 2012-04-04 00:56:54

作为替代方案，并为标准std::thread成语，可以传递一个参考包装：

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

这创建std::reference_wrapper<int>类型的对象，其具有价值的语义和换行到一个int的参考（即复制包装别名参考）。

来源

2012-04-03 22:19:32

的std ::螺纹，可移动的，不可复制的参数

回答

相关问题