Javaのジェネリックで型の安全

Question

私は完全に（私の.NETの背景で）理解できないJavaのジェネリックスの動作に遭遇しました。

public class TestGeneric<T> 
{ 
    public void get (Object arg) 
    { 
     T temp = (T) arg; 

     System.out.println(temp.toString()); 

     return; 
    } 
} 

TestGeneric<Integer> tg = new TestGeneric<Integer>(); 
tg.get("Crack!!!"); 

私が手にClassCastExceptionが届かない理由を、さらに、アイデアに私は割り当てた後StringとしてTEMPを参照して"Crack!!!"の値を有する、教えてください。また、どのようにClassCastExceptionをスローすることができますか？ Windows 7 x64でJDK 1.7.0_07を使用しています。

Answer 1

理由あなたならば、一般的なタイプにClass<T>のインスタンスを渡し、その後myClass.isInstance(arg)を行うと、例外をスローすることですtype-erasure

上のリンクありJavaジェネリックが型消去によって実装されているということです。 CLSの大幅な変更が必要な.NETジェネリックとは異なり、Javaジェネリックは完全にコンパイル時に処理されます。実行時に、Tへのキャストは無視されます。実行時に型をチェックするためには、Class<T>を保存し、渡されたパラメータの種類を確認するために、そのメソッドを使用する必要があります。

public class TestGeneric<T> 
{ 
    private Class<T> genClass; 
    public TestGeneric(Class<T> t) {genClass = t;} 
    public void get (Object arg) 
    { 
     if (!genClass.isInstance(arg)) { 
      throw new ClassCastException(); 
     } 
     T temp = (T) arg; 

     System.out.println(temp.toString()); 

     return; 
    } 
} 

TestGeneric<Integer> tg = new TestGeneric<Integer>(Integer.class); 
tg.get("Bang!!!"); // Now that's a real Bang!!! 

Answer 2

これはtype-erasureが原因です。つまり、Javaでは、すべてのジェネリックが実行時にObjectに縮小されます。あなたはStringをObjectにキャストしました。これは全く問題ありません。 toStringはObjectに実装されているため、例外もありません。ここで

は本当にClassCastExceptionを取得するための唯一の方法はfalse

Answer 3

タイプIntegerはメソッドtoStringを持っています。実際にはObjectごとにこの方法がありますのでClassCastExceptionは発生しません。

オブジェクトにString固有のメソッドを呼び出さなかったため、例外は発生しませんでした。

この理由は、実行時にtype erasureの型パラメータの値が表示されなくなるためです。

重要なことは、コードがコンパイルされた後は、それらが消去されているため、ジェネリック型のパラメータを見ることができなくなるということです。

クラスキャスト例外を説明し、ここで別の質問があります。そのコードでexplanation

は、ユーザーがいない一般的なパラメータにStringに明示的にキャストしようとしたことがわかります。

これはC＃と比べてJavaの欠点といえます。

Answer 4

これは、ジェネリック型Tには境界が定義されていないため、オブジェクトとして扱われるからです。この場合、何かをTにキャストしてもClassCastExceptionは発生しません。

ただし、クラス定義がpublic class TestGeneric<T extends Number>の場合、get（）にStringを渡すとClassCastExceptionが発生します。

Answer 5

常にJavaのGenericsはコンパイル時のエンティティです。実行時には何もしません。あなたにoqnコードをデモさせてください。

public class TestGeneric<T> 
{ 
    public void get (Object arg) 
    { 
     T temp = (T) arg; 

     System.out.println(temp.toString()); 
     System.out.println(temp.getClass()); 

     return; 
    } 

    public static void main(String args[]) 
    { 
     TestGeneric<Integer> tg = new TestGeneric<Integer>(); 
     tg.get("Crack!!!"); 
    } 
} 

と出力が

は今理にかなって

Crack!!! 
class java.lang.String 

のですか？ オブジェクトは最高のスーパークラスです。したがって、 多型のためにStringオブジェクトを取得できます。あなたは型キャストではなく、むしろ私は内部でそれが実行時にStringオブジェクトであることを知っている文字列オブジェクトに整数参照ポイントを作ると言うでしょう。 toString（）が でない場合、整数クラスのと定義されていました。呼び出す関数は と定義されていますが、参照先はですが、実装は ランタイム 参照オブジェクトから適切に取得されます。

Answer 6

これは、一般的なコードは「に消去」されていることを非汎用コードがどのように見えるかを考えるための有益な運動です：あなたはこのようにそれを行う場合

public class TestGeneric 
{ 
    public void get (Object arg) 
    { 
     Object temp = (Object) arg; 

     System.out.println(temp.toString()); 

     return; 
    } 
} 

TestGeneric tg = new TestGeneric(); 
tg.get("Crack!!!"); // should there be any problem? 

Answer 7

、あなたもありませんClassCastExceptionをチェックする必要があり、コンパイルすることさえできません。

public class TestGeneric<T> { 
    public void get (T arg){ 
     System.out.println(arg.toString()); 
    } 
} 

TestGeneric<Integer> tg = new TestGeneric<Integer>(); 
tg.get("Crack!!!");