Demonstrują kowariancję i kontrawariancje w Javie?

Question

Proszę pokazać dobry przykład kowariancji i kontrawariancji w Javie.

Answer 1

kowariancji:

class Super { 
    Object getSomething(){} 
} 
class Sub extends Super { 
    String getSomething() {} 
} 

Sub getSomething jest kowariantna ponieważ zwraca podklasę zwracanego typu Super # getSomething (ale spełniają wymagania umowę Super.getSomething())

kontrawariancja

class Super{ 
    void doSomething(String parameter) 
} 
class Sub extends Super{ 
    void doSomething(Object parameter) 
} 

Sub doSomething jest contrava Riant, ponieważ bierze parametr superklasy parametru Super # doSomething (ale znowu wypełnia kontrakt Super # doSomething)

Uwaga: ten przykład nie działa w Javie. Kompilator Java mógłby przeciążyć i nie zastąpić metody doSomething() -. Inne języki wspierają ten styl kontrawariancji.

Generics

jest to również możliwe dla rodzajowych:

List<String> aList... 
List<? extends Object> covariantList = aList; 
List<? super String> contravariantList = aList; 

Możesz teraz uzyskać dostęp do wszystkich metod covariantList że nie bierze parametru rodzajowego (jak to musi być coś "extends Object"), ale moduły pobierające działają poprawnie (ponieważ zwracany obiekt zawsze będzie typu "Object")

Odwrotnie jest w przypadku contravariantList: Możesz uzyskać dostęp do wszystkich metod z parametrami ogólnymi (wiesz, że musi to być klasa nadrzędna "Łańcucha", więc zawsze możesz je przekazać), ale nie ma modułów pobierających (zwracany typ może być dowolnego innego typu nadtypu ciągu znaków)

Answer 2

Spójrz na Liskov substitution principle. W efekcie, jeśli klasa B rozszerza klasę A, powinieneś być w stanie użyć B, gdy wymagane jest A.

Answer 3

Współzmienność: Iterable i Iterator. Prawie zawsze ma sens zdefiniowanie co-wariantu Iterable lub Iterator. Iterator<? extends T> może być używany tylko jako Iterator<T> - jedynym miejscem, w którym pojawia się parametr type, jest typ zwracany z metody , więc można go bezpiecznie przenieść do wersji T. Ale jeśli masz S rozszerza T, możesz również przypisać Iterator<S> do zmiennej typu Iterator<? extends T>. Na przykład, jeśli są zdefiniowaniu metody znajdują się:

boolean find(Iterable<Object> where, Object what) 

nie będzie mógł nazwać go List<Integer> i 5, więc lepiej zdefiniowane jako

boolean find(Iterable<?> where, Object what) 

przeciwwskazane wariancji: porównawcze. To prawie zawsze ma sens, aby użyć Comparator<? super T>, ponieważ może być używany tak jak Comparator<T>. Parametr type pojawia się tylko jako typ parametru metody compare, dzięki czemu T może zostać do niego bezpiecznie przekazany.Na przykład, jeśli masz DateComparator implements Comparator<java.util.Date> { ... } i chcesz posortować List<java.sql.Date> z tego komparatora (java.sql.Date to podklasa java.util.Date), można zrobić z:

<T> void sort(List<T> what, Comparator<? super T> how) 

ale nie z

<T> void sort(List<T> what, Comparator<T> how)