İçindekiler:
Tanım - Alt tip ne anlama gelir?
Alt tip, programlama dili teorisinde, bir veri tipi olan bir alt tipin, ikame edilebilirlik kavramına dayanan bir üst tiple ilişkili olduğu, üst tip için yazılmış fonksiyonlar ve alt rutinler gibi program öğelerinin, yerine alt tip. Alt türler, nesne yönelimli programlamada önemli bir kavramdır ve üst türlerin yerine kullanılabilir ve bazen üst türden daha katı özelliklere sahiptir.
Techopedia, Subtyping'i açıklıyor
Alt tipleme, büyük ölçüde benzer kodların gereksiz kopyalanmasını önlemek ve kod okunabilirliğini artırmak ve hataları önlemek için nesne yönelimli programlama dillerinde kullanılan ikame ve kodun yeniden kullanılması için bir yöntemdir. Bir alt tip, temel olarak, tüm spesifikasyonlarını ve daha sonra bazılarını yerine getirebilen bir süper tipin yerine geçer. Dolayısıyla B, A'nın bir alt tipiyse, B her zaman A yerine geçmek için kullanılabilir ve A tarafından garanti edilen herhangi bir özellik B tarafından da garanti edilmelidir.
Alt türün güçlendirilmesine ve hatta üst türde olmayan özellikleri eklemesine izin verilir, bu da üst türün genişletilmesine izin verdiği anlamına gelir. Bu nedenle, her yeni bir şey gerektiğinde yeni bir üst tür oluşturmak ve daha sonra başka bir üst türden özellikleri ve koşulları kopyalamak yerine, üst türü, üst tür değiştirmeden ek özellik veya özelliklerle genişleten bir alt tür oluşturulabilir. Daha sonra, bu durumda, süper tip için kanıtlanabilir olan her şey, alt tip ve daha fazlası için de geçerli olacaktır. Bir alt tip, yalnızca üst tür yöntemleri ve alanları kullanarak ve sorgulayarak üst türle tamamen aynı şekilde ele alınırsa, sonuçlar üst türün nesneleriyle tutarlı olacaktır.
