Abstraktní datový typ: Porovnání verzí

Smazaný obsah Přidaný obsah
Ebrambot (diskuse | příspěvky)
m typo
Řádek 2:
 
== Definice ==
'''Datový typ''' je rozsah hodnot, které může proměnná tohoto datového typu přijmout, a množina operací (funkce, metody nebo procedury), které jsou pro tento datový typ specifikovány. "+" je například definován pro numerické typy, a v některých programovacích jazycích pro typ string (řetězec). "-" je naproti tomu zpravidla definován jen pro numerické typy dat. Množina operací je uvedena v interface.
Abstraktní datový typ může mít odlišnou specifikaci. Ta se skládá z příznaků a sémantiky. Když vyřkneme matematickou definici, jedná se většinou o vztah mezi označením, zdroji a [[axiom]]y. Z toho plyne první způsob specifikace ADT - Matematicko-axiomatický. Další možností specifikace je Matematicko-algebraická, která se odlišuje pouze sémantikou. Po obsahové stránce budou operace popsány matematicky pomocí [[matice|matic]], [[vektor]]ů, [[posloupnost]]í atd. Existují i jiné formy specifikace - přes deklaraci rozhraní v programovacím jazyku.
 
Řádek 41:
== Vlastnosti abstraktního datového typu ==
Nejdůležitější vlastnosti abstraktního typu dat jsou:
* '''Všeobecnost implementace''': jednou navržený ADT může být zabudován a bez problémů používán v jakémkolikvjakémkoliv programu.
* '''Přesný popis''': propojení mezi implementací a rozhraním musí být jednoznačné a úplné.
* '''Jednoduchost''': při používání se uživatel nemusí starat o vnitřní realizaci a správu ADT v paměti.
Řádek 52:
== Typy operací ==
Na abstraktním datovém typu rozlišujeme tři druhy operací: [[konstruktor]], [[selektor]] a [[modifikátor]]. Operace, která ze zadaných parametrů vytváří novou hodnotu abstraktního datového typu, se nazývá konstruktor. Úkolem konstruktoru je sestavení platné vnitřní reprezentace hodnoty na základě dodaných parametrů. Operace označovaná jako selektor slouží k získání hodnot, které tvoří složky nebo vlastnosti konkrétní hodnoty abstraktního datového typu, a konečně operace typu modifikátor provádí změnu hodnoty datového typu.
 
 
== Související články ==