从特质之外看不见的自我特质？

Question

trait A { def someMethod = 1}
trait B { self : A => }

val refOfTypeB : B = new B with A

refOfTypeB.someMethod

最后一行导致类型不匹配错误。 我的问题是：当给出B也是A型时，为什么不可能达到（A）的方法？

Answer 1

所以B也不是A型。 你在这里使用的自我类型注释特别指出B不扩展A但是相反，无论何时混入B ， A必须在某一点混合。 由于您B with A refOfTypeB向下转换为B而不是B with A您无法访问任何类型A的方法。 在B trait的实现中，您可以访问A的方法，因为编译器知道您在某些时候可以在任何已实现的类中访问A 考虑它可能更容易，因为B取决于A而不是B是A

有关更全面的解释，请参阅以下答案： 自我类型和特质子类之间有什么区别？

Answer 2

问题是当你声明refOfTypeB时，你指定了类型B但没有指定类型B和A.

self =>语法允许您访问B中的A属性并传递编译。

但是，在运行时，refOfTypeB不会被识别为带有A的B，并且编译器不一定正确地具有功能映射。

所以，正确的语法应该是：

trait A { def someMethod = 1}
trait B { self : A => }

val refOfTypeB : B with A = new B with A

refOfTypeB.someMethod //1

实际上，这在解释refOfTypeB究竟是什么方面更具表现力。

这就是蛋糕模式的样板。