Was ist der Unterschied zwischen Selbsttypen und Eigenschaftsunterklassen?

Question

Ein Selbsttyp für ein Merkmal A :

trait B
trait A { this: B => }

sagt, dass " A kann nicht in eine konkrete Klasse gemischt werden, die nicht auch die B " .

Auf der anderen Seite, die folgenden:

trait B
trait A extends B

sagt, dass "jede (konkrete oder abstrakte) Klasse, die in A wird auch in B gemischt" .

Bedeuten diese beiden Aussagen nicht das Gleiche? Der Selbsttyp scheint nur dazu zu dienen, die Möglichkeit eines einfachen Kompilierfehlers zu schaffen.

Was übersehe ich?

Answer 1

Im ersten Fall kann eine Untereigenschaft oder Unterklasse von B in alles, was A verwendet, hineingemischt werden; B kann also eine abstrakte Eigenschaft sein.