捕获Send变量的闭包仍不满足Send trait的编译问题问询

我编写了如下Rust代码（rustc 1.75.0），尝试通过自定义结构体ForceSend强制类型实现Send trait：

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) {}

根据Rust官方文档定义：若闭包所有通过move捕获的值均为Send类型，则该闭包满足Send trait。但这段代码编译失败，提示闭包不满足Send。请问该问题的原因是什么？

原因解析 #

• 闭包虽然捕获了ForceSend<T>类型的wrapped，但它直接访问了wrapped.0也就是内部的T值。Rust的类型检查会追踪闭包实际依赖的类型：此时闭包的Send属性不再只由ForceSend<T>决定，而是被T的Send性约束——因为T本身没有Send保证，哪怕外层的ForceSend<T>是Send，闭包访问了不安全的T，就无法满足Send要求。
• 简单来说，ForceSend<T>的Send实现是unsafe的，它只是告诉编译器“这个结构体可以安全跨线程”，但当你把内部的T暴露出来时，编译器会重新检查T的安全性。闭包里直接使用T，相当于绕开了ForceSend的封装，让T的非Send特性暴露出来，导致闭包不满足Send。
• 如果要修复这个问题，要么给perform函数加上T: Send的约束（确保T本身就是安全的），要么让闭包只持有wrapped而不访问其内部的T（比如只做let _ = wrapped;这样的操作），此时闭包的Send性由ForceSend<T>保证，就能编译通过。

内容的提问来源于stack exchange，提问作者ridiculous_fish