类线性化在 scala 2.13 中不起作用

Question

我正在尝试将 scala 2.12 升级到 scala 2.13.5

类线性化不适用于我，IntelliJ 和 Scala 编译器会引发错误，但理想情况下它应该可以工作。下面是问题。

trait A[E] {
  def getObject: E = {
    // some implementation
  }
}

abstract class B[T](e: Object) {
  def getObject: T = {
    // some implemntation
  }
}

class C[T] extends B[T](null) with A[String] {
  
  def myMethod(): Unit = {
    println(this.getObject.someMethodWhichIsNotInStringClassButAvailableInTClass)
  }
}

在上面的示例程序中，this.getObject 也来自A，我希望它来自B。看来我的理解是错误的。但是需要详细了解这个类linearization问题。

由于上述问题，我的代码无法编译，因为 String 类中没有所需的方法。

同样的代码可以用 scala 2.12 编译，但不能用 scala 2.13.5。

另一个参考 - https://stackoverflow.com/a/49832570/819866

Answer 1

这根本不应该编译......而且它确实不适合我（2.13.1）：

       error: class C inherits conflicting members:
         def getObject: T (defined in trait B) and
         def getObject: String (defined in trait A)
         (note: this can be resolved by declaring an `override` in class C.)

你不能继承同名的不同方法。

此外，如果您的继承确实有效，线性化仍然可以从左到右工作：

    trait A { def foo: Sting }
    trait B extends A { def foo = "b" }
    trait C extends A { def foo = "c" }
    class D extends B with C

    println(new D().foo)

这会打印“c”。