Índice:
Definição - O que significa Subtipagem?
Subtipagem é uma noção na teoria da linguagem de programação em que um subtipo, que é um tipo de dados, está relacionado a um supertipo baseado na noção de substituibilidade, onde elementos do programa, como funções e sub-rotinas escritas para o supertipo, ainda funcionarão se houver subtipo. Os subtipos são um conceito essencial na programação orientada a objetos e são substituíveis por supertipos e, às vezes, têm especificações mais rigorosas que o supertipo.
Techopedia explica Subtipagem
A subtipagem é um método de substituição e reutilização de código usado em linguagens de programação orientadas a objetos para impedir a cópia desnecessária de código amplamente semelhante e promover a legibilidade do código e evitar bugs. Um subtipo é basicamente um substituto para um supertipo que pode atender a todas as especificações deste último e mais. Portanto, se B é um subtipo de A, B sempre pode ser usado para substituir um A e qualquer propriedade garantida por A também deve ser garantida por B.
É permitido ao subtipo fortalecer e até adicionar propriedades que não estão no supertipo, o que significa que permite que o supertipo seja estendido. Portanto, em vez de criar um novo supertipo toda vez que algo novo for necessário e, em seguida, copiar propriedades e condições de outro supertipo, poderia ser criado um subtipo que estenda o supertipo com propriedades ou recursos adicionais sem alterar o supertipo. Então, nesse caso, tudo o que for provável para o supertipo também será provável para o subtipo e muito mais. Se um subtipo for tratado da mesma maneira que o supertipo usando e consultando apenas métodos e campos de supertipo, os resultados serão consistentes com os objetos do supertipo.
