如何解决Scala中冲突成员的继承问题

Question

我是Scala初学者。我被告知“特征中的一个领域可以是具体的也可以是抽象的”。

trait T2 {
  val f1: String = "T2f1"
}

trait T3 {
  val f1: String = "T3f1"
}

class C2 extends T2 with T3{}

object Test2 extends App {
  val c2 = new C2
  println(c2.f1)
}

当我运行上述代码时，编译器输出了一些错误消息：

“C2类继承了冲突成员：String类型的特征T2中的值f1和String类型的特征T3中的变量f1（注意：这可以通过在C2类中声明重写来解决。）类C2用T3{}扩展T2

那么，如果C2扩展了具有相同字段名的特征，那么应该改变什么呢？谢谢你的帮助。

Answer 1

建议的示例是正确的，但尽量避免循环依赖，这也可能导致一些严重的问题。

这里的问题是，你在两个trait中都有相同的字段，编译器无法解析你要使用哪个trait的哪个属性。因此，您可以通过将其显式地提供给编译器来解决问题。

Trait A{
val x:String=“ABC”}

Trait B extends A{
override val x: String=“DEF”}

class AB extends B{
override val f1: String = super[T3].x}

Answer 2

您可以手动解决歧义：

  trait T2 {
    val f1: String = "T2f1"
  }

  trait T3 {
    val f1: String = "T3f1"
  }

  class C2 extends T2 with T3 {
    override val f1: String = "T2f1"
  }

或

  trait T2 {
    val f1: String = "T2f1"
  }

  trait T3 {
    val f1: String = "T3f1"
  }

  class C2 extends T2 with T3 {
    override val f1: String = "T3f1"
  }

如果是，编译器可以通过线性化自动执行此操作

  trait T2 {
    val f1: String = "T2f1"
  }

  trait T3 extends T2 {
    override val f1: String = "T3f1"
  }

  class C2 extends T2 with T3

Scala特征中的冲突字段

Answer 3

公认的答案是正确的，但请记住，所建议的模式很奇怪，在非平凡的情况下可能会导致难以理解的错误。根据我的经验，重写非抽象VAL只会给你带来麻烦。

问题是初始化代码是定义的类/特征的构造函数的一部分。这意味着代码同时初始化了T2。f1和T3。f1将在创建C2的实例时执行：

trait T2 {
    val f1: String = {
        println("T2")
        "T2f1"
    }
}

trait T3 {
    val f1: String = {
        println("T3")
        "T3f1"
    }
}

class C2 extends T2 with T3 {
    override val f1: String = {
        println("C2")
        "T3f1"
    }
}

new C2 // Will print "T2", then "T3", then "C2"

如果初始化代码有任何重要的副作用，这可能会导致难以追踪错误！它还有一个缺点，就是迫使您在C2中重复一些T3的代码。

如果你不是绝对需要T2。f1和T3。f1要成为VAL，最好使用defs来避免抽象的VAL初始化代码：

trait T2 {
    def f1: String = "T2f1"
}

trait T3 {
    def f1: String = "T3f1"
}

class C2 extends T2 with T3 {
    override val f1: String = "C2f1" // You can keep this a def if you like
}

如果您确实需要f1成为val，例如，如果您需要一个稳定的值来在模式匹配语句中使用它，您可以使用以下选项：

trait T2 {
    val f1: String
    protected def computeF1: String = {
        println("T2")
        "T2f1"
    }
}

trait T3 {
    val f1: String
    protected def computeF1: String = {
        println("T3")
        "T3f1"
    }
}

class C2 extends T2 with T3 {
    override val f1: String = computeF1 // You can keep this a def if you like
    override protected def computeF1: String = super[T3].computeF1
}

new C2 // Only prints "T3" once

最后一个解决方案有点冗长，但它通过避免重写非抽象的val而完全绕过了这个问题。