Question

特征方法必须实现，即便目标类型已有同名方法。

• 多个特征同名方法，须单独实现。
• 以 Self 、 self 引用时，目标类型成员优先。

特征的 .vtable 里没有类型方法。

struct Data;

impl Data {
  fn name(&self) -> &'static str { "M" }
}

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

trait TestTrait { 
  fn name(&self) -> &'static str; 
}

impl TestTrait for Data {}
^^^^^^^^^^^^^^^^^^^^^^^ missing `name` in implementation

可为多个类型实现某个特征，所以编译器要明确知道具体调用目标。

• 以 trait + self 推断。
• 以 trait as type 完全限定。

struct Data;

impl Data {
  fn name(&self) -> &'static str { "M" }
}

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

trait TestTrait { 
  fn hi(&self);
  fn name(&self) -> &'static str; 
}

impl TestTrait for Data {  
  fn name(&self) -> &'static str { "T" }

  fn hi(&self) {
    assert_eq!(self.name(), "M");
    assert_eq!((self as &dyn TestTrait).name(), "T");
    assert_eq!(TestTrait::name(self), "T");
  }  
}

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

fn main() {
  let d = Data;
  
  // 默认方法
  assert_eq!(d.name(), "M");

  // 特征方法
  let a: &dyn TestTrait = &d;
  assert_eq!(a.name(), "T");

  // 限定（trait + self）
  assert_eq!(TestTrait::name(&d), "T");

  // 完全限定
  assert_eq!(<Data as TestTrait>::name(&d), "T");

  d.hi();
}