Type abstrait
Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche à compléter concernant l'informatique, vous pouvez partager vos connaissances en le modifiant. |
En informatique, un type abstrait est une spécification mathématique d'un ensemble de données et de l'ensemble des opérations qu'elle peuvent effectuer. On qualifie d'abstrait ce type de données car il correspond à un cahier des charges qu'une structure de données doit ensuite implémenter.
Le TAA contient aussi les préconditions pour l'utilisation des opérations. Les opérations sont divisées en plusieurs types :
- les constructeurs (permettent de créer un objet du type)
- les observateurs (fonction donne des informations sur l'état de l'objet)
- les transformateurd (permettent de modifier les objets et leur contenu)
Un exemple courant de type abstrait est la file à priorités, implémentée à l'aide de tas, de tas binomiaux ou encore de tas de Fibonacci.