如何在Rust中定义Either/Or类型的特征约束？

问题场景 #

你需要实现一个链表式的属性携带结构WithProperty，让它能通过HasProperty<P>特征检查自身或尾部是否包含指定属性。原有的两个impl因编译器认为特征定义重叠而无法工作，但你需要达到以下效果：

• 携带Property1和Property2的token1能通过两种属性的检查
• 仅携带Property1的token2只能通过Property1的检查，无法通过Property2的检查

稳定版解决方案 #

通过引入一个递归辅助特征来避免重叠，同时满足需求：

trait HasProperty<P> {}

struct Property1;
struct Property2;

struct WithProperty<P, Tail> {}

// 递归辅助特征，用于检查属性是否存在于当前节点或尾部链表
trait HasPropertyRecursive<P> {}

// 匹配当前节点携带的属性：当前节点的属性P直接满足检查
impl<P, Tail> HasPropertyRecursive<P> for WithProperty<P, Tail> {}

// 递归匹配尾部链表中的属性：如果尾部满足属性检查，则当前节点也满足
impl<P, P2, Tail> HasPropertyRecursive<P> for WithProperty<P2, Tail>
where
    Tail: HasPropertyRecursive<P>,
{}

// 将HasProperty委托给递归辅助特征
impl<T, P> HasProperty<P> for T where T: HasPropertyRecursive<P> {}

// 测试函数
fn check::<P, T>(token: T) where T: HasProperty<P> {}

fn test() {
  let token1 = WithProperty::<Property1, WithProperty<Property2, ()>> {};
  let token2 = WithProperty::<Property1, ()> {};

  check::<Property1>(token1); // 编译通过
  check::<Property2>(token1); // 编译通过
  check::<Property1>(token2); // 编译通过
  // check::<Property2>(token2); // 编译失败，提示特征约束不满足
}

fn main() {}

方案原理 #

1. 辅助特征分层：用HasPropertyRecursive处理递归检查，将HasProperty的实现委托给它，避免直接在HasProperty上写重叠的impl。
2. 优先级匹配：当检查当前节点的属性时，第一个impl（直接匹配当前节点的属性P）比第二个递归impl更具体，编译器会优先选择前者，不会触发重叠错误。
3. 终止条件：空元组()默认不实现HasPropertyRecursive<P>，因此链表尾部的空元组会终止递归，确保仅存在于尾部的属性才能被检查到。

简化方案（适用于Rust 1.53+） #

如果你使用的是Rust 1.53及以上版本，编译器已支持优先级明确的泛型impl，可以直接使用你最初的实现，无需辅助特征：

trait HasProperty<P> {}

struct Property1;
struct Property2;

struct WithProperty<P, Tail> {}

// 匹配当前节点携带的属性
impl<P, Tail> HasProperty<P> for WithProperty<P, Tail> {}

// 递归匹配尾部的属性
impl<P, P2, Tail> HasProperty<P> for WithProperty<P2, Tail> where Tail: HasProperty<P> {}

fn check::<P, T>(token: T) where T: HasProperty<P> {}

fn test() {
  let token1 = WithProperty::<Property1, WithProperty<Property2, ()>> {};
  let token2 = WithProperty::<Property1, ()> {};

  check::<Property1>(token1); // 编译通过
  check::<Property2>(token1); // 编译通过
  check::<Property1>(token2); // 编译通过
  // check::<Property2>(token2); // 编译失败，符合预期
}

fn main() {}

新版本编译器会优先选择更具体的impl（直接匹配当前节点属性的那个），不会认为两个impl重叠，因此可以正常编译并满足需求。

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