我如何使许多实现相同特性的不同结构相互比较？

Question

在Java行话中，我有一个接口R，一个接口RT扩展了R（其中RT实现了所有R）和一系列其他类，它们都实现了RT。

过渡到生锈，我有两个特点

trait R { ... }
trait RT { ... }

其中RT是R的子特征：

impl R for X where X: RT { ... }

接下来，我有一堆结构，所有这些结构都实现了RT：

struct RV { ... }
impl RT for RV { ... }

struct I { ... }
impl RT for I { ... }

struct U { ... }
impl RT for U { ... }

// ...

到目前为止还不错。

现在我希望所有这些结构都可以相互比较，因为它们都实现了RT。

Java我会将RT更改为

interface RT extends R, Comparable<RT>

并为equals和compareTo添加默认实现。

在《铁锈》中，我不知道是否或如何才能做到这一点。

我可以说trait-RT:PartialEq，但这只会使一个实现与它本身具有可比性（RV==RV，而不是RV==U）。

我的下一个想法是为每个结构添加总体实现：

impl PartialEq<RV> for X where X: RT
impl PartialEq<I> for X where X: RT
// ...

我理解为什么这是不允许的，但是我仍然被我最初的问题困扰着。

我无法将值转换为比较（RV as RT==U as RT），因为RT无法生成对象。

我可以手动实现ParatalEq

我考虑过使用宏来生成所有不同的实现，但这感觉太像暴力强迫了，所以我对程序的初始设计提出了质疑。

我如何使所有不同的结构相互比较？




Answer 1

这种模式经常出现在模拟标记联合的Java中，这在Java语言中是缺失的。在Rust中，除非您正在编写一个库，其用户可能需要定义新的RT实现，否则我怀疑您会更喜欢使用枚举而不是trait对象：

#[derive(PartialEq, Eq)]
enum AnyRT {
    RV(RV),
    I(I),
    U(U),
}

impl RT for AnyRT {
    fn foo(&self, ...) {
        match self {
            AnyRT::RV(rv) => rv.foo(...),
            AnyRT::I(i) => i.foo(...),
            AnyRT::U(u) => u.foo(...),
        }
    }
}

根据您的应用程序，您可能会发现根本不需要RT特征和/或单独的RV、I、U结构。