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

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|axiomy]]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|vektorů]]ů, [[posloupnost|posloupností]]í atd. Existují i jiné formy specifikace - přes deklaraci rozhraní v programovacím jazyku.

Je rozdíl mezi abstraktním datovým typem a datovou strukturou použitou pro jeho implementaci. Například seznam jako ADT může být implementován jako pole, nebo jako spojový seznam. Seznam je ADT s definovanými operacemi (jako vložit_prvek, smazat_prvek atd.), ale spojový seznam je datová struktura, která používá [[ukazatel|ukazatele]]e a může být použita k vytvoření seznamu jako ADT.

Protože některé abstraktní datové typy jsou velmi užitečné a běžně používané, některé programovací jazyky používají tyto ADT jako primitivní datové typy, které jsou přidány do jejich [[Knihovna (programování)|knihoven]]. Například v [[Perl|Perlu]]u je možné pole považovat za implementaci seznamu, standardní knihovny [[C++]] a [[Java|Javy]] zase nabízejí implementaci seznamu, zásobníku, fronty a řetězců.

* '''Modularita''': "stavebnicový"„stavebnicový“ princip programování je přehledný a umožňuje snadnou výměnu části kódu. Při hledání chyb mohou být jednotlivé moduly považovány za kompaktní celky. Při zlepšování ADT není nutné zasahovat do celého programu.