La herencia de un rasgo en dos ocasiones

Question

Esto no funciona:

trait Trait 
class Class extends Trait with Trait 

compilador se queja:

<console>:8: error: trait Trait is inherited twice 
     class Class extends Trait with Trait 
         ^
<console>:8: error: trait Trait is inherited twice 
     class Class extends Trait with Trait 
            ^

esto hace:

trait Trait 
class Abstraction extends Trait 
class Implementation extends Abstraction with Trait 

Preguntas:

• W ¿Por qué funciona?
• ¿En qué se diferencia el segundo fragmento? (en relación con el problema de la herencia doble)
• ¿El segundo fragmento o patrón de alguna manera es útil?

Answer 1

El segundo fragmento funciona debido a la linealización del rasgo. El compilador organizará los rasgos en una lista lineal para que Trait solo aparezca una vez. Creo que la linealización es

Implementation, Trait, Abstraction, ScalaObject, AnyRef, Any 

Ver this chapter de programación Scala para una gran explicación.

Esto se hace principalmente para tener un enfoque coherente del problema de la herencia del diamante y es útil en ese caso.

Dado que Trait no puede aparecer dos veces después de la linealización, no tiene sentido escribir Trait with Trait y tiene sentido que no se permita.