能否为实现TraitA的类型提供TraitB中fun_b的默认实现？

当然可以直接在TraitB内部实现这个逻辑，不需要额外定义TraitBDerived。你可以通过blanket实现（为所有满足条件的类型统一实现Trait）或者在方法上添加where约束的方式，让fun_b的默认实现仅对实现了TraitA的类型生效。

方案一：Blanket实现（自动为所有TraitA类型实现TraitB） #

这种方式最贴合你想要的“透明”效果——只要类型实现了TraitA，就自动获得TraitB的fun_b默认实现，无需额外手动声明实现TraitB。

trait TraitA {
    fn fun_a() -> String;
}

trait TraitB {
    fn fun_b() -> String;
}

// 为所有实现TraitA的类型自动实现TraitB
impl<T: TraitA> TraitB for T {
    fn fun_b() -> String {
        format!("prefix {}", Self::fun_a())
    }
}

方案二：在TraitB方法内添加where约束 #

这种方式需要类型显式实现TraitB，但如果该类型同时实现了TraitA，就可以直接使用fun_b的默认实现；若未实现TraitA，则必须手动实现fun_b。

trait TraitA {
    fn fun_a() -> String;
}

trait TraitB {
    fn fun_b() -> String
    where
        Self: TraitA,
    {
        format!("prefix {}", Self::fun_a())
    }
}

两种方案都能避免额外定义中间Trait，其中方案一的透明性更强。另外需要注意：如果之后你需要为某个已实现TraitA的类型手动定制fun_b逻辑，Rust会优先使用你手动实现的版本，不会和默认实现冲突。

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