Generics في Kotlin: دليل شامل لكتابة كود آمن ومرن

مقدمة: لماذا تعتبر Generics أداة سهلة ومفيدة وليست مخيفة

تخيل أنك تكتب كلاس باسم «صندوق». يمكنك وضع أي شيء فيه: كتاب، تفاحة، هاتف. لكن إذا جعلته من النوع Object، ففي كل مرة تخرج فيها شيئًا ستضطر لاستخدام as? Book وتأمل ألا يحدث خطأ ClassCastException. هل هذا مألوف؟

هنا تأتي Generics (الأنواع العامة) لإنقاذك — وهي آلية قوية للتحكم في الأنواع في Kotlin، تتيح لك كتابة كود مرن دون التضحية بأمان الأنواع. في هذا المقال، سنشرح Generics في Kotlin من البسيط إلى المعقد: الكلاسات الأساسية، الدوال، Variance (in/out)، الأنواع المعاد تعريفها (Reified Types)، والإسقاطات النجمية (Star Projections). ستتعلم كيف تجعل كودك أنظف، والمُجمّع (Compiler) حليفك الأكبر.

هذا المقال مُعد لبوابة pythonlib.ru التعليمية — دليلك إلى عالم لغات البرمجة الحديثة.

1. الأساسيات: ما هي Generics في Kotlin؟

Generics (الأنواع العامة) تسمح بجعل الكلاسات، الواجهات، والدوال مُعلمة بنوع يُحدد عند الاستخدام. هذا يمنع تكرار الكود ويمنحك تحكمًا في الأنواع أثناء مرحلة التجميع (Compile Time).

ألقِ نظرة على هذا المثال البسيط:

class Box<T>(val item: T)\n\nfun main() {\n    val bookBox = Box<String>("Kotlin in Action")\n    val intBox = Box<Int>(42)\n    // المُجمّع يعرف النوع!\n    val title: String = bookBox.item\n}

نقاط رئيسية:

\n
• <T> — معامل النوع (يمكن أن يكون أي حرف، لكن الاصطلاح هو T, R, E, K, V).
\n
• يتم تثبيت النوع عند إنشاء الكائن — لا حاجة للتحويل (Casting) في وقت التشغيل.
\n
• تعمل Generics فقط في مرحلة التجميع (Type Erasure)، لكن Kotlin يضيف «إعادة التعريف» (Reification) (سنتحدث عنها لاحقًا).
\n

الدوال العامة (Generic Functions)

التحكم في الأنواع في Kotlin يعمل أيضًا مع الدوال. على سبيل المثال، دالة تُرجع أول عنصر من قائمة:

fun <T> firstItem(list: List<T>): T? = list.firstOrNull()\n\nfun main() {\n    val numbers = listOf(1, 2, 3)\n    val first: Int? = firstItem(numbers) // T = Int\n    println(first) // 1\n}

لاحظ: Kotlin يستطيع استنتاج النوع من السياق — ليس من الضروري كتابة firstItem<Int>(numbers).

2. Variance: in و out — كيف لا تكسر أمان الأنواع

أصعب موضوع للمبتدئين هو Variance (التباين). يجيب على السؤال: هل يمكن أن يكون List<String> نوعًا فرعيًا من List<Any>؟

في Java، يُحل هذا باستخدام Wildcards (? extends / ? super). في Kotlin، باستخدام out و in.

out (التباين المشترك) — للقراءة فقط

العلامة out تعني أن النوع العام يمكن فقط «إخراجه» (إرجاعه من الدوال). مثال: List<out T>.

interface Source<out T> {\n    fun next(): T  // صحيح: T في المخرج\n    // fun add(item: T) // خطأ! T في المدخل ممنوع\n}\n\nfun demo(source: Source<String>) {\n    val anySource: Source<Any> = source // out يسمح بهذا\n}

لماذا هذا آمن؟ إذا كان بإمكاننا فقط قراءة String من المصدر، فيمكن اعتباره مصدرًا لـ Any.

in (التباين المعاكس) — للكتابة فقط

in — العكس: النوع يمكن أن يكون فقط في المدخل. المثال الكلاسيكي: Comparable.

interface Comparable<in T> {\n    operator fun compareTo(other: T): Int\n}\n\nfun demo(comp: Comparable<Number>) {\n    val intComp: Comparable<Int> = comp // in يسمح بهذا\n}

إذا كان Comparable<Number> يستطيع مقارنة أي أرقام، فبالتأكيد سيستطيع مقارنة Int أيضًا.

in out (التباين الثابت) — الوضع الافتراضي

إذا لم يتم تحديد in أو out، فإن النوع يكون ثابتًا (Invariant). هذا يعني أن Box<String> ليس نوعًا فرعيًا من Box<Any>، والعكس صحيح. هذا هو السلوك الافتراضي والأكثر أمانًا.