有界ジェネリック型の消去とは何ですか？

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 */} 
    ... 
} 

と

012のようなものに適用されます Litterので

はraw typeと

コンストラクタ（§8.8）、インスタンスメソッドの種類（§8.4、§9.4）、または 非静的フィールドである（§8.3）のその スーパークラス又はスーパーインターフェースから継承されていない生のタイプCはC

に対応する一般的な宣言に にそのタイプの消去に対応する生の型であります

以降、

タイプ変数（§4.4）の消去は、その左端の境界の消去です。次いで

生Litterタイプを使用してコーディングする

public Animal get() {...} 

として現れるget方法。 Litter#iterator()として

しかし、その戻り型はIterator<T>であり

ので、パラメータ化された型（§4.5）G<T1,...,Tn>の消去は|G|あります。

その消去は、ちょうどIteratorです。 Iteratorのnext()方法は、そのように明らかにその戻り値をタイプAnimalの変数に割り当てることができない

public Object next() {...} 

に消去されます。

私が望むようにこの作品を作ることができないものがありますか？

生の種類はありません。