* و Any في Kotlin: ما الفرق وماذا تختار؟ تحليل مع أمثلة

مقدمة: لماذا الخلط بين العلامة النجمية و Any أمر طبيعي

إذا كنت تكتب بلغة Kotlin لمدة أسبوعين على الأقل، فمن المحتمل أنك واجهت الدجينيريكس (Generics). وإذا كنت قد ألقيت نظرة على الكود المصدري للمكتبة القياسية أو كتبت شيئًا مثل List<*>، فربما تساءلت: "لماذا لا أكتب ببساطة List<Any>؟ أليست العلامة النجمية تعني "أي نوع"؟"

هذا السؤال هو من أكثر الأسئلة شيوعًا على Stack Overflow (آلاف المشاهدات). وليس من المستغرب: للوهلة الأولى، يبدو * و Any قابلين للتبادل. لكن في الواقع، بينهما فجوة كبيرة، وإذا لم تلاحظها، فقد تكتب كودًا لا يتم تجميعه، أو ما هو أسوأ، قد يتعطل بصمت أثناء وقت التشغيل.

في هذه المقالة، سنوضح مرة واحدة وإلى الأبد الفرق بين * (star projection) و Any في دجينيريكس Kotlin. ستتعرف على متى تستخدم كل منهما، وكيف تعمل التباينية (Variance)، ولماذا العلامة النجمية ليست "Any"، بل "لا أعرف ما هو النوع، لكن لا يهمني". هيا بنا!

نبذة عن الدجينيريكس: لماذا نحتاجها أساسًا

تسمح لنا الدجينيريكس (التعميمات) بكتابة كلاسيات ودوال تعمل مع أنواع مختلفة دون فقدان أمان النوع. بدلاً من كتابة كلاس منفصل لـ Int وآخر لـ String وآخر لـ User، نكتب كلاسًا واحدًا Box<T>.

لكن ماذا لو أردنا كتابة دالة تقبل أي Box، بغض النظر عما بداخله؟ هنا يظهر بطلا قصتنا: * و Any.

Any هو نوع محدد (يشبه Object تقريبًا)

في Kotlin، Any هو جذر التسلسل الهرمي للأنواع لجميع الأنواع غير القابلة للصفر (non-null). إذا كتبت List<Any>، فهذا يعني: "قائمة تحتوي على عناصر من النوع Any". أي يمكنك وضع Int و String و User فيها — أي شيء، لأنها جميعًا ترث من Any.

نقطة مهمة: List<Any> هو نوع محدد بمعاملات. المترجم يعلم أن نوع العنصر هو Any.

val listOfAny: MutableList<Any> = mutableListOf(1, "hello", 3.14)\nlistOfAny.add(42) // OK\nlistOfAny.add("world") // OK\n

هنا كل شيء متوقع: لقد قلنا بوضوح أن القائمة تعمل مع Any. لكن هناك فارق بسيط: MutableList<Any> ليست MutableList<String>. لا يمكنك تمرير قائمة من السلاسل النصية إلى مكان يُتوقع فيه قائمة من Any (إلا إذا كنت تستخدم التباينية المشتركة (Covariance)، ولكن سنتحدث عن ذلك لاحقًا).

العلامة النجمية (*) هي "لا أعرف، لكن لا يهمني"

العلامة النجمية، أو star projection، هي قصة مختلفة تمامًا. عندما تكتب List<*>، فأنت تقول للمترجم: "هذه قائمة من نوع ما، لكنني لا أعرف أي نوع بالضبط، ولا يهمني". هذا إسقاط لنوع غير معروف.

الفرق الرئيسي: * ليس نوعًا، بل wildcard (علامة استبدال). يعني أن النوع غير معروف، ويضع المترجم قيودًا على ما يمكنك فعله بهذا الكائن.

fun printLength(list: List<*>) {\n    // list.add(1) // خطأ في التجميع! لا يمكن إضافة عنصر\n    println(list.size) // OK: يمكن معرفة الحجم\n    for (item in list) {\n        println(item) // OK: نوع item هو Any?\n    }\n}\n

لاحظ: عندما تقرأ العناصر من List<*>، فإن نوعها هو Any? (لأن القائمة قد تحتوي على null). لكن لا يمكنك إضافة عناصر، لأن المترجم لا يعرف النوع الحقيقي المخزن فيها. هذه حماية ضد انتهاك أمان النوع.

الفرق الرئيسي في كلمتين

\n
• List<Any> — قائمة يمكن أن تحتوي