Generik memungkinkan anda menulis kelas dan metode yang diparameterisasi oleh jenis, sehingga kode yang sama berfungsi dengan banyak jenis sambil mempertahankan keamanan jenis saat kompilasi. Ini adalah polimorfisme parametrik — "satu bentuk, jenis apa pun".
();
list.add();
(String) list.get();
// With generics: type is known and checked at compile time
List<String> list = new ArrayList<>();
list.add("hi");
String s = list.get(0); // no cast; list.add(42) won't compile
class Box<T> { // T is a type parameter
private T value;
Box(T value) { this.value = value; }
T get() { return value; }
}
Box<Integer> b = new Box<>(42); // T = Integer, checked at compile time
int n = b.get(); // no cast needed
<T extends Comparable<T>> // bounded: T must be comparable
List<? extends Number> // covariance: accept List<Integer>, List<Double>
Java menghapus jenis generik saat runtime (type erasure) — anda tidak dapat melakukan new T() atau instanceof List<String>. Template C++ dan generik C# berperilaku berbeda (monomorphization / reified types).
Generik memberikan penggunaan kembali dan keamanan secara bersamaan: satu List<T> melayani setiap jenis elemen, dengan kompiler menangkap kesalahan jenis yang sebaliknya akan menjadi kerusakan runtime.
Mereka menghilangkan cast yang tidak aman dan menjadi tulang punggung koleksi, membuat kode lebih dapat digunakan kembali dan lebih sulit untuk disalahgunakan.