Rust 通过不同的字段进行散列和排序的 struct (需要不同的EQ实现)

发布于01月17日

我正在try 创建一个 struct

struct Obj {
    id: i32,
    value: i64,
}

可以用在BinaryHeap和HashSet上.

当与BinaryHeap一起使用时，我希望它是基于value订购的. 当与HashSet一起使用时，我希望它与id一起散列.

这两种方法都需要Eq特征的实现，但我找不到一种方法来实现Eq的两种不同实现.

我发现最接近的是Multiple implementations for the same trait of the same type in Rust，但这似乎只有在特征接受泛型参数的情况下才有效，而Eq不是这种情况

推荐答案

Do not do this.在Rust Hash和Eq中，实现必须彼此一致.Hash个性状的记录特别写道:

同时实现Hash和Eq时，重要的是满足以下属性:
k1 == k2 -> hash(k1) == hash(k2)
换句话说，如果两个键相等，则它们的散列也必须相等.HashMap和HashSet都依赖于此行为.

值得庆幸的是，在使用#[Derate(PartialEq，Eq，Hash)]派生Eq和Hash时，您不需要担心维护此属性.

Violating this property is a logic error.未指定逻辑错误导致的行为，但特征的用户必须确保此类逻辑错误不会导致未定义的行为.这意味着不安全的代码不能依赖于这些方法的正确性.

使用newtype模式创建以不同方式实现Hash和Eq的两个类型，并将它们用作HashMap和BinaryHeap的元素.

struct Obj {
    id: i32,
    value: i64,
}

// implement `Hash` that will hash `self.0.id`.
struct ObjHash(Obj);

// implement `Eq` that will compare `self.0.value`.
struct ObjEq(Obj);

fn foo() {
    let hash_map: HashMap<ObjHash> = todo!();
    let bin_heap: BinaryHeap<ObjEq> = todo!();
}