A型的自我型: trait B trait A { this: B => } 说“ A不能混入一个不扩展B的具体类” 。 另一方面,以下是: trait B trait A extends B “ A混合的任何(具体的或抽象的)类也将在B中混合” 。 这两个陈述不是这个意思吗? 自我类型似乎只会造成编译时错误的可能性。 我错过了什么?