Una domanda sui tratti

Question

Qual è la differenza tra i due seguenti?

1 #

trait B extends A { 

} 

2 #

trait B { self: A => 

} 

dove A è una classe astratta.

> > EDIT:

Si prega di spiegare per quanto riguarda il seguente esempio di Duck s con volare pluggable e comportamenti quacking:

abstract class Duck { 
    def fly(): Unit 
    def quack(): Unit 
    def swim() { 
    println("Woodoowoodoowoodoo...") 
    } 
} 

trait FlyingWithWings extends Duck { 
    override def fly() { 
    println("Me can fliez! :D") 
    } 
} 

trait FlyingNoWay { self: Duck => 
    def fly() { 
    println("Me cannot fliez! :(") 
    } 
} 

trait Quack extends Duck { 
    override def quack() { 
    println("Quack! Quack!") 
    } 
} 

trait MuteQuack { self: Duck => 
    def quack() { 
    println("<<Silence>>") 
    } 
} 

class MallardDuck extends Duck with FlyingWithWings with MuteQuack 

object Main { 
    def main(args: Array[String]) { 
    val duck = new MallardDuck 
    duck.fly() 
    duck.quack() 
    } 
} 

uscita:

Me può fliez! : D
< < Silenzio >>

Answer 1

Nel secondo caso B non può essere utilizzato in luoghi in cui è prevista una A, è solo progettato per essere "collegato" ad una determinata A. Quindi, ad esempio, nel primo caso A potrebbe essere astratto e B potrebbe implementare i metodi mancanti, rendendolo un tipo istantaneo. Questo non è possibile nel secondo caso, è necessario un "A completo", e solo allora si aggiunge una funzionalità.

Quindi si potrebbe pensare ad una relazione "si adatta in un ..." invece che a "è un ...".

Answer 2

Nel primo esempio B è una specializzazione di A. Il secondo significa che il tratto B deve sempre essere mixato in qualcosa che è, o è un sottotipo di, A (che può essere una classe, un tratto o qualsiasi altro tipo).