A特质的自我类型:
trait B
trait A { this: B => }
他说:“A不能被混合到一个具体的类中，这个类不能同时扩展B。”
另一方面，以下几点:
trait B
trait A extends B
表示“任何(具体或抽象的)类在A中混合也会在B中混合”。
这两句话的意思难道不是一样的吗?自我类型似乎只用于产生简单的编译时错误的可能性。
我错过了什么?
当前回答
更新:一个主要的区别是自我类型可以依赖于多个类(我承认这有点极端)。例如，你可以有
class Person {
//...
def name: String = "...";
}
class Expense {
def cost: Int = 123;
}
trait Employee {
this: Person with Expense =>
// ...
def roomNo: Int;
def officeLabel: String = name + "/" + roomNo;
}
这允许将Employee mixin添加到Person和Expense的子类中。当然，只有当费用扩展了人员，或者反之，这才有意义。关键是使用自类型Employee可以独立于它所依赖的类的层次结构。它不关心什么扩展什么-如果你切换了费用和人员的层次结构，你不需要修改雇员。
其他回答
Self类型允许您定义循环依赖关系。例如，你可以这样做:
trait A { self: B => }
trait B { self: A => }
使用extends的继承不允许这样。试一试:
trait A extends B
trait B extends A
error: illegal cyclic reference involving trait A
在Odersky的书中，第33.5节(创建电子表格UI章节)提到:
在电子表格示例中，类Model继承自Evaluator和 从而获得其评价方法。同学们，走另一条路 Evaluator将自身类型定义为Model，如下所示:
package org.stairwaybook.scells
trait Evaluator { this: Model => ...
self类型允许您指定允许在trait中混合哪些类型。例如，如果你有一个带有self类型Closeable的trait，那么这个trait知道唯一允许混合它的东西必须实现Closeable接口。
在第一种情况下，B的一个子特征或子类可以混合到任何使用a的地方，所以B可以是一个抽象的特征。
trait A { def x = 1 }
trait B extends A { override def x = super.x * 5 }
trait C1 extends B { override def x = 2 }
trait C2 extends A { this: B => override def x = 2}
// 1.
println((new C1 with B).x) // 2
println((new C2 with B).x) // 10
// 2.
trait X {
type SomeA <: A
trait Inner1 { this: SomeA => } // compiles ok
trait Inner2 extends SomeA {} // doesn't compile
}
更新:一个主要的区别是自我类型可以依赖于多个类(我承认这有点极端)。例如，你可以有
class Person {
//...
def name: String = "...";
}
class Expense {
def cost: Int = 123;
}
trait Employee {
this: Person with Expense =>
// ...
def roomNo: Int;
def officeLabel: String = name + "/" + roomNo;
}
这允许将Employee mixin添加到Person和Expense的子类中。当然，只有当费用扩展了人员，或者反之，这才有意义。关键是使用自类型Employee可以独立于它所依赖的类的层次结构。它不关心什么扩展什么-如果你切换了费用和人员的层次结构，你不需要修改雇员。
