Algoritmos y Programación en Pascal

446 Capítulo 19. Tipos abstractos de datos
programas grandes. Para éstos, dicho estudio resulta tan costoso que se ve muy
reducido o incluso abandonado en la mayoría de los casos. Dada esta situación,
es muy importante disponer de una biblioteca de tipos abstractos de datos
correctos cuya verificación se ha realizado independientemente.
19.4 Resumen
En este apartado se enumeran algunas ideas que ayudan a fijar los conceptos
expuestos en este capítulo, así como otros aspectos relacionados:
• Los tipos abstractos de datos permiten al programador concentrarse en las
características o propiedades deseadas para dichos tipos (o en qué servicio
deben prestar al programador), olvidándose, temporalmente, de cómo
están implementados (o cómo se van a implementar). Por consiguiente,
los tipos abstractos de datos pueden considerarse como cajas negras: el
programador-usuario sólo ve su comportamiento y no sabe (ni le interesa
saber) qué contienen.
• La definición del tipo abstracto de datos debe expresarse como una especificación
no ambigua, que servirá como punto de partida para la derivación
correcta de la implementación o para enfrentarla a posteriori a la implementación
en un proceso de verificación formal.
• Para la aplicación de la abstracción de datos, es imprescindible que el
lenguaje de programación escogido posibilite la implementación separada
para poder llevar a cabo la ocultación de información y la “encapsulación”,
esenciales en esta técnica.
• La abstracción de datos optimiza los niveles de independencia (en la línea
de lo comentado en los capítulos 8 y 9) del código de la unidad del tipo
abstracto de datos y de los programas de aplicación. Como consecuencia de
ello, aumenta la facilidad de mantenimiento de los programas, al aislar en
la unidad de implementación del tipo abstracto los cambios, correcciones
y modificaciones relativos a la representación del tipo abstracto, evitando
que se propaguen (innecesariamente) a los programas de aplicación.
• La abstracción de datos se puede considerar como precursora de la técnica
de orientación a objetos (véase el apartado 5.1.3 del tomo I), en la que
también se encapsulan datos y operaciones (con la diferencia de que se
añaden los mecanismos de herencia y polimorfismo, entre otros). 8
8 A partir de la versión 5.5 de Turbo Pascal se permite una aplicación limitada de esta técnica,
pero su explicación excede los propósitos de este libro.