العموميات (Generics) تسمح لك بكتابة الفئات والواجهات والدوال التي تعمل مع معامل نوع (type parameter) يحدده المستدعي — مما يوفر سلامة النوع في وقت الترجمة (compile-time type safety) ويلغي الحاجة للتحويلات (casts). وهي تشغل إطار العمل Collections وتمكن المكتبات القابلة لإعادة الاستخدام.
();
list.add();
list.add();
(String) list.get();
List<String> list = <>();
list.add();
list.add();
list.get();
تنقل العموميات أخطاء النوع من وقت التشغيل (ClassCastException) إلى وقت الترجمة، وتزيل الحاجة للتحويلات اليدوية — مما يجعل الكود أكثر أماناً ونظافة.
// 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> تقيد معامل النوع، مما يمكنك من استخدام أعضاء ذلك النوع بأمان.
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
البدائل تضيف مرونة لمعاملات الدوال التي يجب أن تقبل نطاقات من الأنواع.
// 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 العموميات عبر حذف النوع — معاملات النوع موجودة في وقت الترجمة لكن تُحذف في وقت التشغيل، وهذا له بعض القيود.
العموميات ضرورية للـ Java الحديث — فهي توفر سلامة النوع في وقت الترجمة (اكتشاف أخطاء النوع مبكراً بدلاً من ClassCastException في وقت التشغيل)، وتلغي التحويلات المملة والعرضة للأخطاء، وتمكن من كود قابل لإعادة الاستخدام ومرن النوع.
وهي تشكل أساس إطار العمل Collections بالكامل (List<String>، Map<K,V>) والعديد من المكتبات.
فهم الفئات والأساليب العامة والمعاملات المحدودة والبدائل (PECS) وتحذير حذف النوع يسمح لك باستخدام واجهات برمجية عامة بشكل صحيح وتصميم تجريدات آمنة النوع قابلة لإعادة الاستخدام الخاصة بك — وهي مهارة أساسية لكتابة Java قوية وسهلة الصيانة.