如何修复Arc<dyn MyTrait>在HashSet中出现的`trait cannot be made into a trait object`错误？

问题重现 #

用户编写的Rust代码：

use std::collections::HashMap;
use std::hash::{Hash, Hasher}; 
#[test]
fn test_hash() {
    trait LetMeHashed: Hash{}
    struct TraitTry{
        val: usize
    }
    impl Hash for TraitTry {
        fn hash<H: Hasher>(&self, state: &mut H) {
            self.val.hash(state);
        }
    }
    impl LetMeHashed for TraitTry{}
    let new = Box::new(TraitTry{val:1}) as Box<dyn LetMeHashed>;
    let mut new_hash = HashMap::new();
    new_hash.insert(new, 1);
    assert!(new_hash.contains(new.clone()))
}

运行时触发错误：the trait LetMeHashed cannot be made into an object

错误原因分析 #

这个错误的核心是**Hash trait不满足对象安全要求**，而你的LetMeHashed继承了Hash，导致整个trait无法被实例化为trait对象。

对象安全的trait必须满足两个核心规则：

• 所有方法不能带有泛型参数（Hash::hash方法带有<H: Hasher>泛型参数，违反了这一点）
• 方法不能返回Self类型（本次案例不涉及，但也是关键条件之一）

当你尝试把TraitTry装箱为Box<dyn LetMeHashed>时，Rust要求该trait必须是对象安全的，而Hash的存在破坏了这一前提，因此抛出错误。

核心问题解答：能否用Arc<dyn SomeTrait>作为HashMap/HashSet的键？ #

可以，但需要通过特定方式规避非对象安全trait的限制，具体实现方式如下：

实现思路 #

1. 自定义trait时，不要直接继承Hash和Eq（这两个trait都不是对象安全的），而是在trait内部定义对象安全的哈希、相等判断方法。
2. 手动为Arc<dyn YourTrait>实现Hash、PartialEq和Eq trait，内部调用自定义trait的方法完成逻辑。

可行示例代码 #

use std::collections::HashMap;
use std::hash::{Hash, Hasher};
use std::sync::Arc;

// 自定义对象安全的trait，不直接继承Hash/Eq
trait LetMeHashed {
    // 对象安全的哈希方法，返回固定类型的哈希值
    fn hash(&self) -> u64;
    // 对象安全的相等判断方法，参数为dyn trait对象
    fn eq(&self, other: &dyn LetMeHashed) -> bool;
}

struct TraitTry {
    val: usize,
}

impl LetMeHashed for TraitTry {
    fn hash(&self) -> u64 {
        self.val.hash()
    }

    fn eq(&self, other: &dyn LetMeHashed) -> bool {
        // 先通过downcast_ref检查类型一致性，再比较字段
        if let Some(other_try) = other.downcast_ref::<TraitTry>() {
            self.val == other_try.val
        } else {
            false
        }
    }
}

// 为Arc<dyn LetMeHashed>实现Hash
impl Hash for Arc<dyn LetMeHashed> {
    fn hash<H: Hasher>(&self, state: &mut H) {
        self.hash().hash(state);
    }
}

// 为Arc<dyn LetMeHashed>实现PartialEq
impl PartialEq for Arc<dyn LetMeHashed> {
    fn eq(&self, other: &Self) -> bool {
        self.as_ref().eq(other.as_ref())
    }
}

// 显式实现Eq（依赖PartialEq的正确性）
impl Eq for Arc<dyn LetMeHashed> {}

#[test]
fn test_arc_hashmap() {
    let new = Arc::new(TraitTry { val: 1 }) as Arc<dyn LetMeHashed>;
    let mut new_hash = HashMap::new();
    new_hash.insert(new.clone(), 1);
    assert!(new_hash.contains_key(&new));
}

关键注意点 #

• 相等判断时必须先做类型检查：不同类型的trait对象即使哈希值偶然相同，也不能被判定为相等，downcast_ref是实现这一点的关键。
• 自定义哈希方法的逻辑要和类型字段的哈希逻辑保持一致，避免出现哈希冲突或判断错误。

内容的提问来源于stack exchange，提问作者Metehan Yıldırım