Algoritmos y Programación en Pascal

434 Capítulo 19. Tipos abstractos de datos
una operación que escriba objetos del tipo abstracto de datos, que en el
ejemplo sería un procedimiento EscribirConj.
Operaciones de modificación: Permiten, como su propio nombre indica, modificar
un objeto del tipo abstracto de datos, como, por ejemplo, las operaciones
Annadir y Eliminar.
Operaciones propias del tipo: Son operaciones características de los objetos
abstraídos en el tipo de datos, como serían en el ejemplo operaciones para
calcular la unión, intersección o diferencia de conjuntos.
Es conveniente destacar que esta clasificación de las operaciones no es excluyente:
en algún tipo abstracto de datos puede ser necesaria una operación que
pertenezca a dos clases, como, por ejemplo, una operación que efectúe una consulta
y una modificación al mismo tiempo. No obstante, tal operación no es
adecuada desde el punto de vista de la cohesión, un criterio de calidad de software
aplicable a la programación con subprogramas, que nos recomienda dividir
tal operación en dos, una que haga la consulta y otra la modificación.
A modo de resumen, se puede decir que la abstracción de datos, considerada
como método de programación, consiste en el desarrollo de las siguientes etapas:
1. Reconocer los objetos candidatos a elementos del nuevo tipo de datos.
2. Identificar las operaciones del tipo de datos.
3. Especificar las operaciones de forma precisa.
4. Seleccionar una buena implementación.
Se han mostrado las tres primeras etapas tomando como guía el ejemplo de
los conjuntos de enteros. A continuación se detalla cómo abordar la cuarta y
última.
19.2.3 Desarrollo de tipos abstractos de datos
En la última versión del ejemplo de la criba de Eratóstenes se ha utilizado
el tipo abstracto tConj dejándolo sin desarrollar, únicamente incluyendo la palabra
abstracto. Pero, obviamente, por mucho que las características de un tipo
abstracto de datos sean independientes de la implementación, no se puede olvidar
ésta.
Lo más adecuado para implementar un tipo abstracto de datos es recurrir a
mecanismos que permitan encapsular el tipo de datos y sus operaciones, y ocultar
la información al programador-usuario. Estas dos características son esenciales