Statik jo'natish - Static dispatch


Yilda hisoblash, statik jo'natish shaklidir polimorfizm davomida to'liq hal qilindi vaqtni tuzish. Bu shakl usulni jo'natish, bu til yoki muhit qanday usul yoki funktsiyani qo'llashni qanday tanlashini tasvirlaydi.

Misollar andozalar C ++ da va umumiy dasturlash bilan birgalikda boshqa tillarda funktsiyani haddan tashqari yuklash (shu jumladan operatorning ortiqcha yuklanishi ). Kod deyiladi monomorflangan, aniq bilan ma'lumotlar turlari orqali chiqarilgan va aniqlangan chaqiruv grafigi, ning aniq versiyalarini yaratish uchun umumiy funktsiyalar va berilgan ta'riflar asosida aniq funktsiya qo'ng'iroqlarini tanlang.

Bu bilan qarama-qarshi dinamik jo'natish, bu ish vaqti haqidagi ma'lumotlarga asoslangan (masalan vtable ko'rsatgichlar va ishlash vaqtining boshqa turlari).

Statik jo'natish mumkin, chunki ushbu usulni faqat bir marta amalga oshirish kafolati mavjud. Statik dispetcher odatda tabiatan yuqori xarajatlarga ega bo'lgan dinamik dispetcherlikdan tezroq bo'ladi.

Rustdagi misol

Yilda Zang.[1]

xususiyatGapir{fn gapirish(&o'zini o'zi);}tuzilmaviy Mushuk;implGapiruchunMushuk{fn gapirish(&o'zini o'zi){println!("Myau!");}}fn gapirish<T: Gapir>(Uy hayvoni: T){Uy hayvoni.gapirish();}fn asosiy(){ruxsat beringUy hayvoni=Mushuk;gapirish(Uy hayvoni);}

Zang quyidagicha tuzilganda monomorfizatsiya qiladi:

fn talk_cat(Uy hayvoni: Mushuk){Uy hayvoni.gapirish();}

Shuningdek qarang

Adabiyotlar

  1. ^ "Umumiy ma'lumotlar turlari - Rust dasturlash tili". doc.rust-lang.org.