Rust泛型：为f32/f64封装通用容器的正确约束方式？

在Rust中，f32和f64类型未实现排序特性。如果要封装一个通用容器（比如BTreeSet<T>），对外API直接支持f32/f64类型交互，但因为浮点类型不支持排序，无法直接使用BTreeSet<f32>或BTreeSet<f64>。

虽然可以用ordered-float crate的OrderedFloat包装浮点类型，进而使用BTreeSet<OrderedFloat<T>>，但需求是让对外API呈现为T=f32/f64类型。

我尝试通过为f32和f64实现标记trait FloatLike来约束泛型，伪代码如下：

trait FloatLike {}

impl FloatLike for f32 {}

impl FloatLike for f64 {}

struct BTreeSetFloat<T: FloatLike> {
    btreeset: BTreeSet<OrderedFloat<T>>
}

impl<T> BTreeSetFloat {
    pub fn insert(&mut self, value: T) -> Option<T> {
        let value = OrderedFloat::new(value);
        self.insert(value)
    }
    // ... 其他方法
}

请问：

1. 这种泛型约束方法是否正确？
2. 是否有更优方案替代这类仅用于约束的标记trait？
3. 后来发现ordered_float crate中存在一个Float trait，是否正好适用于此场景？

1. 你的泛型约束方法是否正确？ #

这个思路本身可行，但代码存在一处关键错误：impl<T> BTreeSetFloat没有添加泛型约束，必须写成impl<T: FloatLike> BTreeSetFloat<T>，否则编译器无法推导T能被OrderedFloat包装。同时insert方法的逻辑也需要调整，要把插入后返回的OrderedFloat转回原始类型。修正后的代码示例：

use ordered_float::OrderedFloat;
use std::collections::BTreeSet;

trait FloatLike {}
impl FloatLike for f32 {}
impl FloatLike for f64 {}

struct BTreeSetFloat<T: FloatLike> {
    btreeset: BTreeSet<OrderedFloat<T>>
}

impl<T: FloatLike> BTreeSetFloat<T> {
    pub fn insert(&mut self, value: T) -> Option<T> {
        let ordered_val = OrderedFloat::new(value);
        self.btreeset.insert(ordered_val)
            .map(|ordered| ordered.into_inner())
    }
}

不过这种标记trait的缺陷是：它没有强制约束T必须兼容OrderedFloat，如果后续有人给非浮点类型实现FloatLike，会导致编译报错。

2. 替代标记trait的更优方案 #

不需要自定义标记trait，直接利用现有trait约束即可：

• 用ordered-float内置的FloatCore：OrderedFloat::new要求T实现FloatCore，而f32/f64都已默认实现这个trait，直接用它做泛型约束，省去自定义trait的麻烦。
• 用标准生态的num_traits::Float：如果需要更通用的浮点操作能力，可以引入num-traits crate，它的Float trait是Rust生态中广泛使用的浮点类型抽象，f32/f64也都实现了该trait。

以FloatCore为例的优化代码：

use ordered_float::{OrderedFloat, FloatCore};
use std::collections::BTreeSet;

struct BTreeSetFloat<T: FloatCore> {
    btreeset: BTreeSet<OrderedFloat<T>>
}

impl<T: FloatCore> BTreeSetFloat<T> {
    pub fn new() -> Self {
        Self { btreeset: BTreeSet::new() }
    }

    pub fn insert(&mut self, value: T) -> Option<T> {
        let ordered_val = OrderedFloat::new(value);
        self.btreeset.insert(ordered_val)
            .map(|ordered| ordered.into_inner())
    }
}

3. 关于ordered_float的Float trait #

完全适配你的场景！ordered_float的Float trait继承自FloatCore和标准库的PartialOrd、Debug等基础trait，是一个更完整的浮点类型抽象。用它作为泛型约束，既能保证T可以被OrderedFloat包装，还能直接基于trait实现更多浮点相关的操作方法。

示例代码：

use ordered_float::{OrderedFloat, Float};
use std::collections::BTreeSet;

struct BTreeSetFloat<T: Float> {
    btreeset: BTreeSet<OrderedFloat<T>>
}

impl<T: Float> BTreeSetFloat<T> {
    pub fn new() -> Self {
        Self { btreeset: BTreeSet::new() }
    }

    pub fn insert(&mut self, value: T) -> Option<T> {
        let ordered_val = OrderedFloat::new(value);
        self.btreeset.insert(ordered_val)
            .map(|ordered| ordered.into_inner())
    }

    // 基于Float trait实现浮点专属方法
    pub fn sum(&self) -> T {
        self.btreeset.iter()
            .map(|val| val.into_inner())
            .sum()
    }
}

内容的提问来源于stack exchange，提问作者user2138149