Rust 闭包不会发送，即使它只捕获发送变量

发布于01月02日

我有以下Rust代码(Rustc 1.75.0)，它"强制"发送一个类型:

struct ForceSend<T>(T);
unsafe impl<T> Send for ForceSend<T> {}

pub fn perform<T>(t: T) {
    let wrapped = ForceSend(t);
    takes_send(move || {
        wrapped.0;
    });
}

fn takes_send<F: Send>(_: F) {}

我希望这段代码能够编译，因为闭包通过Move捕获了一个值wrapped，并且这个值是Send.每the documentation人:

如果由非唯一不可变引用捕获的所有变量都是同步的，且通过唯一不可变或可变引用、复制或移动捕获的所有值都被发送，则发送闭包.

然而，这无法编译，报告关闭是not发送.

为什么这不能编译？谢谢你的帮助！

推荐答案

wrapped.0仅将字段.0从wrapped移出，并且该字段的类型为T(非发送).这通常对partial moves很有用，您可以在其中移动-捕获字段的子集，并保持其余字段不移动.

在这种情况下，您必须确保移动entire wrapped对象，例如，通过创建将整个Wrapped移动到闭包中的绑定:

struct ForceSend<T>(T);
unsafe impl<T> Send for ForceSend<T> {}

pub fn perform<T>(t: T) {
    let wrapped = ForceSend(t);
    takes_send(move || {
        let w = wrapped;
        w.0;
    });
}

fn takes_send<F: Send>(_: F) {}

^[playground]

在不相关的说明中，如果T确实是不受限制的，则此代码可能是不可靠的，并且如果takes_send确实想要跨线程发送东西，则可能导致UB.例如，如果互斥/相关的某些操作系统实现从不同于获取线程的线程释放，则会发生故障，并且跨线程发送MutexGuard可能会产生这种情况.

另外，在更有用的情况下，下面是捕获过程中的部分移动行为的示例:

pub struct Foo(String, String);

pub fn perform(t: Foo) {
    takes_closure(move || {
        t.0
    });
    
    takes_closure(move || {
        t.1
    });
}

fn takes_closure<F: FnOnce() -> String>(_: F) {}

^[playground]