Javaで型消去

ジェネリックプログラミングをサポートし、より厳密な型チェックを実行するために、Javaは型消去を実装しています。

• ジェネリック型のすべての型パラメーターは、バウンド（非バウンドの場合）またはオブジェクトタイプに置き換えられます。このように、バイトコードにはクラス、メソッド、およびインターフェースのみが含まれます。

• 型を保持するための型キャスト。

• ブリッジメソッドは、拡張ジェネリック型のポリモーフィズムの概念を維持するために生成されます。

例

import java.io.PrintStream;
import java.util.*;
public class Demo{
   public Demo(){
   }
   public static void main(String args[]){
      List my_list = new ArrayList();
      my_list.add("Hi there");
      String my_str;
      for (Iterator iter = my_list.iterator(); iter.hasNext();
         System.out.println(my_str))
      my_str = (String)iter.next();
   }
}

出力

Hi there

Demoという名前のクラスには、基本的に本体が定義されていないコンストラクターが含まれています。 main関数では、新しい配列リストが作成され、「add」関数を使用して要素がリストに追加されます。アニテーターが定義され、文字列が定義されます。イテレータは、「hasNext」関数を使用して文字列内の要素を反復処理します。この関数は、要素があるかどうかを確認してから、その要素に移動します。出力は画面に印刷されます。