Kotlin میں Reified — یہ کیا ہے، نحو اور استعمال

Kotlin میں reified کیا ہے؟

reified — inline-فنکشن کے generic-پیرامیٹر کا ایک موڈیفائر ہے جو runtime میں قسم کو حقیقی (reify — «حقیقی بنانا») بناتا ہے۔ reified کے بغیر generic-فنکشن کے اندر T کی قسم قابل رسائی نہیں ہے — کمپائلر type erasure کا اطلاق کرتا ہے، قسم کے بارے میں تمام معلومات مٹا دیتا ہے۔ reified کمپائلر کو مجبور کرتا ہے کہ وہ کال کی جگہ پر مخصوص قسم داخل کرے، اسے T::class اور is آپریٹر کے ذریعے قابل رسائی بنائے۔

Kotlin Survey by Kodee (2024) کے مطابق، reified type parameters Kotlin کی دس سب سے زیادہ مطلوبہ خصوصیات میں شامل ہیں — انہیں 52% جواب دہندگان استعمال کرتے ہیں، خاص طور پر generic-فیکٹریز، DI-کنٹینرز اور سیریلائزرز لکھنے کے لیے۔ reified خاص طور پر Gson، Moshi اور Kotlinx Serialization کے ساتھ مقبول ہے۔

تکنیکی طور پر طریقہ کار آسان ہے: reified پیرامیٹر کے ساتھ inline-فنکشن کو کال کرتے وقت، کمپائلر آرگیومنٹ کی مخصوص قسم (Int, String, User) جانتا ہے اور اسے T کی جگہ داخل کرتا ہے۔ بائٹ کوڈ میں reified-پیرامیٹر ایک عام Class میں تبدیل ہو جاتا ہے، جو ایک پوشیدہ آرگیومنٹ کے طور پر منتقل ہوتا ہے۔

reified کو generic-فنکشنز لکھنے کے لیے استعمال کریں جہاں runtime میں قسم کی ضرورت ہو — مثالیں بنانا، قسم کی جانچ، ریفلیکشن یا سیریلائزیشن کے لیے Class حاصل کرنا۔

generics میں type erasure کا مسئلہ

Type erasure — Java اور Kotlin کا وہ طریقہ کار ہے جس میں generic-پیرامیٹرز کی معلومات کمپائلیشن کے دوران مٹ جاتی ہیں۔ بائٹ کوڈ میں List اور List صرف List بن جاتے ہیں۔ یہ Java 1.4 کے ساتھ پسماندہ مطابقت کے لیے کیا گیا تھا، جہاں generics موجود نہیں تھے، لیکن runtime میں اقسام کے ساتھ کام کرتے وقت حدود پیدا کرتا ہے۔

// ❌ خرابی: مٹائی گئی قسم کی مثال کی جانچ نہیں کر سکتے
fun <T> checkType(value: Any) {
    if (value is T) { // type erasure — T نامعلوم ہے
        println("قسم مماثل ہے")
    }
}

// ✅ Solution: pass Class as parameter
fun <T> checkTypeWithClass(
    value: Any,
    clazz: Class<T>
) {
    if (clazz.isInstance(value)) {
        println("قسم مماثل ہے")
    }
}

مثال میں checkType type erasure کی وجہ سے کمپائل نہیں ہوتا — کمپائلر نہیں جانتا کہ T کی جگہ کون سی قسم ڈالنی ہے۔ checkTypeWithClass میں مسئلہ Class کو واضح طور پر منتقل کرکے حل کیا گیا ہے، لیکن اس کے لیے boilerplate درکار ہے: ہر کال کے ساتھ .java یا ::class.java ہوتا ہے۔ reified اس boilerplate کو مکمل طور پر ختم کرتا ہے۔

reified کا نحو اور کام کرنے کا طریقہ کار

reified موڈیفائر inline-فنکشن میں generic-پیرامیٹر سے پہلے لگایا جاتا ہے۔ فنکشن لازماً inline ہونا چاہیے — کمپائلر کے پاس inlining کے مرحلے پر مخصوص قسم داخل کرنے کی صلاحیت ہونی چاہیے۔

inline fun <reified T> isA(value: Any): Boolean {
    return value is T
}

fun main() {
    println(isA<String>("ہیلو")) // true
    println(isA<Int>("ہیلو"))  // false
}

کمپائلیشن کے دوران isA("Hello") کی کال value is String کی جانچ میں تبدیل ہو جاتی ہے۔ isA("Hello") کی کال value is Int میں تبدیل ہو جاتی ہے۔ قسم لفظی طور پر داخل کی جاتی ہے، جس سے is, as, ::class اور دیگر آپریشنز استعمال کرنا ممکن ہو جاتا ہے جو type erasure کے وقت دستیاب نہیں ہوتے۔

reified-فنکشن کا ڈی کمپائلیشن

اگر isA("Hello") کے بائٹ کوڈ کو ڈی کمپائل کیا جائے تو IntelliJ IDEA Java میں تقریباً یہ نتیجہ دکھائے گا: String.class.isInstance(value)۔ کمپائلر نے generic-پیرامیٹر کی جگہ مخصوص java.lang.String.class داخل کر دیا — نام سے قسم تلاش کرنے والی کوئی ریفلیکشن نہیں، صرف براہ راست کلاس ریفرنس۔

reified کے ساتھ قسم کی جانچ: is اور as

reified کا سب سے عام استعمال is آپریٹر کے ذریعے قسم کی جانچ ہے۔ عام generic-فنکشن میں value is T کمپائل نہیں ہوتا۔ reified کے ساتھ یہ عام کلاس کی طرح کام کرتا ہے: value is String, value is List (تقریباً — parameterized اقسام کے لیے reified کی حدود کو مدنظر رکھتے ہوئے)۔

inline fun <reified T> List<Any>.filterByType(): List<T> {
    return this.filter { it is T }.map { it as T }
}

val mixed = listOf("a", 1, "b", 2)
val strings = mixed.filterByType<String>() // ["a", "b"]
val ints = mixed.filterByType<Int>()    // [1, 2]

Extension function filterByType صرف مخصوص قسم کے عناصر کو رکھتے ہوئے فہرست کو فلٹر کرتا ہے۔ reified کے بغیر filterByType(list) کو Class پیرامیٹر کے ساتھ لکھنا پڑتا۔ reified کے ساتھ کال فہرست پر قدرتی آپریشن کی طرح پڑھی جاتی ہے، جو ڈیٹا پروسیسنگ چینز کی پڑھنے کی اہلیت کو بہتر بناتا ہے۔

Kotlin Coroutines Guide (JetBrains, 2025) کے مطابق، reified type checks launch اور async میں کوروٹین کے نتیجے کی قسم منتقل کرنے کے لیے استعمال ہوتے ہیں، جو زیادہ تر معاملات میں قسم کو واضح طور پر بتانے کی ضرورت سے بچاتا ہے۔

reified کے ساتھ ریفلیکشن: مثالیں بنانا اور Class تک رسائی

reified T::class تک رسائی دیتا ہے — KClass کا حوالہ، جس سے .java کے ذریعے Java Class حاصل کیا جا سکتا ہے۔ یہ ریفلیکشن کے ذریعے مثالیں بنانے، سیریلائزرز کے ساتھ کام کرنے اور runtime میں کلاس کی تشریحات حاصل کرنے کے امکانات کھولتا ہے۔

inline fun <reified T> createInstance(): T =
    T::class.java.getDeclaredConstructor().newInstance()

// استعمال
data class User(val name: String = "default")
val user = createInstance<User>()

// Gson کے ساتھ سیریلائزیشن
inline fun <reified T> Gson.fromJson(json: String): T =
    this.fromJson(json, T::class.java)

// تشریحات حاصل کرنا
inline fun <reified T> hasAnnotation<A>(): Boolean where A : Annotation =
    T::class.java.isAnnotationPresent(A::class.java)

Gson کے لیے fromJson ریپر — production میں reified استعمال کرنے کی کلاسک مثال۔ gson.fromJson(json, User::class.java) کی بجائے gson.fromJson(json) لکھا جا سکتا ہے۔ یہ ایک چھوٹی بہتری لگتی ہے، لیکن سینکڑوں سیریلائزیشن کالز والے پروجیکٹ میں reified boilerplate کو نمایاں طور پر کم کرتا ہے اور کوڈ کو صاف ستھرا بناتا ہے۔

reified کی حدود اور متبادل

reified کی حدود ہیں۔ پہلی — یہ صرف inline-فنکشنز کے اندر کام کرتا ہے۔ اگر فنکشن کو inline نہیں بنایا جا سکتا (مثلاً یہ recursive ہے یا بہت بڑی ہے)، تو reified دستیاب نہیں ہے۔ دوسری — reified کو suspend-فنکشنز کے ساتھ براہ راست استعمال نہیں کیا جا سکتا، صرف inline-ریپرز کے ذریعے۔

تیسری — reified parameterized اقسام کے ساتھ مکمل طور پر کام نہیں کرتا۔ مثال کے طور پر، filterByType>() غیر متوقع نتیجہ دے سکتا ہے، کیونکہ parameterized اقسام کے لیے reified صرف خام قسم (List) کو محفوظ رکھتا ہے، generic-آرگیومنٹس کے بغیر۔ parameterized اقسام کی مکمل جانچ کے لیے TypeToken کے ساتھ ریفلیکشن درکار ہے۔

جب reified دستیاب نہ ہو، تو لائبریریوں سے Class یا TypeToken (مثلاً Gson TypeToken یا Jackson TypeReference) واضح طور پر منتقل کرنے کا پیٹرن استعمال کریں۔ یہ طریقہ کسی بھی فنکشن میں کام کرتا ہے، لیکن اس کے لیے boilerplate درکار ہے اور یہ کم آسان ہے۔