一般的なネジアップ関連以外のコレクション

Question

テンプレートクラスに関連していないコレクションがそのタイプを削除するのはなぜですか？ここでは一例である：（。申し訳ありませんが、それはので、私は混乱していエラーがコンパイルされません）

package test; 

import java.util.ArrayList; 
import java.util.List; 

public class TemplateTest { 

    public static class A { } 

    public static class B<T extends Comparable> { 
     List<A> aList = new ArrayList<A>(); 

     public List<A> getAList() { 
      return aList; 
     } 

     public int compare(T t, T t1) { 
      return t.compareTo(t1); 
     } 
    } 

    public static void main(String[] args) { 
     B b = new B(); 
     for (A a : b.getAList()) { //THIS DOES NOT WORK 

     } 
     List<A> aList = b.getAList(); //THIS WORKS 
     for (A a : aList) { 

     } 
    } 
} 

このコードはコンパイル時にエラーがスローされます：

test/TemplateTest.java:24: incompatible types 
    found : java.lang.Object 
    required: test.TemplateTest.A 
     for (A a : b.getAList()) { 

私はテンプレートを指定した場合BのようにB<String>、またはテンプレートをBから完全に削除した場合はすべて正常です。

何が起こっているのですか？

編集：それはC++であるような人々は、私は

Answer 1

はい、その後、あなたは生のタイプを使用する場合ことが知られて動作です宣言に失敗した型レベルのパラメータだけでなく、クラスのすべての型パラメータが失われます。

私はB<String>のようにBのテンプレートを指定した場合、または私は完全にBから テンプレートを削除する場合は、すべてがOKです：

問題の一部がここにあります。

これはオプションではありません。タイプパラメータを指定するかどうかを選択する必要はありません。パラメータを指定せずにコンパイルする唯一の理由は、下位互換性のためです。タイプパラメータがない新しいコードを書くことはプログラミングエラーです。

List<A> list = b.getList()は、タイプを正常に解釈しません。これは、任意のキャストを効果的に使用し、割り当てが正しいことを信頼しています。コンパイラの警告を見ると、実際には安全でない変換の警告が生成されています。

for(A a : b.getList()) {}警告は、挿入されたキャストがコンパイラによって生成されたコード内にあるため警告が表示されるため、警告を出すのではなく、安全でないコードを自動生成することを拒否します。生タイプの使用が唯一のレガシーコードの互換性 への譲歩として許可されている

：Java言語仕様から

。 のJavaプログラミング言語への一般性の導入の後に書かれたコードでの生の型の使用は、 が強く推奨されていません。 Java プログラミング言語の将来のバージョンでは、生の型の使用を禁止する可能性があります。

ボトムラインは本当にC++テンプレートとだけ重要なもののJavaのジェネリック医薬品のシェアは<>構文:)

詳細であるということである。これは、ように見える... What is a raw type and why shouldn't we use it?

Answer 2

まずBに追加Bは、ジェネリックにする必要はありませんでした指摘し、Javaで、それがないテンプレート、ジェネリックです。

クラスBに汎用タイプのパラメータTを宣言していますが、使用していません。 Bクラス定義ではAの代わりにTを使用する必要があります。

public static class B<T> { 
    List<T> aList = new ArrayList<T>(); 

    public List<T> getAList() { 
     return aList; 
    } 
} 

あなたはクラスBのインスタンスを宣言するとき、あなたは型パラメータを使用する必要があります。

B<A> b = new B<A>(); 

しかし、あなたはメソッド名getAListが示すように、あなたのaList変数は常にタイプAのオブジェクトを保持することがわかっている場合、そのクラスBがジェネリックにする理由はないだろう。

Answer 3

これは、このバグには本当に似ています

ここで報告され

6760983 : Unused type parameter triggering error in unrelated method

：

Unused Generic causing problem