型消去
J2SE 5.0でジェネリックプログラミングを行うために、総称型が導入された。しかし、C++のテンプレートのように、異なる型引数のセットに応じて異なるクラスを作成することは、jarファイルの肥大化を招くと判断された。代わりに、どのような型引数が与えられても、型引数が消去 (型消去という用語はここから来ている) されたかのように見える単一のクラスを用いることにした。以下のようなコードはコンパイルすることができない。
また、以下のようなコードは意味がない。
型変数の出現箇所においては、型消去を行うフェーズで、適宜キャストがコンパイラによって暗黙的に挿入される。
java.lang.Object.getClass は Class<?>を返すと宣言されているが、任意のT型のインスタンスに対して呼び出すとClass<T'>を返す。ただし、T'はTのraw型である。