Hipótesís

Tipo abstracto
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
Este artículo trata sobre tipos sin miembros directos; ver también Tipo de dato abstracto.
En ingeniería desoftware, un tipo abstracto es un tipo en un sistema de tipo nominativo que es declarado por el programador, y que tiene la propiedad de no contener miembros que no sean miembros de algún subtipodeclarado. Según el lenguaje de programación orientada a objetos, los tipos abstractos se implementan bajo nombres como clases base abstractas, interfaces, traits (en inglés, rasgos), mixins, flavors (eninglés, sabores) o roles.

Contenido [ocultar]
1 Indicación de tipos abstractos
2 Uso de tipos abstractos
3 Tipos de tipos abstractos
4 Enlaces externos


[editar] Indicación de tiposabstractos
Las clases abstractas pueden ser creadas, indicadas o simuladas de diversas formas:

Usando la palabra clave abstract en la definición de la clase, como en Java.
Incluyendo, en la definiciónde la clase, uno o más métodos abstractos (llamados funciones virtuales puras en C++; métodos que la clase está declarada para aceptar como parte de su protocolo, pero para los que no se proporcionaimplementación.
Por herencia de un tipo abstracto, y no sobrescribiendo todas las características necesarias para completar la definición de la clase que falten.
En muchos lenguajes tipadosdinámicamente como Smalltalk, cualquier clase que envíe un método particular a this, pero no implemente ese método, puede ser considerada abstracta. Sin embargo, en muchos lenguajes de este tipo, los posibleserrores no son detectados hasta que se usa la clase, y el mensaje envía resultados en un error como doesNotUnderstand.
[editar] Uso de tipos abstractos
Los tipos abstractos son una característicaimportante en lenguajes orientados a objetos tipados estáticamente. No se dan en lenguajes sin subtipos. Muchos lenguajes tipados dinámicamente no tienen características equivalentes, aunque el...