Curso de Ada - Tipos abstractos de datos

46 - Tipos abstractos de datos

[editar]

Curso gratis creado por José Alfonso Malo Romero. Extraido de: http://es.wikibooks.org/wiki/Programaci%C3%B3n_en_Ada_/_Introducci%C3%B3n

16 de Marzo de 2006

< anterior | 1 ... 44 45 46 47 48 49 50 ... 71 | siguiente >

Una de las principales contribuciones de los lenguajes de alto nivel es que el programador no tiene que preocuparse de cómo se representan físicamente los datos en el computador. De esta idea surge el concepto de tipo de datos. Una extensión del mismo es el tipo abstracto de datos. Su implementación es de nuevo desconocida para el programador, esta vez no porque desconozca la arquitectura del computador subyacente, sino porque es encapsulado en un módulo que no permite el acceso directo a los detalles de su implementación. En su lugar, se proporciona al programador operaciones sobre el tipo que son invocaciones a entradas del módulo que lo encapsula.

Por ejemplo, consideremos la utilización de un tipo abstracto de datos que represente a un número complejo:

package Números_complejos is type TComplejo is record Real, Imag: Float; end record; I: constant TComplejo := (0.0, 1.0); function "+" (X, Y: TComplejo) return TComplejo; function "-" (X, Y: TComplejo) return TComplejo; function "*" (X, Y: TComplejo) return TComplejo; function "/" (X, Y: TComplejo) return TComplejo; end Números_complejos;

De este modo, el usuario debe conocer los detalles de la implementación y sabe que se utiliza una representación cartesiana. Además, el usuario está obligado a hacer uso de la representación.

Para impedir el uso del conocimiento de la representación con vistas, por ejemplo, a poder cambiar ésta posteriormente, se puede hacer uso de los tipos privados definiéndolos mediante la palabra reservada private:

package Números_complejos is -- Parte visible. type TComplejo is private; -- Tipo privado. I: constant TComplejo; -- No se puede asignar valor todavía. function "+" (X, Y: TComplejo) return TComplejo; function "-" (X, Y: TComplejo) return TComplejo; function "*" (X, Y: TComplejo) return TComplejo; function "/" (X, Y: TComplejo) return TComplejo; function Construir_complejo (R, I: Float) return TComplejo; function Parte_imaginaria (X: TComplejo) return Float; function Parte_real (X: TComplejo) return Float; private -- Parte oculta. type TComplejo is record Real, Imag: Float; end record; I: constant TComplejo := (0.0, 1.0); end Números_complejos;

Ahora, se ha definido TComplejo como tipo privado y se resguardan los detalles de su implementación en la parte no visible del paquete después de la palabra reservada private y hasta el fin de la especificación del paquete. En la parte visible (desde el comienzo de la especificación hasta private), se da la información disponible fuera del paquete.

Las únicas operaciones disponibles son la asignación, la igualdad y la desigualdad, aparte de las añadidas en el paquete.

Nótese que el valor de I no se puede dar pues no se conocen todavía los detalles de la implementación, se declara como constante y se le asigna después un valor en la parte privada.

Las funciones Construir_complejo, Parte_imaginaria y Parte_real son ahora necesarias pues el usuario ya no conoce la estructura del tipo TComplejo y se necesita realizar dicha interfaz para poder manejar objetos del tipo privado.

El cuerpo se podría implementar de la siguiente manera:

package body Números_complejos is function "+" (X, Y: Tcomplejo) return TComplejo is begin return (X.Real + Y.Real, X.Imag + Y.Imag); end "+"; -- ... "-", "* y "/" similarmente. function Construir_complejo (R, I: Float) return TComplejo is begin return (R, I); end Construir_complejo; function Parte_real (X: TComplejo) return Real is begin return X.Real; end Parte_real; -- ... Parte_imaginaria análogamente. end Números_complejos;

Y podría ser utilizado transparentemente, por ejemplo, dentro de un bloque como:

declare use Números_complejos; C1, C2: TComplejo; R1, R2: Float; begin C1 := Construir_complejo (1.5, -6.0); C2 := C1 + I; R := Parte_real (C2) + 8.0; end;

Si ahora se quisiera cambiar la implementación del tipo TComplejo y representarlo en forma polar, no sería necesario cambiar la parte visible de la especificación, por lo que todas las unidades que utilicen dicho paquete no tienen la necesidad de actualizarse. La interfaz exportada no ha cambiado y, por tanto, los programas que la utilizarán pueden seguir haciéndolo. Por ejemplo, ahora se podría representar en la parte privada de la especificación del paquete como:

-- ... private Pi: constant := 3.1416; type TComplejo is record R: Float; Theta: Float range 0.0 .. 2*Pi; end recod; I: constant TComplejo := (1.0, 0.5*Pi); end Números_complejos;

Lo único que se necesitaría sería reescribir el cuerpo del paquete y recompilarlo.

Enlaces externos

Ejemplos de TADs

[editar]

< anterior | 1 ... 44 45 46 47 48 49 50 ... 71 | siguiente >

Opinar
12 opiniones

LEO

EXCELENTE QUISIERA BAJARLO PARA ESTUDIARLO

wnhjxssjjjaunxasxahqwedqbuxyquwdqd

qwkqwmnwhw wwbwyw wywbwsyw wywvwdwwuw wrwvwjwtsacxanya xyhwtsvabgsx atxnquxvaxc

Miguel

Estudio psicopedagogia.

Hola en verdad cada aporte me esde gran interes asta para los que no dicen nada, pero en realidad hay que ayudar al mundo, ofrecindole mas que estos aportes, sin odtener nada a canbio ya que nedie quiere el mal para si mismo pero seamos mas humanos y no vemos por nosotros, ayudemos a las personas sin importar raza o lengua y te daras cuenta que tu odtendras ganancias sin hacer daño a nadie educando a los hijos de otros que numca tendran una oportunidad. Tn fe en ti mismo y no para que los demas te veamos, mas sin enbargo para que tu sientas que si eres muy capaz, dejala la relegion aparte, tus titulos, tus vicios, tu avaricia por ser mas grande que el mismo cesar; pero este mundo sin tu ayuda se enfermara pronto. Mirate tu mismo, mira a los presidentes del mundo compitiendo por el tajo mas grando; ellos creen que an ganado, pero no se dancuenta que una persona mas pequeña que ellos en la tierra sin dinero y sin oportuninades podra hacer la diferencia. Vamos azlo por ultimo asi como tu eres, de una forma ipocrita, con mentiras, con rabia omgolpes pero por ultimo te daras cuenta que tus hijos seran los dueños de tu esfuerso y seras muy importante, y tu odio se convertira en algo mas alla de la fe. Dios ayuda asta el mentiroso a adrse cuenta que el es el unico que se daña en esta competencia. Yo soy un hombre con miles de defectos, pero es logico que soy como tu de falso, y espero tu tanbien me ayudes a salir de este mundo de mentiras donde los afectados son tus hijos y los mios. Vamos ayuda tu mundo y este curso tendra sentido grandemente.

Agencia

No esta mal.

La pena es que no está muy extendido y existen lenguajes mejores.

Me gusta.

Me gustó!.

1 2 3 | siguiente >

Cursos gratis relacionados con 'Curso de Ada'

Curso de Ada

El objetivo de este curso es aprender a programar en el lenguaje Ada, desde sus... Más »

Curso de Linux

Completo curso de Linux, un sistema operativo gratuito y de libre distribución inspirado en el... Más »

Iniciación a Oracle

El más completo curso de Oracle.

Ortografía del español

La ortografía del español.

Una introducción informal a GNU/Linux

Linux es una gran herramienta, la uso desde hace años y se ha convertido en... Más »

Anuncios Google

Autor y licencia de 'Curso de Ada'

Curso gratis de José Alfonso Malo Romero. Extraido de: http://es.wikibooks.org/wiki/Programaci%C3%B3n_en_Ada_/_Introducci%C3%B3n CopyLeft

El contenido está disponible bajo los términos de GNU Free Documentation License

Licencia GNU Free Documentation License: http://www.gnu.org/copyleft/fdl.html

Este contenido ha sido recopilado por el equipo de Wikilearning. Todo el contenido recopilado se ha obtenido respetando y comunicando en nuestro site la licencia de cada fuente.

Wikilearning tiene permiso expreso por escrito de los autores para publicar los contenidos que ha extraído de otras webs, incluyendo su uso comercial.