约束

在使用泛型时，类型参数通常需要使用 trait 作为约束，以规定类型应实现哪些功能。例如，下面的示例使用 Display trait 来打印，因此它要求 T 必须受 Display 约束；换句话说，T 必须实现 Display。

// 定义一个函数 `printer`，它接受一个泛型类型 `T`，
// 该类型必须实现 `Display` trait。
fn printer<T: Display>(t: T) {
    println!("{}", t);
}

约束将泛型限制为符合约束条件的类型。也就是说：

struct S<T: Display>(T);

// 错误！`Vec<T>` 没有实现 `Display`。
// 这个特化将会失败。
let s = S(vec![1]);

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

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

另外值得注意的是，在某些情况下可以使用 where 子句来应用约束，以使表达更加清晰。

另请参阅：

std::fmt、struct和 trait