Typ porządkowy
Typ porządkowy – typ danych w określonym języku programowania, którego zbiór wartości stanowi ograniczony i uporządkowany ciąg wartości prostych.
Dla każdej wartości należącej do pewnego typu porządkowego określona jest[1]
- wartość następna – następnik (z wyjątkiem wartości ostatniej w uporządkowanym ciągu możliwych wartości danego typu porządkowego), np. funkcja
Succ(x)w Turbo Pascalu[2] - wartość poprzednia – poprzednik (z wyjątkiem wartości pierwszej w uporządkowanym ciągu możliwych wartości danego typu porządkowego), np. funkcja
Pred(x)w Turbo Pascalu[2] - indeks, określający miejsce w uporządkowanym ciągu wartości, np. funkcja
Ord(x)w Turbo Pascalu[2].
Zdefiniowanie pojęcia typu porządkowego w pewnych językach programowania zostało dokonane w celu określenia tych typów, które mogą być zastosowane w pewnych konkretnych kontekstach kodu źródłowego. Są to:
- zmienne sterujące
- operacje następnika i poprzednika (np. w Pascalu:
succ() i pred()) - operacje inkrementacji i dekrementacji (np. w C[3]:
++, --) - indeksowanie tablic, itp.
W języku Pascal[4][2], w którym termin typu porządkowego został zdefiniowany wprost, typami porządkowymi są:
- typ całkowity (
integer, word, longint, shortint, byte) - typ wyliczeniowy
- typ logiczny (
boolean) - typ znakowy (
char) - typ okrojony (
w1..w2)
Typ porządkowy posiada taki zbiór wartości których fizyczna reprezentacja w komputerze może być łatwo i bez jakichkolwiek przeliczeń rzutowana na typ całkowity[5].
Przypisy edytuj
- ↑ Michael Marcotty, Henry Ledgord, W kręgu języków programowania, tłumaczenie: Krystyna Jerzykiewicz, Wydawnictwa Naukowo-Techniczne, Warszawa 1980, Seria: Biblioteka Inżynierii Oprogramowania, ISBN 83-204-1342-7
- ↑ a b c d Andrzej Marciniak, Borland Pascal 7.0, Wyd. Nakom, Poznań 1994 r., seria: Biblioteka Użytkownika Mikrokomputerów ISBN 83-85060-53-7, ISSN 0867-6011
- ↑ Jan Bielecki, Turbo C z grafiką na IBM PC, Wydawnictwa Naukowo-Techniczne, Warszawa 1990, Seria: Mikrokomputery, ISBN 83-204-1101-7
- ↑ Michał Iglewski, Jan Madey, Stanisław Matwin, Pascal. Język wzorcowy – Pascal 360., Wydawnictwa Naukowo-Techniczne, Warszawa 1984, wydanie trzecie – zmienione, Seria: Biblioteka Inżynierii Oprogramowania, ISBN 83-204-0597-1
- ↑ 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