将方法从特征实现移动到特征定义时出现类型不匹配错误

Question

我有两个结构，VM 和 Word。我需要一个新的结构Control，它的行为就像VM，但多了一个字段master。因为 Rust 没有继承，所以我尝试通过组合来扩展结构。我将VM 的功能移动到一个新的特征Core 中，并为Control 实现Core。生成的代码有效。

struct Word<T> {
  action: fn(target: &T)
}

struct VM {
  word: Word<VM>
}

trait Core<T> {
  fn word(&self) -> &Word<T>;
  fn hello(&self) { println!("Hello"); }
  fn execute(&self);
}

impl Core<VM> for VM {
  fn word(&self) -> &Word<VM> { &self.word }
  fn execute(&self) { (self.word().action)(self); }
}

struct Control {
  word: Word<Control>,
  master: i32,
}

impl Core<Control> for Control {
  fn word(&self) -> &Word<Control> { &self.word }
  fn execute(&self) { (self.word().action)(self); }
}

fn main() {
  let vm = VM{
    word: Word {action: Core::hello}
  };
  vm.execute();
  let control = Control{
    word: Word {action: Core::hello},
    master: 0,
  };
  vm.execute();
}

execute 的两个实现是相同的。所以我将 execute 移动到 trait Core。

trait Core<T> {
  fn word(&self) -> &Word<T>;
  fn hello(&self) { println!("Hello"); }
  fn execute(&self) { (self.word().action)(self); }
}

impl Core<VM> for VM {
  fn word(&self) -> &Word<VM> { &self.word }
}

impl Core<Control> for Control {
  fn word(&self) -> &Word<Control> { &self.word }
}

编译时出现以下错误：

main.rs:14:44: 14:48 error: mismatched types:
 expected `&T`,
    found `&Self`
(expected type parameter,
    found Self) [E0308]
main.rs:14   fn execute(&self) { (self.word().action)(self); }

我该如何解决这个问题？

Answer 1

如果您将执行移动到Core，则特征定义中没有任何内容表明T 与Self 的类型相同。

trait Core<T> {
  fn word(&self) -> &Word<T>;
  fn hello(&self) { println!("Hello"); }
  fn execute(&self) { 
      (self.word() // this is a &Word<T>
          .action) // this is a fn(T)
          (self);  // this type is Self. T is not necessarily = Self
  }
}

当execute 在impl Core<Control> for Control 中时，impl 说Self 和T 都是=Control，所以execute 有效。但是如果 T 可以是 trait 定义中的任何东西，Rust 就不能让你的代码编译。

如何解决它取决于您需要做什么。

如果您的 trait 总是要以这种方式实现（impl Core<Something> for Something 或 impl Core<SomethingElse> for SomethingElse 但绝不是 impl Core<Something> for SomethingElse），您可以从 trait 定义中删除参数并只使用：

trait Core: Sized {
  fn word(&self) -> &Word<Self>; // now you can't parametrize what 
                                 // Word to return. It will be Self.
  fn hello(&self) { println!("Hello"); }
  fn execute(&self) { (self.word().action)(self); } // ...and this works
}