Rust实现supertrait中声明的函数时出现编译错误如何解决？

你对supertrait的语义认知存在偏差：trait B: A的含义是所有实现B的类型必须先实现A，仅作为约束存在，并不会将A的方法合并到B的定义中，两个trait的实现是完全独立的。

• 第一个错误E0407：impl B for S块中只能实现B自身定义的方法，do_a属于A trait的成员，不能写在B的实现块中，因此编译器会提示该方法不属于B。
• 第二个错误E0277：你写在B实现块中的do_a不会被认定为A trait的实现，编译器检查到你要给S实现B，但S没有对应的A实现，因此抛出约束不满足的错误。

trait A {
    fn do_a(&self);
}

trait B: A {
    fn do_b(&self);
}

struct S {}

// 先单独实现A trait
impl A for S {
    fn do_a(&self) {}
}

// 再实现B trait，此时S已经满足B的supertrait约束
impl B for S {
    fn do_b(&self) {}
}

如果你希望所有实现B的类型自动获得A的实现，可以添加泛型实现（注意该实现不能和其他A的手动实现冲突）：

trait A {
    fn do_a(&self);
}

trait B: A {
    fn do_b(&self);
}

// 所有实现了B的类型自动获得A的默认实现
impl<T: B> A for T {
    fn do_a(&self) {
        // 此处写A的默认实现逻辑
    }
}

struct S {}

impl B for S {
    fn do_b(&self) {}
}

这种写法下不需要单独给S写A的实现，编译器会自动为S生成符合约束的A实现。

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