Datový typ
Z Wikipedie, otevřené encyklopedie
Datový typ je jednoznačně určen druhem dat tzn. oborem hodnot proměnných a konstant v programovacích jazycích a zároveň typickými výpočetními operacemi, které lze s daty provádět (srovnej abstraktní datový typ). Datový typ nemůže být určen pouze oborem hodnot, protože existují i datové typy, které se liší pouze v operacích nad těmito typy.
Téměř každý programovací jazyk má některé datové typy předdefinované. Pomocí jejich definice může programátor tvořit typy nové jako abstraktní datové typy.
Obsah |
[editovat] Ukázka signatury
Signatura jednoduchého datového typu Bool by se dala symbolicky zapsat:
Druhy dat:
- Bool
Operace:
- true, false : Bool
- not : Bool -> Bool
- and : Bool, Bool -> Bool
- eq : Bool, Bool -> Bool
[editovat] Jednoduché datové typy
Tyto typy jsou ordinální.(Hodnoty tohoto typu tvoří lineárně uspořádanou množinu, kde pro každý prvek je přesně definovaný předchůdce i následovník)
- celé číslo (integer)
- reálné číslo, číslo s plovoucí řádovou čárkou (float,real)
- znak (char)
- logická hodnota (bit, boolean)
- programátorem definované typy (enum)
[editovat] Homogenní datový typ
Datový typ obsahuje jeden nebo více prvků stejného typu, např. pole, textový řetězec, strom
[editovat] Heterogenní datový typ
Datový typ je složen z prvků různého datového typu a navenek se tento datový typ chová jako kompaktní celek. Typickým představitelem heterogenního datového typu je v jazyku C typ struct a v jazyku Pascal typ record.
[editovat] Generický datový typ
Datový typ, který je možné parametrizovat jiným typem. V jazyce Pascal to může být např. typ pole s parametrem a jaké prvky budou v poli uloženy. Mnohem větší možnosti, jak parametrizovat typy, poskytuje systém šablon v C++ nebo generické typy uvedené v jazycích Java 5, či C# 2.0.

