Что такое стирание ограниченного родового типа?

Question

У меня есть класс с дженериками. Я знаю, что информация об общем типе разделяется во время выполнения, но это связано со связанным типом. Я думал, что при компиляции java.lang.Object заменяется связанным типом. Если я знаю, что все всегда будет как минимум Animal, то почему компилятор оставляет его как Object? Есть ли что-то, что мне не хватает, что бы эта работа, как я хочу? В частности, этот последний цикл for в основном методе имеет проблему времени компиляции.

Спасибо!

public static void main(String[] args) throws Exception { 

    Litter<Cat> catLitter = new Litter<>(); 
    for(Cat cat : catLitter) {} 

    Litter<Animal> animalLitter = new Litter<>(); 
    for(Animal animal : animalLitter) {} 

    Litter litter = new Litter(); 
    for(Animal animal : litter) {} // Type mismatch: cannot convert from element type Object to Animal 
} 

public class Litter<T extends Animal> implements Iterable<T>{ 
    @Override public java.util.Iterator<T> iterator() { 
     return new LitterIterator(); 
    } 

    class LitterIterator implements java.util.Iterator<T> { 
     @Override public boolean hasNext() { return false; } 
     @Override public T next() { return null; } 
    } 
} 

public class Animal {} 
public class Dog extends Animal{} 
public class Cat extends Animal{} 

Answer 1

Обязательный Перенаправление:

• What is a raw type and why shouldn't we use it?

поведение вы ожидали бы применить к чему-то вроде

public class Litter<T extends Animal> implements Iterable<T>{ 
    public T get() {return null; /* or whatever */} 
    ... 
} 

и

Litter litter = ...; // raw type 
Animal animal = litter.get(); // compiles fine 

Поскольку Litter является raw type и

типа конструктора (§8.8), метод экземпляра (§8.4, §9.4), или нестатического поля (§8.3) продукта в виде сырья типа C, что не наследуются от его суперклассов или суперинтерфейсов является исходным типом, который соответствует стиранию его типа в родовой декларации, соответствующей C

и с

Стирание переменной типа (§4.4) является стиранием его левого края.

то метод get появляется как

public Animal get() {...} 

к коде с использованием сырьевого Litter типа.

Что касается Litter#iterator() однако, его возвращаемый типа Iterator<T> и так как

стирания параметризованного типа (§4.5) G<T1,...,Tn> является |G|.

его стирание всего лишь Iterator. Метод Iteratornext() затем стерт в

public Object next() {...} 

так очевидно, возвращаемое значение не может быть присвоено переменной типа Animal.

Есть ли что-то, что мне не хватает, что сделало бы эту работу, как я хочу?

Не с сырыми типами, нет.