Generics, sınıfları ve metotları tür ile parametrelendirilmiş olarak yazmanıza izin verir, böylece aynı kod birçok türle çalışırken derleme zamanı tür güvenliğini korur. Bu parametrik polimorfizm — "bir şekil, her tür."
();
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, çalışma zamanında generik türleri siler (type erasure) — new T() veya instanceof List<String> yapamaz. C++ şablonları ve C# generics farklı davranır (monomorphization / reified types).
Generics, yeniden kullanılabilirlik ve güvenliği aynı anda sağlar: tek bir List<T>, her öğe türü için geçerli olur ve derleyici, aksi halde çalışma zamanı çökmelerine neden olacak tür hatalarını yakalar.
Güvenli olmayan dönüştürmeleri ortadan kaldırırlar ve koleksiyonların omurgasıdırlar, kodu hem daha yeniden kullanılabilir hem de yanlış kullanılması daha zor hale getirirler.