测试实例：空约束

约束的工作机制会产生这样的效果：即使一个 trait 不包含任何功能，你仍然可以用它 作为约束。标准库中的 Eq 和 Ord 就是这样的 trait。

  1. struct Cardinal;
  2. struct BlueJay;
  3. struct Turkey;
  5. trait Red {}
  6. trait Blue {}
  8. impl Red for Cardinal {}
  9. impl Blue for BlueJay {}
  11. // 这些函数只对实现了相应的 trait 的类型有效。
  12. // 事实上这些 trait 内部是空的，但这没有关系。
  13. fn red<T: Red>(_: &T)   -> &'static str { "red" }
  14. fn blue<T: Blue>(_: &T) -> &'static str { "blue" }
  16. fn main() {
  17.     let cardinal = Cardinal;
  18.     let blue_jay = BlueJay;
  19.     let _turkey   = Turkey;
  21.     // 由于约束，`red()` 不能作用于 blue_jay （蓝松鸟），反过来也一样。
  22.     println!("A cardinal is {}", red(&cardinal));
  23.     println!("A blue jay is {}", blue(&blue_jay));
  24.     //println!("A turkey is {}", red(&_turkey));
  25.     // ^ 试一试：去掉此行注释。
  26. }

参见：

std::cmp::Eq, std::cmp::Ord, 和 trait