|
|
|
@ -399,7 +399,7 @@ impl<T: Display + PartialOrd> Pair<T> {
|
|
|
|
|
}
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
<span class="caption">示例 10-17:根据 trait bound 在泛型上有条件的实现方法</span>
|
|
|
|
|
<span class="caption">示例 10-16:根据 trait bound 在泛型上有条件的实现方法</span>
|
|
|
|
|
|
|
|
|
|
也可以对任何实现了特定 trait 的类型有条件地实现 trait。对任何满足特定 trait bound 的类型实现 trait 被称为 *blanket implementations*,他们被广泛的用于 Rust 标准库中。例如,标准库为任何实现了 `Display` trait 的类型实现了 `ToString` trait。这个 `impl` 块看起来像这样:
|
|
|
|
|
|
|
|
|
|