Rust 实现

和函数类似，impl 块要想实现泛型，也需要很仔细。

#![allow(unused)]
fn main() {
struct S; // 具体类型 `S`
struct GenericVal <T>(T,); // 泛型类型 `GenericVal`

// GenericVal 的 `impl`，此处我们显式地指定了类型参数：
impl GenericVal <f32> {} // 指定 `f32` 类型
impl GenericVal <S> {} // 指定为上面定义的 `S`

// ` <T>` 必须在类型之前写出来，以使类型 `T` 代表泛型。
impl  <T> GenericVal <T> {}
}

struct Val {
    val: f64
}

struct GenVal <T>{
    gen_val: T
}

// Val 的 `impl`
impl Val {
    fn value(&self) -> &f64 { &self.val }
}

// GenVal 的 `impl`，指定 `T` 是泛型类型
impl  <T> GenVal <T> {
    fn value(&self) -> &T { &self.gen_val }
}

fn main() {
    let x = Val { val: 3.0 };
    let y = GenVal { gen_val: 3i32 };
    
    println!("{}, {}", x.value(), y.value());
}

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