Meroslik ko'pincha subtip polimorfizmi bilan aniqlanadi :
Kontseptual ravishda polimorfizm subtiplar o'zaro munosabatlarni o'rnatadi: "a" (ing. Is-a munosabatlar ), - shu bilan semantik meros munosabatlarini taqlid qilish ;
O'z navbatida, meros ko'proq kodni qayta ishlatish bilan bog'liq , ya'ni sintaktik munosabatlarni belgilaydi .
Yuqoridagi so'zlarga qaramasdan, meros - bu "o'z" munosabatlarini o'rnatish uchun keng qo'llaniladigan mexanizm (ing. Is-a munosabatlar). Ba'zi dasturlash tillari merosxo'rlik va pastki tipdagi polimorfizmga rozilik bildiradi (bu asosan statik usulda terilgan tillarda : C ++ , C # , Java va Scala ), boshqalari esa yuqorida tavsiflangan tushunchalarni baham ko'rishadi.
Meros - hatto polimorfizmni pastki turini ta'minlash mexanizmi sifatida merosdan foydalanishni qo'llab-quvvatlaydigan dasturlash tillarida ham - xulq-atvorning pastki turi polimorfizmiga kafolat bermaydi ; qarang: almashtirish printsipi Barbara Liskov .
II-bob
Do'stlaringiz bilan baham: |