Generiki vam omogočajo pisanje razredov, vmesnikov in metod, ki delujejo s parametrom tipa, ki ga navede klicajući — zagotavljajo varnost tipov pri prevajanju in izločajo potrebo po pretvarjanju. Omogočajo Collections Framework in ponovno uporabljive knjižnice.
();
list.add();
list.add();
(String) list.get();
List<String> list = <>();
list.add();
list.add();
list.get();
Generiki premikajo napake tipov s časa izvajanja (ClassCastException) v čas prevajanja in odpravljajo potrebo po ročnem pretvarjanju — kar kodo naredi varnejšo in čistejšo.
// a generic class — T is a type parameter filled in by the user
public class Box<T> {
private T value;
public void set(T value) { this.value = value; }
public T get() { return value; }
}
Box<String> b = new Box<>(); // T = String
b.set("hi");
String x = b.get(); // typed, no cast
// a generic method
public static <T> T firstElement(List<T> list) {
return list.get(0);
}
// T must be Number (or a subclass) — lets you call Number methods
public static <T extends Number> double sum(List<T> list) {
double total = 0;
for (T n : list) total += n.doubleValue(); // safe — T is a Number
return total;
}
<T extends X> omejuje parameter tipa, kar vam omogoča varno uporabo članov tega tipa.
List<? extends Number> nums; // "some subtype of Number" — read (producer)
List<? super Integer> sink; // "Integer or a supertype" — write (consumer)
// PECS: Producer Extends, Consumer Super
Nadomestni znaki dodajajo fleksibilnost za parametre metod, ki bi morali sprejeti vrste razponov tipov.
// generics are a COMPILE-TIME feature — erased at runtime (for backward compatibility)
List<String> a = new ArrayList<>();
List<Integer> b = new ArrayList<>();
a.getClass() == b.getClass(); // true — both are just ArrayList at runtime
// consequence: can't do `new T()` or `instanceof List<String>`
Java implementira generike preko izbris tipov — parametri tipov obstajajo ob času prevajanja, vendar se odstranjijo ob času izvajanja, kar ima nekatere omejitve.
Generiki so nepogrešljivi za sodobno Javo — zagotavljajo varnost tipov pri prevajanju (zgodnje odkrivanje napak tipov namesto ClassCastException med izvajanjem), izločajo dolgočasne in napake obremenjene pretvarjanja in omogočajo ponovno uporabljivo, fleksibilno kodo glede tipov.
So temelj celotnega Collections Framework (List<String>, Map<K,V>) in neštetih knjižnic.
Razumevanje generičnih razredov/metod, omejenih parametrov, nadomestnih znakov (PECS) in opozorila o izbrisanju tipov vam omogoča tako pravilno uporabo generičnih API-jev kot tudi oblikovanje lastnih ponovno uporabljanih, varnih abstrakcij glede tipov — bistvena spretnost za pisanje robustne, vzdrževane Jave.