Question

虽然语法相似，但非继承（inheritance），所表达的是超集与子集。确切含义：要实现子集特征，就必须实现超集特征，反之则不然。实现超集的类型清单里，必然包含实现子集的类型。子集是对超集的进一步功能扩展，而非继承。

超集.清单 = 实现超集的类型 + 实现子集的类型。

trait Subtrait: Supertrait {}

改成约束，意思就更加明显。

trait Subtrait where Self: Supertrait {}

当然，子集扩展是相对的，也可以是一种强制要求。比如 Copy 不依赖 Clone ，也没有对其扩展，只强迫实现 Clone 特征而已。

trait Copy: Clone {}

子集可调用超集成员。

trait SuperTrait where Self: Debug {
  fn test(&self) {
    println!("{:?}", self);
  }
}

trait SubTrait: SuperTrait {
  fn hello(&self) {
    SuperTrait::test(self);
  }
}

/* ------------------------------------------------ */

impl SubTrait for i32 {} 
impl SuperTrait for i32 {}  // !!!

/* ------------------------------------------------ */

fn main() {
  let x = 123;
  x.hello();
}

既然两者之间并非继承关系，自然也就有选择歧义。

trait SuperTrait {
  fn test(&self) { println!("super"); }
}

trait SubTrait: SuperTrait {
  fn test(&self) { println!("sub"); }
}

impl SuperTrait for i32 {}
impl SubTrait for i32 {}

/* -------------------------------------------- */

fn main() {
  // 123.test();
  //   ^^^^ multiple `test` found

  SuperTrait::test(&123);
  SubTrait::test(&123);
}