Составление независимых признаков

Question

Даны две независимые черты:

trait T1 { 
    def x = 42 
} 

trait T2 { 
    def x = 0 
} 

Если я пытаюсь определить смешивание класса в этих двух черт, как:

class C extends T1 with T2 

Я получаю ошибку компиляции:

error: overriding method x in trait T1 of type => Int; 
method x in trait T2 of type => Int needs `override' modifier 
class C extends T1 with T2 
    ^
one error found 

Теперь предположим, что T1 и T2 были разработаны независимо, поэтому не переопределяют, поскольку они не переопределяют ничего. Как можно определить C? Пример:

class C extends T1 with T2 { 
    override def x = super.x 
} 

?

Answer 1

Это известно как diamond problem. В Scala есть два способа решения этой:

trait T1 { 
    def x = 0 
} 

trait T2 { 
    def x = 42 
} 

class C extends T1 with T2 { 
    override def x = super.x 
} 

class D extends T2 with T1 { 
    override def x = super.x 
} 

Если вы звоните new C().x сейчас, вы получите 42 потому что Scala использует реализацию признака вы смешанных в прошлом. new D().x даст 0. Это означает, что для решения проблемы с алмазами вам необходимо четко определить, какую реализацию вы хотели бы использовать.

Другой способ заключается в следующем:

trait T { 
    def x: Int 
} 

trait T1 extends T { 
    override def x = 0 
} 

trait T2 extends T { 
    override def x = 42 
} 

class C extends T1 with T2 

Вызов new C().x еще даст 42 потому, что T2 является последним признаком смешано в Разница заключается в том, что вы не должны определять x в C..