Rust自定义Unsized自动trait未适配dyn Any的问题排查

核心原因 #

dyn Trait 类型不会自动实现自定义自动trait，哪怕它是非Sized的——这是Rust自动trait实现规则的限制。

Rust对自动trait的自动实现逻辑分两种情况：

• 对于结构体、枚举、基本类型等常规类型：编译器会自动实现自定义自动trait，当且仅当该类型的所有组件（字段、泛型参数等）都实现了该trait。
• 对于dyn Trait这类动态类型：编译器只会自动实现Rust内置的自动trait（比如Send、Sync），且需要满足对应的对象安全条件（比如dyn Trait: Send要求所有实现Trait的类型都实现Send）。而自定义自动trait，编译器不会为dyn Trait自动推导实现——哪怕你的逻辑是“所有非Sized类型都实现它”，编译器也不会将dyn Trait的非Sized属性和你的自定义自动trait关联起来。

这就是为什么dyn Any明明是非Sized，却没有自动实现你的Unsized trait，哪怕移除了针对Sized类型的负实现也没用——负实现只是排除了Sized类型，但dyn Trait本身不在自定义自动trait的自动实现范围内。

解决方案 #

要让dyn Any实现Unsized，你需要显式添加实现代码：

impl Unsized for dyn std::any::Any {}

如果需要让所有对象安全的dyn Trait都实现Unsized，可以写一个泛型实现：

impl<T: ?Sized> Unsized for dyn T {}

这样就能让所有非Sized的dyn Trait类型都满足Unsized trait的约束了。

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