稳定版Rust中如何实现类型层面的相等性判断Trait？

问题背景 #

近几个月我一直在研究类型级编程，但总是在需要为相等或不等类型添加约束时遇到瓶颈。希望实现一个能提供类型相等信息的Trait：

// 类型级布尔值
trait Boolean {}
struct True;
impl Boolean for True {}
struct False;
impl Boolean for False {}

// 目标Trait
trait IsEq<T> {
    // 当Self与T相等时，Eq为True，否则为False
    type Eq: Boolean;
}

这个Trait比简单的IsSame<T>更实用：

trait IsSame<T> {}
impl<T> IsSame<T> for T {}

因为它能为需要不同类型的场景添加约束：

fn f<T, U: IsEq<T>>() where <U as IsEq<T>>::Eq: IsFalse { /* ... */ }
// IsFalse是仅为False实现的Trait

我尝试过多种方案，但都依赖Nightly特性：

• 特化（Specialization）：默认实现Eq为False，为相等类型提供特化实现，但离稳定还很远。
• 泛型常量表达式结合const类型ID：检查类型ID相等性并映射到类型层面，同样不稳定。
• 负实现（Negative impls）：理论上可配合IsSame<T>实现，但未能成功。

我了解到where子句中的不等运算符!=已讨论许久，但近期没有稳定计划。请问在稳定版Rust中是否有可能实现这个IsEq Trait？

结论：稳定版Rust无法实现该Trait #

在当前稳定版Rust中，不可能实现满足需求的通用IsEq Trait，核心原因在于稳定版缺乏以下关键能力：

1. 无特化能力实现二分类型判断
   稳定版Rust不支持特化（Specialization），无法先为所有类型对默认实现IsEq<T>并指定Eq = False，再为Self == T的情况单独覆盖为Eq = True。没有特化，要么只能为相等类型实现IsEq（此时不等类型无法满足U: IsEq<T>约束），要么无法区分相等/不等的两种情况。

2. 无法表达"类型不相等"的约束
   稳定版Trait系统仅支持声明"类型实现了某个Trait"，无法声明"类型未实现某个Trait"（负实现仅在Nightly可用）。而需求中<U as IsEq<T>>::Eq: IsFalse的约束本质上需要区分类型相等/不等的二分场景，稳定版没有对应的机制支持。

3. 类型层面无稳定的相等判断API
   运行时可通过std::any::TypeId判断类型相等，但稳定版不允许将这种运行时信息用于推导类型级关联类型或const泛型。泛型常量表达式结合TypeId的方案仅适用于Nightly，无法迁移到稳定版。

稳定版替代方案 #

如果需要在稳定版中处理"类型不等"的场景，可通过手动实现辅助Trait的方式间接实现，但灵活性受限：

trait IsSame<T> {}
impl<T> IsSame<T> for T {}

// 辅助Trait：仅当U != T时手动实现
trait NotSame<T> {}
// 为特定类型对手动实现
impl NotSame<i32> for u32 {}
impl NotSame<u32> for i32 {}
impl NotSame<String> for Vec<u8> {}

fn f<T, U: NotSame<T>>() { /* 仅当U和T类型不同时可调用 */ }

这种方式的缺点是需要为所有需要的类型对手动实现NotSame，无法做到通用适配。

内容的提问来源于stack exchange，提问作者LucioleMaléfique