特质inheritance与自我types注释的区别

在斯卡拉,我已经看到了构造

trait T extends S 

 trait T { this: S => 

用来实现类似的事情(即S中的抽象方法必须在创build实例之前被定义)。 他们之间有什么区别? 你为什么要用另一个呢?

我会使用自我types进行依赖pipe理:这个特性需要混合另一个特质。我会使用inheritance来优化另一个特性或接口。

举个例子:

 trait FooService trait FooRemoting { this : FooService => } trait FooPersistence { this : FooService => } object Services extends FooService with FooRemoting with FooPersistence 

现在,如果FooRemoting和FooPersistence都从FooServiceinheritance,而FooService有成员和方法,那么Services将如何?

而对于inheritance,我们会有这样的东西:

 trait Iterator[T] { def hasNext : boolean def next : T } trait InfiniteIterator[T] extends Iterator[T] { def hasNext = true } 

自我types注释允许您表示循环依赖关系。 例如:

 trait A extends B trait B { self: A => } 

这是简单的inheritance不可能的。

由于提出这个问题,我碰到这些post:

Spiros Tzavellas谈到使用特质作为公共接口和自我types作为帮助器,必须由实现类混合。

总而言之,如果我们想要在特征内部移动方法实现,那么我们就冒着用抽象方法来污染这些特征的接口,这些抽象方法支持具体方法的实现,而与特征的主要责任无关。 解决这个问题的方法是将这些抽象方法移动到其他特征中,并使用自我types注释和多重inheritance来组合特征。

例如:

 trait PublicInterface { this: HelperTrait => // Uses helperMethod } trait HelperTrait { def helperMethod = // ... } class ImplementationClass extends PublicInterface with HelperTrait 

Scala之旅讨论使用抽象types成员的自我types注释 – 大概是不可能extend抽象types成员(?)

答案是“循环”。 但不仅如此。

自我types注释为我解决了inheritance的基本问题:你inheritance的东西不能使用你自己的东西。 随着自我types,一切都变得容易。

我的模式是以下,可以认为是一个退化的蛋糕:

 trait A { self: X => def a = reuseme} trait B { self: X => def b = a } class X extends A with B { def reuseme=null } 

您可以在多种行为中分解您的课程,这些行为可以在程序集中的任何位置调用,同时保持键入清晰。 不需要经常(和错误地)用蛋糕模式识别痛苦的间接方向。

在过去的十年中,一半(如果不是全部的)复杂的Java DI框架一直致力于这样做,当然不需要打字。 仍然在这个领域使用JAVA的人显然是在浪费时间:“SCALA ouakbar”。

虽然它不能回答你的问题,但是我试图理解自我types的注释,并且基本上在答案中迷失了方向,并且以某种方式结束了循环,通过你的问题的变化,重点在于使用自我types注释来表示依赖关系。

所以我在这里发表一个用例的描述,其中自我types的注释被很好的说明,就像一个types安全的“this”作为一个子types:

http://programming-scala.labs.oreilly.com/ch13.html#SelfTypeAnnotationsAndAbstractTypeMembers

希望对那些偶然遇到这个问题的人有所帮助(和我一样,在开始探索之前没有时间阅读Scala书籍:-))