A herança é um mecanismo poderoso para a reutilização de código. Mas precisa ser usado corretamente. Eu diria que a herança é usada corretamente se a subclasse também for um subtipo da classe pai. Como mencionado acima, o Princípio de Substituição de Liskov é o ponto chave aqui.
Subclasse não é o mesmo que subtipo. Você pode criar subclasses que não são subtipos (e é nesse momento que você deve usar a composição). Para entender o que é um subtipo, vamos dar uma explicação sobre o que é um tipo.
Quando dizemos que o número 5 é do tipo inteiro, estamos declarando que 5 pertence a um conjunto de valores possíveis (como exemplo, veja os valores possíveis para os tipos primitivos do Java). Também estamos afirmando que há um conjunto válido de métodos que posso executar no valor, como adição e subtração. E, finalmente, estamos declarando que há um conjunto de propriedades sempre satisfeitas, por exemplo, se eu adicionar os valores 3 e 5, obterei 8 como resultado.
Para dar outro exemplo, pense nos tipos de dados abstratos, Conjunto de números inteiros e Lista de números inteiros, os valores que eles podem conter são restritos a números inteiros. Ambos suportam um conjunto de métodos, como add (newValue) e size (). E ambos têm propriedades diferentes (classe invariável), Sets não permite duplicados, enquanto List permite duplicados (é claro que existem outras propriedades que ambos satisfazem).
Subtipo também é um tipo, que tem uma relação com outro tipo, chamado tipo pai (ou supertipo). O subtipo deve satisfazer os recursos (valores, métodos e propriedades) do tipo pai. A relação significa que, em qualquer contexto em que o supertipo é esperado, ele pode ser substituído por um subtipo, sem afetar o comportamento da execução. Vamos ver um código para exemplificar o que estou dizendo. Suponha que eu escreva uma Lista de números inteiros (em algum tipo de pseudo-linguagem):
class List {
data = new Array();
Integer size() {
return data.length;
}
add(Integer anInteger) {
data[data.length] = anInteger;
}
}
Então, escrevo o conjunto de números inteiros como uma subclasse da lista de números inteiros:
class Set, inheriting from: List {
add(Integer anInteger) {
if (data.notContains(anInteger)) {
super.add(anInteger);
}
}
}
Nossa classe Conjunto de números inteiros é uma subclasse de Lista de números inteiros, mas não é um subtipo, pois não satisfaz todos os recursos da classe Lista. Os valores e a assinatura dos métodos são satisfeitos, mas as propriedades não. O comportamento do método add (Integer) foi claramente alterado, não preservando as propriedades do tipo pai. Pense do ponto de vista do cliente de suas aulas. Eles podem receber um conjunto de números inteiros onde uma lista de números inteiros é esperada. O cliente pode querer adicionar um valor e obter esse valor na Lista, mesmo que esse valor já exista na Lista. Mas ela não terá esse comportamento se o valor existir. Uma grande surpresa para ela!
Este é um exemplo clássico de uso indevido de herança. Use composição neste caso.
(um fragmento de: use a herança corretamente ).