Warum kann ich nicht F-begrenzt Objekt in Scala schaffen

Question

Angenommen, ich habe:

trait A[AA <: A[AA]] 
//or even just ` 
trait A[AA] 

Dies funktioniert nicht:

scala> object AAA extends A[AAA.type] 
<console>:8: error: illegal cyclic reference involving object AAA 
    object AAA extends A[AAA.type] 
         ^

Aber das funktioniert:

scala> class AAA extends A[AAA]; object AAA extends AAA 
defined class AAA 
defined module AAA 

Doing fast (nicht genau) gleich und das funktioniert. Irgendein Grund?

P.S. Und auch, was genau can I do innerhalb eines solchen Objekts, um Infinte-Zyklus im Compiler selbst zu erzwingen?

Answer 1

Wie Sie bereits in Ihrem Titel erwähnt haben, ist der Arbeitsfall class AAA extends A[AAA] ein Beispiel für F-bounded polymorphism, bei dem es sich um eine rekursive Typdefinition handelt, bei der sich die Definition auf sich selbst bezieht. Rekursion ist ziemlich häufig in Typen, selbst die bescheidenen List is recursive; es ist ziemlich gut verstandenes Territorium.

object AAA extends A[AAA.type] ist jedoch kein rekursiver Typ. Hier ist AAA ein Wert, und Ihre Deklaration fordert den Compiler auf, den Verweis auf einen Werttyp während seiner Definition aufzulösen, was keine Fähigkeit ist, die Scala entworfen wurde/haben soll.