Spisu treści:
Definicja - Co oznacza Subtyping?
Podtypowanie jest pojęciem w teorii języka programowania, w którym podtyp, który jest typem danych, jest powiązany z nadtypem opartym na pojęciu substytucyjności, w którym elementy programu, takie jak funkcje i podprogramy, które są napisane dla tego nadtypu, nadal będą działały, jeśli podano zamiast tego podtyp. Podtypy są istotną koncepcją w programowaniu obiektowym i można je zastąpić nadtypami, a czasem mają nawet bardziej rygorystyczne specyfikacje niż nadtyp.
Techopedia wyjaśnia Subtyping
Subtyping to metoda zastępowania i ponownego użycia kodu stosowana w obiektowych językach programowania, aby zapobiec niepotrzebnemu kopiowaniu w dużej mierze podobnego kodu oraz promować czytelność kodu i zapobiegać błędom. Podtyp jest w zasadzie substytutem dla nadtypu, który może spełniać wszystkie jego specyfikacje, a następnie niektóre. Więc jeśli B jest podtypem A, to B zawsze może być użyte do zastąpienia A, a każda właściwość, która jest gwarantowana przez A, musi być również zagwarantowana przez B.
Podtyp może wzmocnić, a nawet dodać właściwości, które nie znajdują się w nadtypie, co oznacza, że pozwala na rozszerzenie tego typu. Tak więc zamiast tworzyć nowy nadtyp za każdym razem, gdy wymagane jest coś nowego, a następnie kopiować właściwości i warunki z innego nadtypu, można po prostu utworzyć podtyp, który rozszerza nadtyp o dodatkowe właściwości lub cechy bez zmiany nadtypu. W takim przypadku wszystko, co można udowodnić dla nadtypu, będzie również możliwe do udowodnienia dla podtypu i nie tylko. Jeśli podtyp jest traktowany wyłącznie w taki sam sposób jak nadtyp, przy użyciu i sprawdzaniu tylko metod i pól nadtypu, wówczas wyniki byłyby spójne z obiektami nadtypu.
