Java дженериков ковариационной

Question

У меня возникли проблемы с пониманием к следующей статье: http://www.ibm.com/developerworks/java/library/j-jtp01255.html

Under,

Дженерики не КОВАРИАНТНОЙ

автор заявляет,,

Поскольку ln - это список, добавив Поплавок к нему кажется совершенно законным. Но если пер были совмещенные с ли, то разорвет типа безопасности обещания неявного в определении Li - , что это список целых чисел, которые поэтому общие типы не могут быть ковариантны.

Я не могу понять, в каком месте он говорит «Если бы вы были с aliased ли». Что означает автор по псевдониму? (Ссылка?). Фрагмент кода выше цитируемой строки, кажется, иллюстрирует ЧТО является незаконным в Java, а не ПОЧЕМУ. Было бы очень полезно, если бы кто-нибудь мог объяснить пример. Спасибо заранее.

Answer 1

List<Integer> li = new ArrayList<Integer>(); 
List<Number> ln = li; // illegal 
ln.add(new Float(3.1415)); 

В Java, Integer наследует от числа (java.lang.Number), поэтому интуитивно, все, что является Integer (java.lang.Integer) также число, но то, что статья указывает на то, что с дженериков не работает таким образом, потому что, учитывая, что Например, вы можете положить float (который является Number) в List<Integer>, что является незаконным, поскольку float не является целым числом.

Вывод: Дженерики не ковариантны.

Примечание: Я рекомендую вам прочитать Эффективная Java (2-е издание) Глава 5: Общие.

Answer 2

Если бы вы могли сделать что-то вроде этого:

List<Float> foo; 
List<Object> bar; 

foo = new ArrayList<Float>(); 
bar = foo; 

foo.add(1.0f); 
bar.add("Hello"); 

все пойдет очень неправильно. В этом примере панель является псевдонимом для foo, и если вы можете это сделать, вы потеряете безопасность типа, которая является основной причиной существования дженериков.

Answer 3

public class vechicle { 
void drive(){ 
} 
} 
class car extends vechicle{ 
     //Covariance 
    vechicle getObject(){ 
     return new car(); 
    } 
     //contravariance 
    car getmyObject(){ 
     return (car) new vechicle(); 
    } 
}