where 分句

约束也可以使用 where 分句来表达，它放在 { 的前面，而不需写在类型第一次出现 之前。另外 where 从句可以用于任意类型的限定，而不局限于类型参数本身。

where 在下面一些情况下有很用：

  • 当分别指定泛型的类型和约束会更清晰时：
  1. impl <A: TraitB + TraitC, D: TraitE + TraitF> MyTrait<A, D> for YourType {}
  3. // 使用 `where` 从句来表达约束
  4. impl <A, D> MyTrait<A, D> for YourType where
  5.     A: TraitB + TraitC,
  6.     D: TraitE + TraitF {}
  • 当使用 where 从句比正常语法更有表现力时。本例中的 impl 如果不用 where 从句，就无法直接表达。
  1. use std::fmt::Debug;
  3. trait PrintInOption {
  4.     fn print_in_option(self);
  5. }
  7. // 这里需要一个 `where` 从句，否则就要表达成 `T: Debug`（这样意思就变了），
  8. // 或着改用另一种间接的方法。
  9. impl<T> PrintInOption for T where
  10.     Option<T>: Debug {
  11.     // 我们要将 `Option<T>: Debug` 作为约束，因为那是要打印的内容。
  12.     // 否则我们会给出错误的约束。
  13.     fn print_in_option(self) {
  14.         println!("{:?}", Some(self));
  15.     }
  16. }
  18. fn main() {
  19.     let vec = vec![1, 2, 3];
  21.     vec.print_in_option();
  22. }

参见：

相关的 RFC、struct 和 trait