Generics vă permit să scrieți clase și metode parametrizate după tip, astfel încât același cod să funcționeze cu multe tipuri menținând în același timp tipul de siguranță în timp de compilare. Aceasta este polimorfismul parametric — "o formă, orice 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 șterge tipurile generice la runtime (type erasure) — nu puteți face new T() sau instanceof List<String>. C++ templates și C# generics se comportă diferit (monomorphization / reified types).
Generics oferă reutilizare și siguranță simultan: un List<T> servește fiecare tip de element, cu compilatorul care capturează erori de tip care altfel ar fi căderi la runtime.
Eli elimină conversiile nesigure și sunt baza colecțiilor, făcând codul atât mai reutilizabil cât și mai greu de utilizat incorect.