• 限定
    • 参见：

    限定

    在运用泛型时，类型参量常常必须使用 trait 作为限定（bound）来明确规定一个类型实现了哪些功能。例如下面的例子用到了 Display trait 来打印，所以它要求 T 由 Display 限定，也就是说 T 必须实现 Display。

    1. // 定义一个函数 `printer`，接受一个泛型类型 `T`，其中 `T` 必须
    2. // 实现 `Display` trait。
    3. fn printer<T: Display>(t: T) {
    4.     println!("{}", t);
    5. }

    限定限制了泛型为符合限定的类型。即：

    1. struct S<T: Display>(T);
    3. // 报错！`Vec<T>` 未实现 `Display`。
    4. // 此特例化将失败。
    5. let s = S(vec![1]);

    限定的另一个作用是泛型实例允许访问在指定在限定中的 trait 的方法。例如：

    1. // 这个 trait 实现了打印标记：`{:?}`。
    2. use std::fmt::Debug;
    4. trait HasArea {
    5.     fn area(&self) -> f64;
    6. }
    8. impl HasArea for Rectangle {
    9.     fn area(&self) -> f64 { self.length * self.height }
    10. }
    12. #[derive(Debug)]
    13. struct Rectangle { length: f64, height: f64 }
    14. #[allow(dead_code)]
    15. struct Triangle  { length: f64, height: f64 }
    17. // 泛型 `T` 必须实现 `Debug`。不管什么类型，都可以正常工作。
    18. fn print_debug<T: Debug>(t: &T) {
    19.     println!("{:?}", t);
    20. }
    22. // `T` 必须实现 `HasArea`。任意符合限定的函数都可以访问
    23. // `HasArea` 的 `area` 函数。
    24. fn area<T: HasArea>(t: &T) -> f64 { t.area() }
    26. fn main() {
    27.     let rectangle = Rectangle { length: 3.0, height: 4.0 };
    28.     let _triangle = Triangle  { length: 3.0, height: 4.0 };
    30.     print_debug(&rectangle);
    31.     println!("Area: {}", area(&rectangle));
    33.     //print_debug(&_triangle);
    34.     //println!("Area: {}", area(&_triangle));
    35.     // ^ 试一试：将上述语句的注释去掉。
    36.     // | 报错：未实现 `Debug` 或 `HasArea`。
    37. }

    额外补充内容，某些情况下为了提高代码的表现力，where 从句也可以在限定上使用。

    参见：

    std::fmt, struct, 和 trait