为什么没有实现Ord的f32会得到“特征的冲突实现”？

Question

我想要一个min（）方法，用于f32、u32和i32，因此我创建了一个traitmin：

trait Min {
    fn min(v1: Self, v2: Self) -> Self;
}

impl<T> Min for T where T: Ord {
    fn min(v1: Self, v2: Self) -> Self {
        ::std::cmp::min(v1, v2)
    }
}

impl Min for f32 {
    fn min(v1: Self, v2: Self) -> Self {
        v1.min(v2)
    }
}

我得到一个错误：

error[E0119]: conflicting implementations of trait `Min` for type `f32`:
  --> src/main.rs:11:1
   |
5  | / impl<T> Min for T where T: Ord {
6  | |     fn min(v1: Self, v2: Self) -> Self {
7  | |         ::std::cmp::min(v1, v2)
8  | |     }
9  | | }
   | |_- first implementation here
10 | 
11 | / impl Min for f32 {
12 | |     fn min(v1: Self, v2: Self) -> Self {
13 | |         v1.min(v2)
14 | |     }
15 | | }
   | |_^ conflicting implementation for `f32`

根据Rust标准库文档，f32未实现Ord。为什么存在冲突的实现？

Answer 1

我相信这是因为编译器不能排除有一天，有人会为f32实现Ord。换句话说：如果编译器不采取保守的行为，那么在现有类型上实现任何新特性都将是一个突破性的改变。这将严重限制每个图书馆在不破坏所有下游用户的情况下发展的能力。

没有直接的方法来解决这个问题，因为这是语言有意的设计选择。最接近的方法是在f32（即struct OrdF32（f32）；）周围实现包装类型，并在此基础上实现Ord或Min，或者使用定义此类包装器的板条箱（例如作为有序-浮动）。