Rust中已声明Send约束的类型为何在该场景下仍要求Sync约束？

问题核心原因 #

标准库中Arc<T>实现Send trait的前置要求是泛型参数T必须同时满足Send + Sync约束。

这个约束的合理性来自Arc的设计本质：Arc是共享所有权的智能指针，同一时间允许存在多个Arc实例指向同一块内存空间。当你将一个Arc实例跨线程发送时，原线程和新线程会同时持有指向内部T的共享引用，本质上触发了多线程共享访问T的场景，因此T必须实现Sync trait（即支持多线程安全共享只读访问）才能保证内存安全。

对应到你的代码场景：

1. 你为Decoder trait添加了Send约束，要求所有实现该trait的类型都可以跨线程发送
2. 你定义的OnConsume是Arc<dyn Fn() -> Option<Box<dyn EncodedPacket>> + Send>，仅为闭包添加了Send约束，缺少Sync约束
3. 因此OnConsume类型本身不满足Send要求，包含该字段的DummyDecoder自然也不满足Send约束，编译时就会触发你看到的错误。

可选解决方案 #

• 方案一：如果确实需要多个所有者共享闭包，为闭包额外添加Sync约束即可：

pub type OnConsume = Arc<dyn Fn() -> Option<Box<dyn EncodedPacket>> + Send + Sync>;

• 方案二：如果不需要多所有者共享，可将Arc替换为Box，Box<T>实现Send仅要求T: Send，不需要Sync约束：

pub type OnConsume = Box<dyn Fn() -> Option<Box<dyn EncodedPacket>> + Send>;

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