variance de type Scala sur des bornes inférieures

Question

dans la programmation Scala 2ème édition dans la section 19.5 dans l'exemple suivant

class Queue[+T] (private val leading: List[T], 
     private val trailing: List[T]) { 
    def enqueue[U >: T](x: U) = 
     new Queue[U](leading, x :: trailing) // ... 
} 

T devrait se retrouver à la position négative comme ci-dessous

def enqueue[U- >: T-](x: U-) = 
      new Queue[U](leading, x :: trailing) // ... 

Mais le livre mentionne qu'il y sont 2 flips

Techniquement, ce qui se passe est un flip se produit pour les limites inférieures. Le paramètre de type U est dans une position négative (1 flip), tandis que la borne inférieure (>: T) est dans une position positive (2 flips).

Comment 2 flips se produisent ici?

Answer 1

Dans enqueue, T est pas un paramètre de type, mais une référence à un élément de type de contexte externe. Il n'est donc pas correct de dire "T devrait se retrouver en position négative".

Peut-être que vous pourriez penser de la référence à T comme la limite inférieure de U comme un « appel de méthode qui donne T », seulement il est un « appel de type », donc T est en quelque sorte dans un « type de retour » ou covariant position.

La phrase suivante est importante:

Intuitivement, si T est un type plus spécifique que prévu (par exemple, Apple au lieu de Fruit), un appel à append fonctionne toujours, parce que U (Fruit) sera toujours un supertype de T (Apple).