Generiker låter dig skriva klasser och metoder parametriserade efter typ, så samma kod fungerar med många typer samtidigt som typkontroll vid kompilering bibehålls. Detta är parametrisk polymorfism — "en form, vilken typ som helst."
();
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 raderar generiska typer vid körning (type erasure) — du kan inte göra new T() eller instanceof List<String>. C++-mallar och C#-generiker beter sig annorlunda (monomorphization / reified types).
Generiker ger återanvändbarhet och säkerhet samtidigt: en List<T> fungerar för alla elementtyper, och kompilatorn fångar typfel som annars skulle vara körningskraschs.
De eliminerar osäkra typkonverteringar och är grunden för samlingar, vilket gör koden både mer återanvändbar och svårare att missbruka.