Polymorphisme lié à Scala F sur l'objet

Question

Je ne peux pas écrire le polymorphisme F-borné suivant dans Scala. Pourquoi?

trait X[T <: X[T]] 
object Y extends X[Y] 

Comment puis-je exprimer cela et le faire compiler?

Answer 1

Il semble vraiment que vous devriez être capable d'écrire,

trait X[T <: X[T]] 
object Y extends X[Y.type] 

cependant, si vous essayez que le compilateur vous donnera un peu serviable (et je pense faux) erreur,

scala> object Y extends X[Y.type] 
<console>:16: error: illegal cyclic reference involving object Y 
     object Y extends X[Y.type] 

Je dis "faux" parce que nous pouvons construire un objet équivalent avec un peu d'infrastructure supplémentaire,

Si vous vouliez expérimenter cela en code réel, l'utilisation d'un objet package à la place de object Fix rendrait cet idiome un peu plus utilisable.

Answer 2

Modifier à:

trait Y extends X[Y] 

object est pas un type à Scala, mais le soi-disant objet compagnon. En définissant object Y, vous ne pouvez pas exprimer qu'il doit s'étendre trait T[Y], puisque ce second Y fait référence à un type Y qui n'a pas été défini. Vous pouvez cependant effectuer les opérations suivantes:

trait Y extends X[Y]   //If you try this on the REPL, do :paste before 
object Y extends X[Y] 

Dans ce cas, l'objet Y étend X[Y] où le second Y est le trait que vous définissez juste, assurez-vous de garder cela à l'esprit.