Rust：为TypeOne、TypeTwo泛型实现Hashable的冲突解决咨询

问题背景 #

你定义了TypeOne、TypeTwo两个非对象安全的Trait，希望为所有实现这两个Trait的类型自动实现Hashable，但直接编写全局 blanket impl 时，因存在类型同时实现两个Trait的可能性，编译器会报实现冲突错误。以下是同 crate 内的可行解决办法：

方案1：自动Trait+负实现，禁止类型同时实现两个Trait #

利用Rust的自动Trait和负实现机制，从根源上阻止类型同时实现TypeOne和TypeTwo，从而消除Hashable的实现冲突：

pub trait Hashable {
    fn hash(&self) -> &str;
}

pub trait TypeOne { }
pub trait TypeTwo { }

// 定义私有自动Trait作为标记，自动为所有类型实现，除非显式负实现
auto trait IsTypeOne {}
auto trait IsTypeTwo {}

// 为所有TypeOne实现者标记IsTypeOne
impl<T: TypeOne> IsTypeOne for T {}
// 为所有TypeTwo实现者标记IsTypeTwo
impl<T: TypeTwo> IsTypeTwo for T {}

// 负实现：若有类型同时拥有两个标记，直接触发编译错误
impl<T: IsTypeOne + IsTypeTwo> !IsTypeOne for T {}
impl<T: IsTypeOne + IsTypeTwo> !IsTypeTwo for T {}

// 安全编写全局实现，编译器可确定无冲突
impl<T: TypeOne + IsTypeOne> Hashable for T {
    fn hash(&self) -> &str {
        "type_one_hash"
    }
}

impl<T: TypeTwo + IsTypeTwo> Hashable for T {
    fn hash(&self) -> &str {
        "type_two_hash"
    }
}

方案2：在impl约束中排除交叉实现类型 #

直接在Hashable的实现约束里，明确排除同时实现两个Trait的类型：

pub trait Hashable {
    fn hash(&self) -> &str;
}

pub trait TypeOne { }
pub trait TypeTwo { }

// 仅为只实现TypeOne的类型提供Hashable实现
impl<T: TypeOne + !TypeTwo> Hashable for T {
    fn hash(&self) -> &str {
        "type_one_hash"
    }
}

// 仅为只实现TypeTwo的类型提供Hashable实现
impl<T: TypeTwo + !TypeOne> Hashable for T {
    fn hash(&self) -> &str {
        "type_two_hash"
    }
}

这种方式下，若有类型同时实现两个Trait，编译器会拒绝为其生成Hashable实现，需手动处理这类特殊场景。

方案3：Newtype包装，支持类型同时实现两个Trait #

如果需要允许类型同时实现TypeOne和TypeTwo，并分别获得不同的Hashable实现，可通过Newtype包装类型：

pub trait Hashable {
    fn hash(&self) -> &str;
}

pub trait TypeOne { }
pub trait TypeTwo { }

// 包装TypeOne类型的Newtype
struct AsTypeOne<T>(pub T);
impl<T: TypeOne> Hashable for AsTypeOne<T> {
    fn hash(&self) -> &str {
        "type_one_hash"
    }
}

// 包装TypeTwo类型的Newtype
struct AsTypeTwo<T>(pub T);
impl<T: TypeTwo> Hashable for AsTypeTwo<T> {
    fn hash(&self) -> &str {
        "type_two_hash"
    }
}

使用时只需将原始类型包装进对应Newtype，即可调用对应逻辑的hash方法，完全避免冲突。

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