Reified في Kotlin: سحر الأدوية الجنسية للمبتدئين

ما هو reified في Kotlin ولماذا هو "سحر"؟

إذا كنت قد كتبت بلغة Java من قبل، فبالتأكيد واجهت Type Erasure — محو الأنواع أثناء التنفيذ. في Java (وفي Kotlin افتراضيًا) تكون معلومات النوع داخل الأدوية الجنسية متاحة فقط في مرحلة التجميع، وتختفي في وقت التشغيل. هذا يعني أنه لا يمكنك كتابة if (value is T) أو T::class داخل دالة عادية، لأن T أثناء التنفيذ هو مجرد Object.

لكن Kotlin ذهب أبعد من ذلك. الكلمة المفتاحية reified (من الإنجليزية "مُجسَّد") تسمح لك "بإحياء" النوع داخل دالة inline. بفضل reified يمكنك فعل ما كان يبدو مستحيلًا في Java: التحقق من النوع، الحصول على KClass، إنشاء مثيلات، وحتى العمل مع الانعكاس — وكل ذلك في وقت التشغيل.

في هذه المقالة، سنشرح كيف يعمل reified بأمثلة حقيقية يمكنك تطبيقها فورًا. هيا بنا!

المشكلة: Type Erasure في العمل

تخيل: أنت تكتب دالة يجب أن تتحقق مما إذا كان الكائن عبارة عن سلسلة نصية. محاولة ساذجة:

fun <T> isString(value: Any): Boolean {\n    return value is T // خطأ في التجميع!\n}

سيصدر المترجم خطأ: "Cannot check for instance of erased type: T". لماذا؟ لأنه أثناء التنفيذ، لا تعرف JVM ما هو T. بالنسبة لها، T هو مجرد Object.

نفس الشيء مع الحصول على الكلاس: T::class داخل دالة عادية لن يعمل أيضًا. هذا هو Type Erasure — الصداع الرئيسي لمطوري Java.

الحل: reified + inline

يقدم Kotlin مخرجًا أنيقًا. "لتذكر" النوع في وقت التشغيل، يجب جعل الدالة inline ووضع علامة على معامل النوع بالكلمة المفتاحية reified:

inline fun <reified T> isString(value: Any): Boolean {\n    return value is T // الآن يعمل!\n}

الآن يمكنك الاستدعاء:

println(isString<String>("Hello")) // true\nprintln(isString<Int>("Hello"))    // false

كيف يعمل هذا؟ عندما تضع علامة على دالة كـ inline، يقوم المترجم بتضمين كودها مباشرة في مكان الاستدعاء. و reified تجبر المترجم على استبدال النوع المحدد (مثل String) بدلاً من T في الكود المُنشأ. ونتيجة لذلك، يظهر في البايت كود تحقق صريح value is String.

أمثلة عملية لاستخدام reified

دعنا نلقي نظرة على بعض السيناريوهات الحقيقية حيث يبسط reified الحياة حقًا.

1. الحصول على الكلاس في وقت التشغيل

واحدة من أكثر المهام شيوعًا هي الحصول على KClass أو Class من معامل النوع. بدون reified هذا مستحيل:

inline fun <reified T> getKClass(): KClass<T> = T::class\n\n// الاستخدام:\nval kClass = getKClass<String>()\nprintln(kClass.simpleName) // String

هذا مفيد بشكل خاص عند العمل مع مكتبات تتطلب الانعكاس (مثل التسلسل، ORM، حاويات DI).

2. إنشاء مثيل حسب النوع

هل تريد إنشاء كائن من النوع المطلوب دون تمرير المُنشئ؟ بسهولة:

inline fun <reified T : Any> createInstance(): T {\n    return T::class.createInstance()\n}\n\n// مثال:\nval instance = createInstance<StringBuilder>()\ninstance.append("Hello, reified!")

لكن كن حذرًا: createInstance() يعمل فقط إذا كان للكلاس مُنشئ بدون معاملات. وإلا ستحصل على استثناء.

3. التصفية حسب النوع في المجموعات

لنفترض أن لديك قائمة من كائنات من أنواع مختلفة، وتريد تصفية السلاسل النصية فقط. في المكتبة القياسية لـ Kotlin يوجد filterIsInstance<T>()، لكن يمكنك بسهولة كتابة نسختك الخاصة:

                
                

                    

                        المدونات                    
                    

                                                    
                                

                                    

                                        
                                    
                                    
سير عمل Git لمطور PHP: دليل عملي لتجنب كوارث الإنتاج
                                
                            
                                                    
                                

                                    

                                        
                                    
                                    
دليل شامل: كيف تبدأ في Data Science مع Python
                                
                            
                                            
                

                
                

                    

                        توصيات الكتب                    
                    

                                                    
                                

                                    

                                        
                                    
                                    
أنماط التصميم في C# (.NET)
                                
                            
                                                    
                                

                                    

                                        
                                    
                                    
الخوارزميات وهياكل البيانات بلغة Java: من الأساسيات إلى التقنيات المتقدمة
                                
                            
                                                    
                                

                                    

                                        
                                    
                                    
Rust وقواعد البيانات: دليل عملي
                                
                            
                                                    
                                

                                    

                                        
                                    
                                    
البرمجة الوظيفية بلغة Kotlin: من البسيط إلى التفاعلي
                                
                            
                                            
                
            
    

  
اقرأ أيضًا
  

                
                  
                 أعلام الميزات في PHP: كيف تتوقف عن الخوف وتبدأ في تفعيل الميزات
      
                
                  
                 فتح الروابط في علامة تبويب جديدة وليس نافذة: دليل 2025
      
                
                  
                 كيفية عرض قائمة الملفات في مجلد باستخدام Rust: دليل خطوة بخطوة
      
                
                  
                 مستودع واحد مع PHP: تنظيم الكود للمشاريع الكبيرة
      
                
                  
                 مراقبة تطبيقات PHP: المقاييس والتنبيهات لتحقيق الاستقرار