Tipos Abstractos de datos TAD

Un tipo abstracto de datos (TAD) es una agrupación de una colección de valores y una colección de operaciones de manipulación, podemos definirlos de varias maneras:

Definición de tipos abstractos como tipos registro (struct):

          Los campos de datos sirven para almacenar el contenido de información del dato abstracto, los subprogramas permiten definir operaciones sobre esos datos, la posibilidad de declarar ciertos elementos como privados permite ocultar detalles de implementación, y dejar visible sólo la interfaz del tipo abstracto.

Ocultación:

          Para que un tipo sea realmente abstracto haría falta que los detalles de implementación no fueran visibles. Para permitir esta ocultación los tipos struct admiten la posibilidad de declarar ciertos elementos componentes como privados, usando la palabra clave prívate para delimitar una zona de declaraciones privadas dentro de la estructura.

Desarrollo por refinamiento basado en abstracciones:

          Para realizar un refinamiento basado en abstracciones podemos considerar el dato como un dato elemental, y usar directamente un tipo predefinido del lenguaje para representarlo, considerar el dato como un dato complejo, y descomponerlo en otros más sencillos (como registro, unión o formación), considerar el dato como un dato abstracto y especificar su interfaz, dejando para más adelante los detalles de su implementación.