Kalıtım, kodun yeniden kullanımı için çok güçlü bir machanizmdir. Ancak uygun şekilde kullanılması gerekir. Alt sınıf da üst sınıfın bir alt türü ise, kalıtımın doğru kullanıldığını söyleyebilirim. Yukarıda belirtildiği gibi, Liskov İkame İlkesi burada kilit noktadır.
Alt sınıf, alt türle aynı değildir. Alt tür olmayan alt sınıflar oluşturabilirsiniz (ve bu, kompozisyonu kullanmanız gerektiğidir). Bir alt türün ne olduğunu anlamak için, bir türün ne olduğunu açıklamaya başlayalım.
5 sayısının tür tamsayı olduğunu söylediğimizde, 5'in bir dizi olası değere ait olduğunu belirtiyoruz (örnek olarak, Java ilkel türleri için olası değerlere bakın). Ayrıca, toplama ve çıkarma gibi değer üzerinde gerçekleştirebileceğim geçerli bir dizi yöntem olduğunu belirtiyoruz. Ve son olarak, her zaman memnun olan bir dizi özellik olduğunu belirtiyoruz, örneğin, 3 ve 5 değerlerini eklersem, sonuç olarak 8 elde edeceğim.
Başka bir örnek vermek gerekirse, soyut veri türlerini düşünün, Tamsayı kümesi ve Tamsayı listesi, tutabilecekleri değerler tamsayılarla sınırlıdır. Her ikisi de add (newValue) ve size () gibi bir dizi yöntemi destekler. Ve her ikisinin de farklı özellikleri vardır (sınıf değişmez), Setler yinelemelere izin vermezken, Liste yinelemelere izin verir (elbette her ikisinin de tatmin ettiği diğer özellikler vardır).
Alt tür ayrıca, üst tür (veya üst tür) adı verilen başka bir türle ilişkisi olan bir türdür. Alt tür, üst türün özelliklerini (değerler, yöntemler ve özellikler) karşılamalıdır. İlişki, üst türün beklendiği herhangi bir bağlamda, yürütmenin davranışını etkilemeden bir alt tür ile ikame edilebileceği anlamına gelir. Söylediklerimi örneklemek için bazı kodları görelim. Diyelim ki tamsayıların bir listesini yazıyorum (sahte bir dilde):
class List {
data = new Array();
Integer size() {
return data.length;
}
add(Integer anInteger) {
data[data.length] = anInteger;
}
}
Sonra, tamsayılar kümesini tamsayılar listesinin bir alt sınıfı olarak yazarım:
class Set, inheriting from: List {
add(Integer anInteger) {
if (data.notContains(anInteger)) {
super.add(anInteger);
}
}
}
Integers sınıfımız, Tamsayılar Listesinin bir alt sınıfıdır, ancak List sınıfının tüm özelliklerini karşılamaması nedeniyle bir alt tür değildir. Değerler ve yöntemlerin imzası tatmin edici, ancak özellikler tatmin edici değil. Add (Integer) yönteminin davranışı, üst türün özelliklerini koruyarak açıkça değiştirildi. Sınıflarınızın müşterisi açısından düşünün. Tamsayıların bir listesinin beklendiği bir dizi tamsayı alabilirler. İstemci bir değer eklemek isteyebilir ve bu değer Listede zaten mevcut olsa bile bu değeri Listeye eklemek isteyebilir. Ama eğer değer varsa bu davranışı almayacak. Onun için büyük bir sürpriz!
Bu, kalıtımın yanlış kullanımının klasik bir örneğidir. Bu durumda kompozisyon kullanın.
(bir parça: kalıtımı uygun şekilde kullanın ).