Tutoriel par Examples: contravariance



Le symbole - marque un paramètre de type comme contravariant - ici nous disons que " Handler est contravariant sur A ": trait Handler[-A] { def handle(a: A): Unit } Un paramètre de type contravariant peut être considéré comme un type "d'entrée". Marquer A comme contrav...
Quand un IComparer<T> un sous-type d'un autre IComparer<T1> ? Lorsque T1 est un sous-type de T IComparer est contravariant dans son paramètre T , ce qui signifie que la relation de sous-type d' IComparer va dans la direction opposée à celle de T class Animal { /* ... */ } class...

Page 1 de 1