Algoritmos y Programación en Pascal

428 Capítulo 19. Tipos abstractos de datos
19.1 Introducción
El objetivo que se persigue en este apartado es la definición de un conjunto
de objetos con una serie de operaciones para su manipulación. Para resolverlo, se
utiliza la técnica de la abstracción de datos, que permite tratar estas definiciones
de tipos de una forma ordenada, mantenible, reutilizable y coherente.
La abstracción de datos pone a disposición del programador-usuario 1 nuevos
tipos de datos con sus correspondientes operaciones de una forma totalmente
independiente de la representación de los objetos del tipo y de la implementación
de las operaciones; de ahí el nombre tipos abstractos de datos.
Esta técnica es llamada abstracción, porque aplica un proceso consistente
en ignorar ciertas características de los tipos de datos por ser irrelevantes para
el problema que se intenta resolver. Esas características ignoradas son aquéllas
relativas a cómo se implementan los datos, centrándose toda la atención en qué
se puede hacer con ellos. Esto es, las propiedades de un tipo abstracto de datos
vienen dadas implícitamente por su definición y no por una representación o
implementación particular.
Obsérvese que los tipos de datos básicos de Pascal (véase el capítulo 3) son
abstractos en el siguiente sentido: el programador puede disponer de, por ejemplo,
los enteros y sus operaciones (representados por el tipo integer), ignorando
la representación concreta (complemento restringido o auténtico, o cualquiera de
las explicadas en el apartado 2.2 del tomo I) escogida para éstos.
En cambio, con los tipos definidos por el programador (por ejemplo, las colas
presentadas en el apartado 17.3), los detalles de la implementación están a la
vista, con los siguientes inconvenientes:
• El programador tiene que trabajar con la representación de un objeto en
lugar de tratar con el objeto directamente.
• El programador podría usar el objeto de modo inconsistente si manipula
inadecuadamente la representación de éste.
En resumen, desde el punto de vista del programador-usuario se puede afirmar
que la introducción de los tipos abstractos de datos suponen un aumento
de nivel en la programación, pues bastará con que éste conozca el qué, despreocupándose
de las características irrelevantes (el cómo) para la resolución
del problema. Por otra parte, la tarea del programador que implementa el tipo
consistirá en escoger la representación concreta que considere más adecuada y
ocultar los detalles de ésta en mayor o menor nivel, dependiendo del lenguaje
utilizado.
1 Designaremos con este término al programador que utiliza porciones de código puestas a su
disposición por otros programadores (o por él mismo, pero de forma independiente).