混入时，scala编译器可以强制实现抽象特征方法吗？

Question

我有一个特点是抽象方法和具体实现的方法，所以是这样的：

trait MyTrait extends BaseClass {
    def myAbstractMethod: MyReturnType
    def myConcreteMethod = { /*implementation*/ }
}

现在我混合特征：

class MyClass extends BaseClass with MyTrait {

}

BaseClass 没有实现抽象方法。当我混合特征时，我希望 scala 编译器强制必须实现抽象方法（就像 Java 接口一样）。但是没有编译错误。

我的特殊情况更复杂。我还无法测试运行时会发生什么。

1. 为什么 scala 编译器不强制执行抽象方法？
2. 我可以让 scala 编译器强制执行抽象方法吗？
3. 我必须在某处添加抽象或覆盖吗？
4. 当我尝试创建和使用 MyClass 的实例时，运行时会发生什么？

Answer 1

您肯定会遇到编译器错误...

scala> :paste
// Entering paste mode (ctrl-D to finish)

trait MyTrait extends BaseClass {
    def myAbstractMethod: MyReturnType
    def myConcreteMethod = { /*implementation*/ }
}

class MyClass extends BaseClass with MyTrait {    
}


// Exiting paste mode, now interpreting.

<console>:14: error: class MyClass needs to be abstract, since method myAbstractMethod in trait MyTrait of type => MyReturnType is not defined
       class MyClass extends BaseClass with MyTrait {


 ^