Generics jigħallbuk tikteb klassiet, interfacci u metodi li jaħdmu ma' parametru ta' tip speċifikat mill-msieq — jipprovdu sigurtà ta' tip fil-ħin tal-kompilazzjoni u jeliminaw il-casts. Huma jgħottu l-qawwa lill-Collections Framework u libreries li jistgħu jissaraw.
();
list.add();
list.add();
(String) list.get();
List<String> list = <>();
list.add();
list.add();
list.get();
Generics iġobu l-iżbalji ta' tip mill-runtime (ClassCastException) għall-compile time, u jitneħħew il-bżonn għal casts manuali — jagħmlu l-kodiċi iktar sigur u aktar nadif.
// 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> iħeġġeġ il-parametru ta' tip, ħallik tuża l-membri ta' dak it-tip b'mod sigur.
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
Wildcards iżidu flessibilità għal parametri ta' metodu li għandhom jikkunsidraw firxiet ta' tipi.
// 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 timplimenta generics permezz ta' type erasure — parametri ta' tip jeżistu fil-ħin tal-kompilazzjoni iżda jitneħħew fil-ħin tal-runtime, li għandhom xi limitazzjonijiet.
Generics huma essenzjali għal Java modern — jipprovdu sigurtà ta' tip fil-ħin tal-kompilazzjoni (jaqbdu l-iżbalji ta' tip aktar kmieni minflok bħala ClassCastException tal-runtime), jeliminaw casts verbożi u soġġetti għal iżbalji, u jippermettu kodiċi li jista' jissaraw u flessibli għat-tip.
Huma l-pedamenti tal-interċ Collections Framework (List<String>, Map<K,V>) u inumerevoli libreries.
Fhim ta' klassiet/metodi generici, parametri dduplikati, wildcards (PECS), u l-twissija ta' type erasure jigħallbuk tuża l-APIs generici b'mod korrett u tiddisinja l-astrazzjonijiet tiegħek stess li jistgħu jissaraw u siguri għat-tip — ħila essenzjali għall-kitba ta' Java robustu u maintenible.