在 Rust 中实现泛型类型

简介

在本实验中，我们将学习如何在 Rust 中实现泛型类型和方法，这使我们在使用结构体或调用方法时能够指定不同的类型参数。

注意：如果实验未指定文件名，你可以使用任何你想要的文件名。例如，你可以使用 main.rs，并通过 rustc main.rs &&./main 进行编译和运行。

实现

与函数类似，实现也需要注意保持泛型。

struct S; // 具体类型 `S`
struct GenericVal<T>(T); // 泛型类型 `GenericVal`

// GenericVal 的实现，我们在这里显式指定类型参数：
impl GenericVal<f32> {} // 指定 `f32`
impl GenericVal<S> {} // 指定上面定义的 `S`

// `<T>` 必须在类型之前，以保持泛型
impl<T> GenericVal<T> {}

struct Val {
    val: f64,
}

struct GenVal<T> {
    gen_val: T,
}

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

// 泛型类型 `T` 的 GenVal 的实现
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());
}

总结

恭喜你！你已经完成了“实现”实验。你可以在 LabEx 中练习更多实验来提升你的技能。