Generics تتيح لك كتابة classes و methods معاملة بـ type، بحيث يعمل نفس الكود مع أنواع عديدة مع الحفاظ على type safety في وقت الترجمة. هذا هو البوليمورفيزم البارامتري — "شكل واحد، أي نوع."
();
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 يمحو أنواع generic في وقت التشغيل (type erasure) — لا يمكنك عمل new T() أو instanceof List<String>. C++ templates و C# generics تتصرف بشكل مختلف (monomorphization / reified types).
Generics توفر إعادة استخدام وأمان في نفس الوقت: List<T> واحد يخدم كل نوع عنصر، مع اصطياد المترجم لأخطاء النوع التي قد تكون crashes في وقت التشغيل بخلاف ذلك.
تلغي unsafe casts وهي العمود الفقري للـ collections، مما يجعل الكود أكثر قابلية لإعادة الاستخدام وأصعب في الاستخدام الخاطئ.