能否定义强制实现类型为!Send的Rust trait？

好问题！你提到的需求——强制某个trait的所有实现类型绝对不能在线程间发送或共享——确实不能通过直接给trait标记!Send来实现，不过我们有几种可行的替代方案，让我给你详细拆解：

为什么你的尝试行不通？ #

首先得解释下你写的代码为什么会报错：

1. trait ThreadThing : !Send {}：Rust目前不支持将负trait（比如!Send）作为trait的超约束。负trait的设计初衷是用于类型参数的约束，而不是用来限制trait的所有实现者。所以这行代码会直接触发语法错误。
2. impl !Send for ThreadThing {}：ThreadThing是一个trait，而非具体类型，Rust只允许给具体类型（比如结构体、枚举）实现自动trait（Send/!Send这类），所以这种写法同样不合法。

可行的解决方案 #

方案1：在使用Trait时添加!Send约束 #

这是最直接的方法：不在trait定义层面做限制，而是在使用该trait的函数/结构体中，给类型参数加上!Send约束。比如：

#![feature(optin_builtin_traits)]

trait ThreadThing {
    // 你的trait方法定义
    fn do_something(&self);
}

// 只有非Send的ThreadThing实现类型才能调用这个函数
fn process_non_send<T: ThreadThing + !Send>(item: T) {
    item.do_something();
}

// 示例实现：非Send类型
struct NonSendType;
impl ThreadThing for NonSendType {
    fn do_something(&self) {
        println!("I'm a non-send type!");
    }
}

// 示例实现：自动推导为Send的类型
struct SendType;
impl ThreadThing for SendType {
    fn do_something(&self) {
        println!("I'm a send type!");
    }
}

fn main() {
    process_non_send(NonSendType); // 正常编译
    // process_non_send(SendType); // 编译错误：SendType实现了Send，不满足!Send约束
}

这种方式的好处是简单直接，不需要额外的技巧，缺点是约束只在使用时生效，无法从根源上阻止有人给Send类型实现你的trait。

方案2：通过关联类型强制实现类型为!Send #

如果你想从trait实现层面就阻止Send类型，我们可以利用Rust的自动trait推导规则：如果一个类型包含了!Send的字段，那么它会被自动标记为!Send。我们可以通过trait强制实现者持有一个!Send的标记类型：

#![feature(optin_builtin_traits)]

// 定义一个私有、空的结构体，手动标记为!Send
#[derive(Default)]
struct NonSendMarker;
unsafe impl !Send for NonSendMarker {}

// 你的trait，要求实现者必须能返回这个标记的引用
trait ThreadThing {
    fn get_non_send_marker(&self) -> &NonSendMarker;
}

// 示例实现：必须持有NonSendMarker字段
struct MyNonSendType {
    marker: NonSendMarker,
}

impl ThreadThing for MyNonSendType {
    fn get_non_send_marker(&self) -> &NonSendMarker {
        &self.marker
    }
}

// 尝试给Send类型实现ThreadThing？不可能，因为必须持有NonSendMarker，而这个字段会让类型自动变成!Send
// struct MySendType;
// impl ThreadThing for MySendType {
//     fn get_non_send_marker(&self) -> &NonSendMarker {
//         // 这里无法返回有效的引用，因为MySendType没有NonSendMarker字段
//     }
// }

fn main() {
    let item = MyNonSendType { marker: NonSendMarker };
    // 此时item自动是!Send，无法在线程间发送
    // std::thread::spawn(move || item); // 编译错误：MyNonSendType is not Send
}

这种方案的优点是：只要实现了ThreadThing，类型就必然是!Send，从根源上避免了Send类型的实现。你还可以通过提供一个辅助宏或默认实现的结构体，让实现者更轻松地满足trait要求。

总结 #

Rust目前不支持直接给trait添加!Send的超约束，但通过上述两种方案，你完全可以达到“强制trait实现类型为非Send”的需求。如果只是在特定场景下限制使用，方案1足够；如果要从实现层面彻底禁止，方案2更适合。

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