Podtyp (programowanie)
Z Wikipedii
Podtyp to konstrukcja programistyczna umożliwiająca w określonym języku programowania definiowanie ograniczeń na pewnym typie bazowym.
Pojęcie podtypu zdefiniowane zostało wprost w języku Ada, w którym istnieje jednoznaczne odróżnienie deklaracji typu i podtypu, identyfikowane odpowiednim słowem kluczowym:
subtype– dla podtypów w odróżnieniu odtype– dla typów, w tym także typów pochodnych.
Podtyp jest więc nałożeniem pewnego ograniczenia na pewien typ (w nomenklaturze języka Ada nazywany typem bazowym). W przypadku podtypów ograniczenia te dotyczą wyłącznie zakresu możliwych wartości należących do podtypu, stanowiących pewien podzbiór wyodrębniony ze zbioru możliwych wartości typu bazowego. Jest to więc różna konstrukcja w porównaniu z typem pochodnym, definiującym jednak nowy typ, mimo że również oparty na pewnym typie macierzystym.
Przykład w Adzie:
subtype miesiÄ…c is INTEGER range 1..12;
Na tak zdefiniowanym podtypie można wykonywać wszystkie te same operacje, które są dopuszczalne dla typu INTEGER, a ograniczony jest jedynie zakres wartości.
Istnieją języki, w których występują konstrukcje analogiczne do podtypu, mimo że język nie definiuje wprost takiego pojęcia. Przykładem jest język Pascal, w którym występuje typ okrojony. Jego cechy są jednak takie, iż jest to podtyp pewnego typu bazowego. Typ bazowy w Pascalu musi być typem porządkowym.
type miesiÄ…c=1..12;
Nie definiuje się tu wprost typu bazowego, wynika on z typu literałów użytych do ograniczenia zakresu wartości. Na wartościach takiego typu oczywiście tak jak w podtypie dopuszczalne są wszystkie operacje typu bazowego. Nowy typ (podtyp) jest zgodny w sensie przypisania z typem bazowym.
W jęzku Modula 2 typ bazowy może być wyspecyfikowany jawnie lub pominęty:
TYPE miesiÄ…c=1..12TYPE miesiÄ…c:INTEGER=1..12
[edytuj] Bibliografia
- A. Nico Habermann, Dewayne E. Perry, Ada dla zaawansowanych, Wydawnictwa Naukowo-Techniczne, Warszawa 1989 r., seria: Biblioteka Inżynierii Oprogramowania, ISBN 83-204-1058-4
- Niklaus Wirth, Modula 2, Wydawnictwa Naukowo-Techniczne, Warszawa 1987, Seria: Biblioteka Inżynierii Oprogramowania, ISBN 83-204-0828-8
- Andrzej Marciniak, Borland Pascal 7.0, Wyd. Nakom, Poznań 1994 r., ISBN 83-85060-53-7, ISSN 0867-6011
[edytuj] Zobacz też
| W średnim wieku aspiryna pomaga |
|
Kobiety i mężczyźni w średnim wieku mogą zapobiec problemom z sercem, przyjmując codziennie aspirynę - informuje "Heart Journal".
|
| Naukowcy opracowali "mapę miłości" |
|
Według najnowszego spisu ludności w Australii, przewaga liczebna kobiet osiągnęła niespotykane dotąd rozmiary. Jest ich prawie sto tysięcy więcej niż mężczyzn.
|
| Świętokrzyskie: bociany odlatują do Afryki |
|
W dolinach rzek województwa świętokrzyskiego zbierają się bocianie sejmiki. Pierwsze ptaki już rozpoczęły wędrówkę do Afryki, ostatnie wylecą z Polski pod koniec września. Bociany przemierzają dziennie ok. 200 kilometrów.
|
| Kadzidełka szkodzą zdrowiu |
|
Wieloletnie wdychanie aromatycznego dymu z kadzidełek grozi zachorowaniem na raka dróg oddechowych. Nie podnosi jednak ryzyka raka płuc.
|
| Komórki włoskowe pomogą odzyskać słuch |
|
Uzyskane dzięki terapii genowej komórki włoskowe pomogą leczyć głuchotę i choroby ucha wewnętrznego - informują na łamach pisma "Nature" naukowcy z USA.
|