trait

当然 trait 也可以是泛型的。我们在这里定义了一个 trait，它把 Drop trait 作为泛型方法实现了，可以 drop（丢弃）调用者本身和一个输入参数。

  1. // 不可复制的类型。
  2. struct Empty;
  3. struct Null;
  5. // `T` 的泛型 trait。
  6. trait DoubleDrop<T> {
  7.     // 定义一个调用者的方法，接受一个额外的参数 `T`，但不对它做任何事。
  8.     fn double_drop(self, _: T);
  9. }
  11. // 对泛型的调用者类型 `U` 和任何泛型类型 `T` 实现 `DoubleDrop<T>` 。
  12. impl<T, U> DoubleDrop<T> for U {
  13.     // 此方法获得两个传入参数的所有权，并释放它们。
  14.     fn double_drop(self, _: T) {}
  15. }
  17. fn main() {
  18.     let empty = Empty;
  19.     let null  = Null;
  21.     // 释放 `empty` 和 `null`。
  22.     empty.double_drop(null);
  24.     //empty;
  25.     //null;
  26.     // ^ 试一试：去掉这两行的注释。
  27. }

参见：

Drop, struct, 和 trait