我們是否應該始終在特質中使用`override`

Question

我們是否應該始終在特質中使用override來預先解決鑽石繼承問題？

讓我們看一個例子來說明這一點：

trait S { def get : String } 
trait A extends S { override def get = "A" } 
trait B extends S { override def get = "B" } 
class C extends A with B 

沒有override，以下不編譯。

Answer 1

使用override將使它編譯，但真正的問題是：你想達到什麼？

在scala中，你正在擴展的特徵是線性化的。這意味着，

class C extends A with B 
new C().get 

會產生"B"

但

class C extends B with A 
new C().get 

會產生"A"代替。

那麼你期望什麼？一般來說，取決於解決鑽石問題的繼承順序似乎是一個可怕的設計選擇（雖然有這種語言功能的合法使用，如可堆疊特質模式）

因此，回到原來的問題，你應該總是使用覆蓋？不，您應該避免在繼承層次結構中使用鑽石。