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.

[editovat] Podívejte se také na

Abstraktní datový typ