Rust中auto trait是什么？及Sized trait约束不满足问题排查

简单来说，自动特质是Rust编译器会自动帮所有类型都实现好的特殊特质——你不用手动给每个类型写impl AutoTrait for MyType这种代码。

举几个常见的例子：Send（标记类型可以安全跨线程传递）、Sync（标记类型可以安全在多线程共享）、Unpin（标记类型可以被安全地从Pin中移出），还有你代码里碰到的Sized，这些都是自动特质。

自动特质还有个实用特性：你可以手动让某个类型不实现它，比如自定义一个自动特质时用#[auto_trait]标记，再用!MyAutoTrait语法排除特定类型。

先看你代码触发的错误：only auto traits can be used as additional traits in a trait object，这里的问题出在impl AnotherTrait for SizedTrait + Sized这个写法上，咱们一步步拆解：

为啥会报错？ #

1. 首先，你的SizedTrait已经继承了Sized约束（trait SizedTrait: Sized），所以所有能实现SizedTrait的类型，必然都是Sized的，根本不需要额外加+ Sized。
2. 退一步说，就算你想加附加约束，Rust有个硬性规定：在 trait 对象的+后面，只能放自动特质——虽然Sized是自动特质，但它是个特例：trait 对象本身（比如dyn SizedTrait）是非Sized的，你要求它同时满足Sized约束，这本身就矛盾，所以编译器直接报错了。

正确的写法是什么？ #

你想要的应该是「给所有实现了SizedTrait的类型，都自动实现AnotherTrait」，这种场景用泛型impl就对了，代码改成这样：

trait SizedTrait: Sized {
    fn me() -> Self;
}

trait AnotherTrait: Sized {
    fn another_me() -> Self;
}

// 泛型impl：只要T实现了SizedTrait，就自动给T实现AnotherTrait
impl<T: SizedTrait> AnotherTrait for T {
    fn another_me() -> Self {
        Self::me()
    }
}

这样写不仅完全符合你的需求，编译器也不会报错——因为泛型T会被替换成具体的Sized类型（毕竟SizedTrait要求T是Sized的），完美匹配AnotherTrait的约束。

额外补充（如果需要支持 trait 对象） #

如果你确实需要用dyn SizedTrait这种 trait 对象，那得调整AnotherTrait的约束，因为 trait 对象本身是非Sized的，比如：

// 去掉Sized约束，改成用&self的方法
trait AnotherTrait {
    fn another_me(&self);
}

// 给dyn SizedTrait实现AnotherTrait
impl AnotherTrait for dyn SizedTrait {
    fn another_me(&self) {
        // 这里可以调用self的方法，但关联函数me()没法直接用，因为dyn类型是非Sized的
    }
}

不过从你原始代码的写法来看，泛型impl的方式应该就是你想要的。

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