• 特性 trait
    • 参见：

    特性 trait

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

    1. // 不可复制的类型。
    2. struct Empty;
    3. struct Null;
    5. // 用到 `T` 的trait 泛型。
    6. trait DoubleDrop<T> {
    7.     // 定义一个关于调用者的方法，接受一个额外的单一参量 `T`，
    8.     // 且没有任何操作。
    9.     fn double_drop(self, _: T);
    10. }
    12. // 针对泛型参量 `T` 和调用者 `U` 实现了 `DoubleDrop<T>` 。
    13. impl<T, U> DoubleDrop<T> for U {
    14.     // 此方法获得了两个传入参数的所有权，并释放这两个参数。
    15.     fn double_drop(self, _: T) {}
    16. }
    18. fn main() {
    19.     let empty = Empty;
    20.     let null  = Null;
    22.     // 释放 `empty` 和 `null`。
    23.     empty.double_drop(null);
    25.     //empty;
    26.     //null;
    27.     // ^ 试一试：去掉这两行的注释。
    28. }

    参见：

    Drop, struct, 和 trait