std::带有可移动、不可复制参数的线程

问题描述 投票:0回答:2

以下程序未在 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. 或者我尝试的实现不符合要求?
c++ multithreading c++11 rvalue-reference
2个回答
14
投票

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) 应是有效表达式。

效果:构造一个线程类型的对象。新的执行线程执行

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。

所以是的,这应该可行。如果没有,那么这就是您的实现中的错误。


3
投票

作为替代方案,并且作为标准

std::thread
习惯用法,您可以传递引用包装器:

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

这将创建一个类型为

std::reference_wrapper<int>
的对象,它具有值语义并包装对
int
的引用(即复制包装器为引用别名)。

© www.soinside.com 2019 - 2024. All rights reserved.