Gjenerikot ju lejojnë të shkruani klasa dhe metoda të parametrizuara sipas tipit, në mënyrë që i njëjti kod funksionon me shumë tipa ndërsa ruajnë sigurimin e tipit në kohën e kompilimit. Kjo është polimorfizmi parametrik — "një formë, çdo lloj."
();
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 fsheh llojet gjenerike në kohën e ekzekutimit (type erasure) — nuk mund të bëni new T() ose instanceof List<String>. C++ shablonet dhe gjenerikot C# sillen ndryshe (monomorphization / reified types).
Gjenerikot japin ripërdorueshmëri dhe siguri në të njëjtën kohë: një List<T> shërben çdo lloji elementi, me kompilatuesin që kap gabime tipesh që përndryshe do të ishin prishje në kohën e ekzekutimit.
Ata eleminojnë derdhjet e padrejta të tipeve dhe janë themeli i koleksioneve, duke bërë kodin më të ripërdorueshem dhe më të vështirë për të qenë keq i përdorur.