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