为不同trait对象实现PartialEq支持相等比较遇问题求助

你遇到的问题核心在于：直接用==比较具体类型（比如bool和Marker）时，编译器会优先寻找这两个具体类型之间的PartialEq实现，而不是你为Obj trait object实现的PartialEq。

看你报错的那行代码：

println!("true == Marker: {:?}", true == Marker {});

编译器看到bool == Marker，会去查找impl PartialEq<Marker> for bool或者impl PartialEq<bool> for Marker，但这两个实现都不存在，所以直接报类型不匹配的错误——它根本没用到你为Obj trait实现的相等逻辑。

而你后面的例子比如&true as &Obj == &Marker {} as &Obj能正常工作，是因为此时两边都是&Obj trait object，编译器会调用你为Obj实现的PartialEq，走动态分发的tr_eq逻辑。

如何让==按你预期工作？ #

方案1：统一使用trait object进行比较 #

如果你想跨类型比较，必须把两边都转换成&Obj trait object，就像你代码里已经实现的那样：

// 正确：两边都是&Obj trait object，调用Obj的PartialEq
println!("true == Marker (as trait objects): {:?}", 
         &true as &dyn Obj == &Marker {} as &dyn Obj);

这是最符合你设计初衷的方式，因为你的相等逻辑就是为trait object设计的。

方案2：为具体类型对实现PartialEq（不推荐） #

如果你一定要直接写true == Marker {}，那需要手动为每一对要比较的类型实现PartialEq，比如：

impl PartialEq<Marker> for bool {
    fn eq(&self, other: &Marker) -> bool {
        // 调用你的tr_eq逻辑，把other转成Obj
        self.tr_eq(other)
    }
}

impl PartialEq<bool> for Marker {
    fn eq(&self, other: &bool) -> bool {
        self.tr_eq(other)
    }
}

但这种方式扩展性极差——如果后面新增更多实现Obj的类型，你需要为每一对类型都写这样的实现，完全违背了用trait统一处理的初衷。

代码优化建议 #

另外，你的Obj trait的生命周期参数<'a>是多余的，因为Any trait要求实现它的类型必须是'static（否则无法安全地downcast），所以可以简化trait定义：

pub trait Obj: Debug + Any {
    fn as_any(&self) -> &dyn Any;
    fn tr_eq(&self, other: &dyn Obj) -> bool;
}

这样代码更简洁，也符合Any的约束要求。

最后，你的tr_eq实现可以稍微简化一下，用if let提升可读性：

impl Obj for bool {
    fn as_any(&self) -> &dyn Any {
        self
    }
    fn tr_eq(&self, other: &dyn Obj) -> bool {
        if let Some(other_bool) = other.as_any().downcast_ref::<bool>() {
            self == other_bool
        } else {
            false
        }
    }
}

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