Javaのジェネリクス

ウィキペディア小見出し辞書

Javaのジェネリクス

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/02 08:30 UTC 版)

「ジェネリックプログラミング」の記事における「Javaのジェネリクス」の解説

2004年、J2SE 5.0の一部としてJavaにジェネリクスが追加された。C++のテンプレートとは違い、Javaコードのジェネリクスはジェネリッククラスの1つのコンパイルされたバージョンだけを生成する。ジェネリックJavaクラスは型パラメータとしてオブジェクト型だけを利用できる（基本型は許されない）。従ってListは正しいのに対してListは正しくない。 Javaではジェネリクスはコンパイル時に型の正しさをチェックする。そしてジェネリック型情報は型消去 (type erasure) と呼ばれるプロセスを通じて除去され、親クラスの型情報だけが保持される。例えば、Listは全てのオブジェクトを保有できる非ジェネリックの（生の）Listに変換されるだろう。しかしながら、コンパイル時のチェックにより、コードが未チェックのコンパイルエラーを生成しない限り、型が正しいようにコードの出力が保証される。 このプロセスの典型的な副作用はジェネリック型の情報を実行時に参照できないことである。従って、実行時には、ListとListが同じListクラスであることを示す。この副作用を緩和するひとつの方法はCollectionの宣言を修飾するJavaのCollections.checkedList(List, Class)メソッドを利用して、実行時に型付けされたCollectionの不正利用（例えば不適切な型の挿入）をチェックすることによるものである。これは旧式のコードとジェネリクスを利用するコードを共存運用したい場合の状況で役立つ。 C++やC#のように、Javaはネストされたジェネリック型を定義できる。従って、例えばList<Map>は有効な型である。