• 实现
    • 参见:

    实现

    和函数类似,实现(implementation)也需要关注保持泛型。(原文:Similar to functions, implementations require care to remain generic.)

    1. struct S; // 具体类型 `S`
    2. struct GenericVal<T>(T,); // 泛型类型 `GenericVal`
    3. // GenericVal 的实现,此处我们显式地指定了类型参量:
    4. impl GenericVal<f32> {} // 指定 `f32` 类型
    5. impl GenericVal<S> {} // 指定为上面定义的 `S`
    6. // `<T>` 必须在类型之前给出来以保持泛型。
    7. // (原文:`<T>` Must precede the type to remain generic)
    8. impl <T> GenericVal<T> {}
    1. struct Val {
    2. val: f64
    3. }
    4. struct GenVal<T>{
    5. gen_val: T
    6. }
    7. // Val 的实现(impl)
    8. impl Val {
    9. fn value(&self) -> &f64 { &self.val }
    10. }
    11. // GenVal 针对泛型类型 `T` 的实现
    12. impl <T> GenVal<T> {
    13. fn value(&self) -> &T { &self.gen_val }
    14. }
    15. fn main() {
    16. let x = Val { val: 3.0 };
    17. let y = GenVal { gen_val: 3i32 };
    18. println!("{}, {}", x.value(), y.value());
    19. }

    参见:

    函数返回引用, impl, 和 struct