Dynamic dispatch — method chaqiruvida qaysi implementatsiya bajarilishini dastur ishlayotgan vaqtda receiver’ning haqiqiy type’i yoki boshqa runtime ma’lumot asosida tanlash mexanizmidir. U subtype polymorphismning asosiy vositasidir. Caller interface yoki parent type’ni biladi, concrete implementation esa obyektga qarab almashadi.
Chaqiruv mexanizmi
Class-based runtime obyekt headerida type yoki method table’ga reference saqlashi mumkin. Virtual call method slotini topib function manziliga o‘tadi. Interface dispatch implementatsiya jadvali yoki lookup cache’dan foydalanadi. Objective-C kabi runtime selector va message lookup orqali yanada dinamik model beradi.
Single dispatch asosan receiver type’iga qaraydi. Multiple dispatch bir nechta argument runtime type’iga asoslanadi. Visitor pattern single-dispatch tilda double dispatchni ifodalashi mumkin. Function overloading esa ko‘pincha compile time’dagi static typelarga qarab tanlanadi.
Polymorphism
Bir Storage interface ortida local file, object storage va in-memory implementatsiya bo‘lishi mumkin. Caller har biriga condition yozmaydi. Yangi implementation qo‘shish caller’ni o‘zgartirmaydi, agar contract saqlansa. Dependency injection runtime’da kerakli obyektni beradi.
Dynamic dispatch har xil behaviorni qonuniy qiladi, ammo semantika butunlay erkin emas. Return, exception, ordering, thread safety va idempotency contracti implementatsiyalar orasida saqlanadi. Contract test shu umumiy qoidalarni tekshiradi.
Performance
Indirect call processor branch prediction va compiler inliningini qiyinlashtirishi mumkin. Monomorphic call site’da doim bitta type ko‘rinsa JIT guard bilan targetni inline qiladi. Polymorphic site bir necha target uchun inline cache, megamorphic site esa generic lookup ishlatadi.
Performance ta’siri call chastotasi va body hajmiga bog‘liq. Ko‘p application’da I/O xarajati dispatch’dan ancha katta. Hot numeric loop’da profiler dalili asosida generic, enum switch yoki specialization tanlanishi mumkin. Readabilityni taxminiy nanosekund uchun qurbon qilish shart emas.
Xavfsizlik va versiyalash
User yuborgan class yoki method nomini runtime lookup bilan bevosita chaqirish arbitrary operationga olib keladi. Typed registry va allowlist external discriminatorni concrete implementationga bog‘laydi. Plugin ayni processda yuklansa host privilege’iga ega; dispatch sandbox bermaydi.
ABI’da virtual method table tartibini o‘zgartirish oldindan compile qilingan consumer’ni buzishi mumkin. Public native classga method qo‘shish ham layout ta’siriga ega. Stable C interface yoki opaque handle versioningni osonlashtiradi.
Diagnostika
Stack trace haqiqiy implementationni ko‘rsatadi, tracing esa logical interface operation va concrete provider’ni tag sifatida saqlashi mumkin. Proxy, decorator va ORM lazy object qo‘shimcha dispatch qatlamlari yaratadi. Debugger runtime type hamda method resolutionni ko‘rsatadi. Noto‘g‘ri implementation tanlansa registration order, scope va qualifier tekshiriladi.
Amalga oshirish va narx
Kompilyatsiyalanuvchi obyektga yo‘naltirilgan tillarda dinamik chaqiruv ko‘pincha virtual method table orqali bajariladi: obyekt turi jadvalga ishora qiladi, metod joyi esa barqaror indeks bilan topiladi. Interfeys yoki ko‘p meros bu mexanizmni murakkablashtirishi mumkin. Dinamik tillarda qidiruv nom, prototip yoki method cache orqali amalga oshadi. Bilvosita chaqiruv oddiy statik chaqiruvdan qimmatroq, biroq zamonaviy JIT kompilyatorlar kuzatilgan turlar barqaror bo‘lsa devirtualizatsiya va inline qilishdan foydalanadi. Ishlash muammosi taxmin bilan emas, profiler orqali baholanadi. Dizayn nuqtai nazaridan esa dispatch kengaytirishni osonlashtiradi, lekin qaysi metod bajarilishini kuzatish uchun tur iyerarxiyasini bilish talab etiladi.
Bog‘liq tushunchalar
Polymorphism, Virtual method, Method overriding, Vtable, Inline cache, Multiple dispatch, Duck typing