能否为Trait引用实现PartialEq，使内部内容相同的实例判定相等？

当然可以做到！默认情况下，Rust里的trait对象（比如&dyn Trait）自带的PartialEq只会比较类型标识和数据指针——意思就是只有当两个trait对象指向同一个类型的同一个实例时，才会返回true。但如果想让不同实现的实例只要内部内容相同就判定相等，我们可以手动实现自定义的相等逻辑。

下面结合你的代码片段，一步步实现这个需求：

第一步：在Trait中添加自定义相等判断方法 #

首先要给你的Trait新增一个方法，用来定义和其他trait对象的相等规则。这个方法需要接收另一个dyn Trait引用，返回布尔值：

trait Trait: std::fmt::Debug {
    fn method(&self, _: i32) -> ();
    // 新增：用于自定义相等判断的方法
    fn eq(&self, other: &dyn Trait) -> bool;
}

第二步：为dyn Trait实现PartialEq #

接下来，我们为dyn Trait实现PartialEq trait，直接调用上面定义的eq方法。这里要特别注意对称性（a == b必须和b == a结果一致），所以我们用双向判断来兜底：

impl PartialEq for dyn Trait {
    fn eq(&self, other: &Self) -> bool {
        // 先尝试当前类型的判断逻辑，再用对方的逻辑兜底，保证对称性
        self.eq(other) || other.eq(self)
    }
}

// 可选：如果你的相等逻辑满足等价关系（自反、对称、传递），可以实现Eq
impl Eq for dyn Trait {}

第三步：为具体类型实现自定义eq逻辑 #

现在需要给每个实现Trait的类型编写eq方法，定义它和其他trait对象的相等规则。比如你的AnotherStruct，我们可以规定：当另一个trait对象也是AnotherStruct且内部int值相等时返回true，和其他类型比较则返回false。

先补全你代码里的From实现，再实现Trait和自定义eq：

#[derive(Clone, Copy, Debug, PartialEq)]
struct AnotherStruct {
    int: i32
}

impl From<AnotherStruct> for i32 {
    fn from(another_struct: AnotherStruct) -> Self {
        another_struct.int
    }
}

impl Trait for AnotherStruct {
    fn method(&self, _: i32) -> () {
        // 这里可以实现你的方法逻辑
    }

    fn eq(&self, other: &dyn Trait) -> bool {
        // 尝试将other向下转型为AnotherStruct，再比较内部值
        if let Some(other_another) = other.downcast_ref::<AnotherStruct>() {
            self == other_another
        } else {
            // 和非AnotherStruct的trait对象比较，返回false
            false
        }
    }
}

第四步：测试Struct的相等性 #

你的Struct已经派生了PartialEq，它的vec字段会自动逐个比较&dyn Trait元素的相等性——而我们已经自定义了dyn Trait的PartialEq逻辑，所以可以直接使用：

#[derive(Debug, PartialEq)]
struct Struct<'a> {
    vec: Vec<&'a Trait>,
}

fn main() {
    let a = AnotherStruct { int: 42 };
    let b = AnotherStruct { int: 42 };
    let c = AnotherStruct { int: 24 };

    let struct1 = Struct { vec: vec![&a, &b] };
    let struct2 = Struct { vec: vec![&b, &a] };
    let struct3 = Struct { vec: vec![&a, &c] };

    assert!(struct1 == struct2); // 元素内容相同，返回true
    assert!(struct1 != struct3); // 存在内容不同的元素，返回false
}

注意事项 #

• 性能开销：downcast_ref是动态类型检查，会有轻微的性能损耗，如果对性能要求极高，可以考虑给trait添加类型标识字段来优化。
• 等价关系：如果要实现Eq trait，必须保证你的eq方法满足自反性、对称性、传递性，否则会引发逻辑错误。
• 扩展性：后续新增Trait的实现时，都要同步实现eq方法，否则默认会和其他类型比较返回false。

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