Typy danych

Typy danych w Turbo Pascal



Typy proste



Typy porządkowe



Typ wyliczeniowy



Typy całkowite



Typy logiczne



Typ znakowy



Typy okrojone



Typy rzeczywiste



Typy łańcuchowe



Typy strukturalne



Typy tablicowe



Typ rekordowy



Typ zbiorowy



Typ plikowy



Typy wskaźnikowe



Typy proceduralne



Typ obiektowy

Typy proste w języku Turbo
Pascal

Typy proste są podstawowymi typami

języka Turbo Pascal i za ich pomocą

określa się bardziej złożone struktury

danych. Wszystkie typy proste składają

się ze skończonego i uporządkowanego

zbioru wartości. Dzięki temu na

wartościach tych typów możemy m.in.

wykonywać operacje porównań.

Typy porządkowe w języku
Turbo Pascal

Typami porządkowymi nazywamy wszystkie typy

proste z wyjątkiem typów rzeczywistych.

Wyróżnienie to jest spowodowane faktem, że typy

rzeczywiste często nie mogą występować w

kontekście dozwolonym dla innych typów prostych.

Dla wartości każdego typu porządkowego są

określone wartości poprzednie i następne (z

wyjątkiem wartości krańcowych). Do typów

porządkowych zaliczamy:



Typ wyliczeniowy



Typy całkowite



Typy logiczne



Typ znakowy



Typy okrojone

Typ wyliczeniowy

Typ wyliczeniowy stosuje się zwykle dla zbiorów o

niewielkiej liczbie elementów, na których nie wykonuje się

operacji arytmetycznych. Definicja jednego typu

wyliczeniowego jest następująca:

TYPE identyfikator_typu = (lista_identyfikatorów);

Elementy typu wyliczeniowego są uporządkowane zgodnie

z kolejnością ich wyliczenia w definicji typu i posiadają

liczby porządkowe odpowiednio 0,1,2 itd.

Przyklady:
TYPE Uczniowie = (Antek, Franek, Zenek); {Antek ma 0,

Franek ma 1, a Zenek 2}
P_roku = (wiosna, lato, jesien, zima);

Typy całkowite

Typy całkowite są w języku Pascal predefiniowane i nie

wymagają opisu w programie. Wszystkie typy całkowite są

podzbiorami zbioru liczb całkowitych. Wśród typów

całkowitych wyróżniamy:



ShortInt, przedział od -128 do 127



Byte, przedział od 0 do 255



Integer, przedział od -32768 do 32767



Word, przedział od 0 do 65535



LongInt, przedział od -2147483648 do 2147483647

Przyklad, przypuśćmy, że zdefiniowaliśmy nowy typ:

TYPE Liczba = Integer;

W takim razie poniższa deklaracja :

var i,j: Liczba;

jest równoważna deklaracji

var i,j: Integer;

Typy logiczne

Standardowymi typami logicznymi są typy



Boolean,



ByteBool,



WordBool



LongBool.

Wartości typów logicznych są oznaczone za

pomocą dwu predefiniowanych literałów (stałych):

True i False, oznaczających odpowiednio wartości

logiczne fałsz i prawda, przy czym w sensie

uporządkowania stała False poprzedza stałą True.

Liczbami porządkowymi elementów typu Boolean

są tylko 0 (False) i 1 (True). Elemanty pozostałych

typów logicznych mogą posiadać inne (wyższe)

liczby porządkowe.

Typ znakowy

Do oznaczenia typu znakowego
służy predefiniowany identyfikator
Char. Elementami typu znakowego
są znaki ASCII, z których każdy jest
pamiętany w jednym bajcie pamięci.

Typy okrojone

Typy okrojone służą do ograniczania

zakresów wartości dowolnego z dotychczas

opisanych typów porządkowych. Definicja

jednego typu okrojonego ma postać:

TYPE identyfikator_typu = stała .. stała;

Pierwsza stała podaje ograniczenie dolne i

nie może być większa od drugiej -

ograniczenia górnego. Stałe te muszą być

tego samego typu porządkowego.
Przyklad:

TYPE Litery = 'A' .. 'Z';

Typy rzeczywiste

Do typów prostych należą także standardowe

typy rzeczywiste, które jednak nie są typami

porządkowymi. Każdy z dostępnych typów

rzeczywistych jest dyskretnym i skończonym

podzbiorem zbioru liczb rzeczywistych.

Dostępnych jest pięć standardowych typów

rzeczywistych o następujących

predefiniowanych identyfikatorach:



Real, elementy zajmują po 6 bajtów pamięci



Single, typ o pojedyńczej długości (4 bajty pamięci)



Double, typ o podwójnej długości (8 bajtów pamięci)



Extended, typ o rozszerzonej długości (10 bajtów pamięci)



Comp, elementy to liczby całkowite z przedziału

od -2

63

+1 do 2

63

-1

Typy łańcuchowe

Typy łańcuchowe służą do reprezentowania ciągu

znaków, w tym niewidocznego znaku spacji.

Elementami typu łańcuchowego są łańcuchy o

długości od 0 do długości podanej w definicji typu

łańcuchowego. Typ ten definiuje się następująco:

TYPE identyfikator_typu = String[rozmiar];

lub

TYPE identyfikator_typu = String;

gdzie rozmiar jest liczbą typu Byte.
Brak wyspecyfikowania rozmiaru powoduje domyślne

przyjęcie długości 255 znaków (warość maksymalna).
Przykład:

TYPE Nazwisko = String[20];

Typy strukturalne

Typy strukturalne stosuje się do opisu

obiektów złożonych, przy czym dany obiekt

możemy opisać na kilka różnych sposobów.

Każdy z typów strukturalnych definiowany

jest przez podanie typów składowych i

metody strukturalizacji, która zarazem

określa sposób dostępu do elementów

składowych. W ogólności definicja

pojedynczego typu strukturalnego ma

postać:

TYPE Identyikator_typu =

Opis_typu_strukturalnego;

przy czym opis typu

strukturalnego może być opisem typu.

Typy tablicowe

Typ tablicowy, a konkretnie tablica składa się z ustalonej liczby

elementów tego samego typu, zwanego typem składowym, który

może być zarówno typem prostym lub łańcuchowym, jak i typem

strukturalnym. Za pomocą tablic są reprezentowane regularne

układy danych, np. wektory i macierze. Dostęp do poszczególnych

elementów tablic uzyskuje się za pomocą indeksowania. Indeksem

może być dowolne wyrażenie, którego wartość jest zgodna w sensie

przypisania z typem indeksowym. Dopuszczalny zakres indeksów

jest podany w definicji typu tablicowego. Definicja pojedynczego

typu tablicowego ma postać:

TYPE Identyfikator_typu = array[typy_indeksowe] of typ_składowy;

gdzie typy indeksowe są opisami typu porządkowego (z wyjątkiem

typu LongInt), przy czym poszczególne opisy oddziela się

przecinkami. Typ składowy oznacza dowolny typ.
Przykłady:

TYPE Macierz = array[1..20,1..30] of Real;
Tablica = array[Boolean,1..20,znak] of Char;