Algoritmos y Programación en Pascal

19.2. Un ejemplo completo 439
Con los elementos de que se dispone ahora, esta declaración se sustituirá por
la siguiente:
uses conjEnt;
que hace que el tipo tConj declarado en la unidad esté disponible para su empleo
en el programa.
❡❡ Una implementación en Pascal estándar obligaría a prescindir de las unidades,
obligando a incluir todas las declaraciones del tipo y de los subprogramas
correspondientes a las operaciones del tipo abstracto tConj en todo
programa en que se utilice. Con ello se perderían gran parte de las ventajas
aportadas por la abstracción de datos, como, por ejemplo, la encapsulación,
la ocultación de información y el aislamiento de los cambios.
La representación escogida para la implementación no es la más eficiente. En
efecto, las operaciones de inserción, eliminación y consulta requieren, en el peor
caso, el recorrido del conjunto completo.
Una posibilidad más interesante consiste en representar los conjuntos mediante
arboles de búsqueda (véase el apartado 17.4.2) en vez de usar listas. No
es necesario reparar ahora en los pormenores de esta estructura de datos; en este
momento, nos basta con saber que las operaciones de modificación y consulta
son ahora mucho más eficientes.
Pues bien, si ahora decidiésemos mejorar la eficiencia de nuestra implementación,
cambiando las listas por árboles, no tenemos que modificar las operaciones
de la interfaz, sino tan sólo su desarrollo posterior en la sección implementation.
De este modo, se puede apreciar una de las ventajas de la
abstracción de datos:
• El programador-usuario no tiene que pensar en ningún momento en la
representación del tipo abstracto de datos, sino únicamente en su especificación.
• Los cambios, correcciones o mejoras introducidas en la implementación del
tipo abstracto de datos repercuten en el menor ámbito posible, cual es la
unidad en que se incluye su representación. En nuestro ejemplo, el cambio
de la implementación basada en listas por la basada en árboles no afecta
ni a una sola línea del programa Criba: el programador-usuario sólo se
sorprenderá con una mayor eficiencia de su programa tras dicho cambio.
Obsérvese el efecto que hubiera tenido el cambio de representación en la
primera versión de Criba, y compare.
Una vez presentado este ejemplo y con él las ideas generales de la abstracción
de datos, se dan en el siguiente apartado nociones metodológicas generales
acerca de esta técnica.