Asosiy qism i-bob

1.3.Subtip merosxo'rlik va polimorfizm

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