Scala 中的 Traits 是接口还是抽象类？

Question

我在网上了解到 Scala 中的 Traits 是

可以提供具体成员的接口

这意味着，特征是接口，我们可以在接口中为方法提供主体。我在这里有一个简单的查询，如果这可能比我下面的代码显示错误的原因：

错误：(6, 8) 对象 Car 继承了冲突的成员：方法 startEngine 在 trait Vehical 类型 => 单元和方法 startEngine 在 trait Motor of type => Unit 中（注意：这可以通过 在对象 Car 中声明一个覆盖。）对象 Car 扩展了 Vehical 电机{

trait Vehical {
  def startEngine : Unit = {
    println("Vehical Start")
  }
  def stopEngine
}

trait Motor {
  def startEngine : Unit = {
    println("Motor Start")
  }
  def stopEngine
}

object Car extends Vehical with Motor {

  override def stopEngine : Unit = {
    println("Stop Engine")
  }

  def main(args: Array[String]): Unit = {
    Car.startEngine
    Car.stopEngine
  }
}

作为一名 java 开发人员，我不会在接口内部提供 body，但 scala 特性允许这样做。如果特征不是接口，那么我会将它们视为抽象类，这意味着 scala 中不允许使用接口。

另外请告诉我如何解决这个歧义问题。如果同一方法在多个特征中可用，我如何在子类中使用我的 startEngine 方法。

Answer 1

作为一名 Java 开发人员，我不会在接口内提供正文 但是 scala 特性允许这样做

Scala 中的 trait 提供了定义默认实现的方法，Java starting version 8 也是如此。在 Scala 中，它们主要用作mixins。

关于编译错误，这是因为您使用 startEngine 方法声明了 Vehicle 和 Motor，从编译器的角度来看，这会产生歧义，因为您是在两种实现中混合。为了克服这个问题，您需要在实现类/特征中显式覆盖该方法：

override def startEngine: Unit = super.startEngine

需要注意的重要一点是，这里的super 指的是mixin 链中提供startEngine 方法的最后一个特征，在本例中为Motor。这意味着您将看到：

Motor Start
Stop Engine

我认为这不是你想要的。

可以做的是要求Vehicle 使用self types 混合实现Motor：

trait Vehicle {
  self: Motor =>

  def startEngine: Unit = {
    println("Vehicle Start")
    startMotor
  }

  def stopEngine: Unit = {
    println("Stopping Engine")
    stopMotor
  }
}

并仅根据电机定义您的 Motor 方法：

trait Motor {
  def startMotor: Unit = {
    println("Motor Start")
  }

  def stopMotor: Unit = {
    println("Stop Motor")
  }
}

然后你混合一切：

object Car extends Vehicle with Motor

然后调用：

def main(args: Array[String]): Unit = {
  Car.startEngine
  Car.stopEngine
}

你会得到：

Vehicle Start
Motor Start
Stopping Engine
Stop Motor