Generics iħalluk ikteb klassijiet u metodi parameterizzati minn tip, sabiex l-istess kodiċi jaħdem ma' ħafna tipps filwaqt li jippreserva sigurtà ta' tip fil-waqt tal-kompilazzjoni. Dan huwa polymorphism parametriku — "forma waħda, kull tip".
();
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 imħassar ittipps generici fil-ħinijiet tal-ħinija (type erasure) — ma tistax tagħmel new T() jew instanceof List<String>. Il-templates C++ u l-generics C# jaġixxu b'mod differenti (monomorphization / reified types).
Generics jagħtu riuzu u sigurtà simultanjament: tip List<T> wieħed ifservi kull tip ta' element, mal-kompilatur jaqbad ittipps ta' żbalji li inkella jkunu qsim tal-ħinija.
Jitħaqqqu l-casts mhux siguri u huma l-kisba tal-kollezzjonijiet, iġiegħel il-kodiċi kemm ikun aktar riutilizzabbli kif ukoll aktar diffiċli li jintuża ħażin.