Algoritmos y Programación en Pascal

442 Capítulo 19. Tipos abstractos de datos
La idea de partida que se ha de tomar en esta tarea es bien clara: escoger
una representación que permita implementar las operaciones del tipo abstracto
de datos simple y eficientemente, respetando, por supuesto, las eventuales restricciones
existentes.
Ahora bien, en el momento de llevar a la práctica esta idea, se ha de tener
presente que el verdadero sentido de la abstracción de datos viene dado por la
separación del qué y del cómo, de la especificación y de la implementación, y de
la ocultación al programador-usuario de la información referente a esta última.
De acuerdo con esto, y como ya se adelantó en el apartado 19.2.3, resulta imprescindible
disponer en el lenguaje de programación empleado de herramientas
que permitan la implementación separada de los programas y los datos. Estas
herramientas se denominan unidades, módulos o paquetes en algunos de los
lenguajes de programación imperativa más extendidos. Pero estas herramientas
no están disponibles en Pascal estándar, por lo que es imposible realizar la
abstracción de datos de una forma completa 6 en este lenguaje, como se advirtió
en el apartado anterior. Sin embargo, en Turbo Pascal sí que se dispone de la
posibilidad de compilación separada mediante el empleo de unidades (véase el
apartado B.11), y esto es suficiente para llevar a la práctica la abstracción de
datos.
En otros términos, las unidades de Turbo Pascal posibilitan una total “encapsulación”
de los datos, al incluir la definición y la implementación del tipo abstracto
en la misma unidad. Ésta es una característica positiva, al aumentar la
modularidad de los programas y facilitar el aislamiento de los cambios.
No obstante, las unidades permiten ocultar sólo parcialmente las características
del tipo abstracto de datos dadas por la representación escogida. Es preciso
recalcar la parcialidad de la ocultación de información, ya que es necesario incluir
la representación concreta en la declaración del tipo abstracto (en el ejemplo
tConj = ^tNodoLista; o tConj = árbol de búsqueda) contenida en la sección
de interfaz de la unidad, y, por tanto, el programador-usuario conocerá parte de
los detalles de la representación. 7
Para finalizar, se puede decir que la implementación típica de un tipo abstracto
de datos en Turbo Pascal, siguiendo las ideas de Collins y McMillan [CM],
tiene la siguiente estructura:
unit TipoAbstractoDeDatos;
6 En Pascal estándar habría que incluir la implementación del tipo de datos y de sus operaciones
en cada programa que lo necesite, con lo cual no existe ninguna separación entre la especificación
y la implementación, que estará totalmente visible al programador-usuario.
7 En otros lenguajes, como, por ejemplo, Modula2, se puede conseguir la ocultación total de
información mediante el empleo de los llamados tipos opacos.