Podtyp (programowanie) - Google

Podtyp (programowanie)

Z Wikipedii

Skocz do: nawigacji, szukaj

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 od
  • type – 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..12
  • TYPE miesiÄ…c:INTEGER=1..12

[edytuj] Bibliografia

[edytuj] Zobacz też


GUS: wynagrodzenia wzrosły
Przeciętne wynagrodzenie brutto w październiku 2008 roku wyniosło 3.241,81 zł, co oznacza, że rdr wzrosło o 9,8 proc., a mdm wzrosło o 2,2 proc. - podał we wtorek Główny Urząd Statystyczny.
GPW traci ponad 3 proc. przy bardzo małych obrotach
We wtorek warszawska giełda kontynuuje marsz w dół, w ślad za spadkami na światowych i europejskich rynkach. Indeks największych spółek WIG20 traci blisko 4,0%, ale to prawdopodobnie nie koniec przeceny na krajowym parkiecie.
BNP Paribas mocno tanieje, bo przejęcie Fortis może zostać wstrzymane
Kurs akcji banku BNP Paribas spadł we wtorek na giełdzie w Paryżu najmocniej do 10 lat z powodu obaw, że przejęcie przez niego banku Fortis za 14,5 mld euro może zostać wstrzymane - podają maklerzy.
Kontrakty na amerykańskie indeksy idą w dół we wtorek
Spadają kontrakty na amerykańskie indeksy giełdowe. Pogłębiają się obawy inwestorów, iż globalne spowolnienie gospodarcze przełoży się negatywnie na wyniki spółek - podają maklerzy.
PGNiG nie planuje zmiany taryfy przed końcem marca
Polskie Górnictwo Naftowe i Gazownictwo nie planuje zmiany taryfy cenowej przed 1 kwietnia przyszłego roku - powiedział dziennikarzom wiceprezes spółki Sławomir Hinc.
Linki: Strona g³ówna