Generics ti permettono di scrivere classi e metodi parametrizzati per tipo, in modo che lo stesso codice funzioni con molti tipi mantenendo la sicurezza dei tipi a tempo di compilazione. Questo è il polimorfismo parametrico — "una forma, qualsiasi tipo".
();
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 cancella i tipi generici a runtime (type erasure) — non puoi fare new T() o instanceof List<String>. I template C++ e i generics C# si comportano diversamente (monomorphization / reified types).
I generics offrono riuso e sicurezza simultaneamente: un singolo List<T> serve ogni tipo di elemento, con il compilatore che cattura gli errori di tipo che altrimenti sarebbero crash a runtime.
Eliminano i cast non sicuri e sono alla base delle collezioni, rendendo il codice sia più riutilizzabile che più difficile da usare male.