Rust 为什么对所有实现Ord的类型都没有实现PartialOrd

对于实现PartialOrd的类型，最好使用Ord的总体实现.这样一个全面的实现之所以不存在，是因为它在技术上是不可能的.仅将impl<T: Ord> PartialOrd for T块添加到core将导致错误:

error[E0119]: conflicting implementations of trait `std::cmp::PartialOrd<&_>` for type `&_`
 --> src/lib.rs:1:1
  |
1 | impl<T: Ord> PartialOrd for T {
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: conflicting implementation in crate `core`:
          - impl<A, B> PartialOrd<&B> for &A
            where A: PartialOrd<B>, A: ?Sized, B: ?Sized;

在core中已经有一个全面的实现，它实现了PartialOrd对PartialOrd类型的所有引用.通过对all个实现Ord的类型实现PartialOrd，就有可能对同一类型实现两次PartialOrd.这样就不清楚应该使用哪种实现.考虑这个代码:

#[derive(PartialEq, Eq)]
struct X;
impl PartialOrd for X {
    fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
        panic!("1");
    }
}
impl Ord for &X {
    fn cmp(&self, other: &Self) -> Ordering {
        panic!("2");
    }
}

以下是在X人中实现的特征

• X: PartialOrd(直接实施)，panic 1
• &X: PartialOrd(参考的全面实施)，对1感到panic
• &X: Ord(直接实施)，panic 2

但是，如果我们自动实现PartialOrd，那么将有一个额外的PartialOrd对&X的实现，这与2panic .如何解决这一问题尚不明确.

解决方法是使用专门化，这是Rust中不稳定的特性，在Rust 1.0发布时甚至不存在.因此，不实施PartialOrd是唯一的 Select .专门化允许同一项以明确的方式具有多个冲突的trait实现，但它目前不稳定、不可靠，而且只在夜间使用.见this Rust issue for more details on the issue.