如何强制Scala特质互斥？禁止同时混入指定多个特质

要实现「Collector的子类只能混入ACache、BCache或都不混入，但不能同时混入两者」的需求，我们可以分两种场景来处理：编译时强制检查（推荐，能提前发现错误）和运行时断言（简单但延迟报错）。

一、编译时强制检查（推荐） #

利用Scala的隐含约束和类型类机制，我们可以在编译阶段就阻止两个互斥特质被同时混入，还能自定义友好的错误提示。

实现步骤 #

1. 定义一个用于检查冲突的类型类，并添加错误提示注解；
2. 为互斥的特质添加隐含约束，确保同时混入时编译器报错。

import scala.annotation.implicitNotFound

abstract class Collector(p: Boolean)
trait Cache

// 定义冲突检查的类型类，添加友好的错误提示
@implicitNotFound("错误：不能同时混入ACache和BCache！")
trait CannotMixBoth[T]

object CannotMixBoth {
  // 当类同时混入ACache和BCache时，提供一个触发错误的隐含实例
  implicit def conflict[T <: ACache with BCache]: CannotMixBoth[T] = null.asInstanceOf[CannotMixBoth[T]]
  // 其他情况（只混入一个或都不混入）提供合法实例
  implicit def ok[T]: CannotMixBoth[T] = new CannotMixBoth[T] {}
}

trait ACache extends Cache {
  self: Collector =>
  // 编译时检查当前类是否违反互斥规则
  implicitly[CannotMixBoth[this.type]]
}

trait BCache extends Cache {
  self: Collector =>
  // 同样的编译时检查
  implicitly[CannotMixBoth[this.type]]
}

测试验证 #

// ✅ 合法：只混入ACache
class GoodCollector1(p: Boolean) extends Collector(p) with ACache

// ✅ 合法：只混入BCache
class GoodCollector2(p: Boolean) extends Collector(p) with BCache

// ✅ 合法：不混入任何缓存特质
class GoodCollector3(p: Boolean) extends Collector(p)

// ❌ 非法：同时混入ACache和BCache，编译时会直接报错
// class BadCollector(p: Boolean) extends Collector(p) with ACache with BCache

二、运行时断言（简单但延迟报错） #

如果对编译时检查要求不高，也可以在特质的初始化逻辑中添加断言，在实例化类时触发错误：

abstract class Collector(p: Boolean)
trait Cache

trait ACache extends Cache {
  self: Collector =>
  if (self.isInstanceOf[BCache]) {
    throw new IllegalArgumentException("不能同时混入ACache和BCache！")
  }
}

trait BCache extends Cache {
  self: Collector =>
  if (self.isInstanceOf[ACache]) {
    throw new IllegalArgumentException("不能同时混入ACache和BCache！")
  }
}

这种方法的缺点是编译阶段不会报错，只有当你创建BadCollector的实例时才会抛出异常。

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