Scala中带自类型注解的Trait为何无法赋值给Base类型？

示例代码 #

trait Base

trait Plugin { base: Base =>
    def asBase: Base & Plugin = this
}

class Mix extends Base, Plugin

val plug: Plugin = new Mix
val baseA: Base= plug.asBase
val baseB: Base = plug // 报错："Found: Plugin. Required: Base"

问题详情 #

为何会出现上述报错？我认为所有Plugin实例都是同时混入Base的具体类型，符合里氏替换原则，因此Base类型对象可被Plugin类型对象替换而不影响程序正确性，为何实际无法直接赋值？

原因解释 #

核心问题在于Scala的自类型约束不是继承关系：

• Plugin的自类型base: Base =>只是一个编译期检查规则，它要求任何能实例化Plugin的具体类必须同时实现Base，但这并没有让Plugin类型本身成为Base的子类型。
• 从类型系统的角度看，Plugin和Base是两个独立的类型，编译器不会因为自类型约束就自动认为Plugin实例一定是Base实例——虽然实际运行时所有Plugin实例都满足Base的要求，但静态类型检查只看变量声明的类型。
• asBase方法返回Base & Plugin（交集类型），相当于显式告诉编译器：这个实例同时属于Base和Plugin，因此可以安全赋值给Base类型变量。而直接赋值plug时，变量的静态类型是Plugin，编译器没有足够的类型证据证明它是Base，所以抛出类型不匹配的错误。

你对里氏替换原则的理解有偏差：里氏替换要求子类型可以替换父类型，但这里Plugin并不是Base的子类型，只是具体实现类同时满足两个类型的要求。静态类型为Plugin的变量，编译器不会自动推断它具备Base的类型属性，必须通过显式的类型声明（比如交集类型）或转换来提供这个信息。

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