Generiki vam omogočajo, da napišete razrede in metode parametrizirane po tipu, tako da isti kod deluje z marsikatero vrsto tipov in hkrati ohranja varnost tipov v času prevajanja. To je parametrična polimorfizem — "ena oblika, katerikoli 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 briše generične tipe med izvajanjem (type erasure) — ne morete narediti new T() ali instanceof List<String>. C++ šablone in C# generiki se obnašajo drugače (monomorphization / reified types).
Generiki dajejo ponovno uporabnost in varnost hkrati: en List<T> služi vsakemu tipu elementa, pri čemer prevajnik ujame napake tipov, ki bi sicer povzročile sesutje med izvajanjem.
Odstranijo nevarni typecast in so osnova zbirk, kar naredi kodo bolj ponovno uprabljivo in težje jo je napačno uporabiti.