Umumiy funktsiya - Generic function

Yilda kompyuter dasturlash, a umumiy funktsiya uchun belgilangan funktsiya polimorfizm.

Statik ravishda kiritilgan tillarda

Statik ravishda kiritilgan tillarda (masalan C ++ va Java ), atama umumiy funktsiyalar uchun mexanizmga ishora qiladi kompilyatsiya vaqtidagi polimorfizm (statik jo'natish ), xususan parametrik polimorfizm. Bu bilan belgilangan funktsiyalar Parametrlar, bilan hal qilish uchun mo'ljallangan vaqtni tuzish ma'lumotni yozing. Tuzuvchi ushbu turlardan foydalanib, har qanday versiyani hal qilish uchun mos versiyalarni o'rnatadi funktsiyani haddan tashqari yuklash tegishli ravishda.

Umumiy Lisp ob'ekti tizimida

Uchun ba'zi tizimlarda ob'ektga yo'naltirilgan dasturlash kabi Umumiy Lisp ob'ekti tizimi (Yopish)^[1] va Dilan, a umumiy funktsiya bir xil nomga ega bo'lgan barcha usullardan tashkil topgan shaxs. Odatda a umumiy funktsiya bu sinfning namunasi meros ikkalasi ham funktsiya va standart ob'ekt. Shunday qilib umumiy funktsiyalar ikkala funktsiya (argumentlar bilan chaqirilishi va qo'llanilishi mumkin) va oddiy ob'ektlardir. Kitob Metaobject protokoli san'ati CLOS umumiy funktsiyalarini amalga oshirish va ulardan foydalanishni batafsil bayon qiladi.

Lisp-ga ob'ektga yo'naltirilgan dasturlashning dastlabki kengaytmalaridan biri Tatlar. Unda odatdagi xabar yuboradigan paradigma ishlatilgan Kichik munozarasi. Xabarni yuborish uchun "Flavors" sintaksisi:

 (yuborish ob'ekt : xabar)

Yangi lazzatlar bilan xabar haqiqiy funktsiya bo'lishi kerak va sintaksisni chaqiradigan odatiy funktsiyadan foydalanish kerakligi to'g'risida qaror qabul qilindi:

 (xabar ob'ekt)

xabar endi a umumiy funktsiya, ob'ekt va funktsiya o'z-o'zidan. Shaxsiy dasturlar xabar deyiladi usullari.

Xuddi shu g'oya amalga oshirildi CommonLoops.^[2] Yangi lazzatlar va CommonLoops umumiy Lisp ob'ekti tizimi uchun asosiy ta'sir ko'rsatdi.

Misol

Umumiy Lisp

Ob'ekt-1 va ob'ekt-2 ikkita parametrli umumiy funktsiyani aniqlang. Umumiy funktsiya nomi to'qnashmoq.

 (defgenerik to'qnashmoq (ob'ekt-1 ob'ekt-2))

Umumiy funktsiyaga tegishli usullar sinfdan tashqarida aniqlanadi, bu erda biz umumiy funktsiya uchun usulni aniqlaymiz to'qnashmoq Asteroid (birinchi parametr ob'ekti-1) va kosmik kemasi (ikkinchi parametr ob'ekti-2) sinflari uchun ixtisoslashgan. Parametrlar metod tanasi ichida normal o'zgaruvchilar sifatida ishlatiladi. Sinf uyalariga kirish huquqiga ega bo'lgan maxsus nom maydoni yo'q.

 (defmetod to'qnashmoq ((ob'ekt-1 asteroid) (ob'ekt-2 kosmik kemasi))   (format t "asteroid ~ kosmik kemasi bilan to'qnashadi ~ a" ob'ekt-1 ob'ekt-2))

Umumiy funktsiyani chaqirish:

? (to'qnashmoq (misol 'asteroid) (misol "kosmik kemasi))asteroid # 4020003FD3> to'qnashadi bilan kosmik kemasi # 40200048CB>

Umumiy Lisp umumiy funktsiyadan individual usullarni ham olishi mumkin. FIND-METHOD usulni umumiy funktsiyadan topadi to'qnashmoq sinflar uchun ixtisoslashgan asteroid va kosmik kemasi.

? (topish usuli #'to'qnashmoq nol (ro'yxat (sinfi 'asteroid) (sinfi "kosmik kemasi)))# TO'QNASHMOQ NIL (ASTEROID SPACESHIP) 4150015E43>

Boshqa tillar bilan taqqoslash

Umumiy funktsiyalar taxminan nimaga mos keladi Kichik munozarasi shartlar usullari, Smalltalk-da qabul qiluvchining klassi kod tanasi deb ataladigan yagona belgilovchi bo'lganligi istisno qilingan holda: argumentlarning turlari yoki qiymatlari ahamiyatsiz (bitta jo'natish ). Bilan dasturlash tilida bir nechta jo'natish umumiy funktsiya chaqirilganda, usulni jo'natish imtiyozli emas, balki barcha dalillar asosida sodir bo'ladi. Yangi lazzatlar shuningdek umumiy funktsiyalarni ta'minladi, lekin faqat bitta dispetcherlik.

Adabiyotlar