斯卡拉 - 一个共同的特点的第二代继承

如果我在斯卡拉以下代码：斯卡拉 - 一个共同的特点的第二代继承

trait A { 
    var yo = 10 
    def get = yo 
} 

trait B extends A { /* makes use of A.get */ } 
trait C extends A { /* makes use of A.get */ } 

trait D extends B with C { /* makes use of A.get */ } 

class E extends D { /* makes use of A.get */ }

如何将编译器果断的依赖？换句话说，它是否理解特质D和对象E的A特征相关部分，从两种不同的特征B和C中继承而来，必须被视为单一的东西，而不是为每一个继承的情况重复？无论如何，编译器的想法在这种情况下会是什么样子？

来源

2012-02-22 noncom

在Scala编程的this章，由天使的建议，我们下面的例子：

，其导出为以下管道：

Cat -> FourLegged -> HasLegs -> Furry -> Animal

所以右边的那个有优先权，但是他的祖先，只要他们不是别人的共同祖先就在管道上，也有优先权。这就是为什么HasLegs在Furry之前。

最后，这里是为您具体的例子回答：

E -> D -> C -> B -> A

来源

2012-02-22 13:40:08

我相信，中Programming in Scala本章可以帮助您在特质的线性化过程的理解：

Programming in Scala - 12.6 Why not multiple inheritance?

来源

2012-02-22 10:03:38 tenshi

那么，什么似乎这里是相同的变量，将阴影类型的变量进行线性化处理，放置在继承指令最左边通过一个位置更靠右？ – noncom 2012-02-22 10:07:22

斯卡拉 - 一个共同的特点的第二代继承

回答

相关问题