-ジェネリックス-ジェネリックスとは、クラスやインタフェース、メソッドなどの「型」をパラメータ化することを可能にする機能です。型パラメータの宣言と記述が必要です。型パラメータは原則として右辺、左辺で同じデータ型を指定しないとコンパイルエラーになります。型変換が可能でもサブクラスの型を記述することは、できません。これをタイプセーフといいます。コンパイル時と実行時の両方で型チェックを行うことができ、よりタイプセーフといえます。