Clases abstractas

que deben cumplir los objetos que se utilizan de manera polimórfica es saber responder al mensaje que se les envía.

La apariencia del código puede ser muy diferente dependiendo del lenguaje que se utilice, más allá de las obvias diferencias sintácticas.

Por ejemplo, en un lenguaje de programación que cuenta con un sistema de tipos dinámico (en los que las variables pueden contener datos de cualquier tipo u objetos de cualquier clase) como Smalltalk se requiere que los objetos que se utilizan de modo polimórfico sean parte de una jerarquía de clases.

Variable y funciones

Variables polimórficas:  Una variable polimórfica es aquélla que puede referenciar más de un tipo de objeto

Puede mantener valores de distintos tipos en distintos momentos de ejecución del programa. En un lenguaje débilmente tipado todas las variables son potencialmente polimórficas

En un lenguaje fuertemente tipado la variable polimórfica es la materialización del principio de sustitución

Tipos de variables polimórficas:

Variables polimórficas simples Variable polimórfica como receptor de mensaje

Downcasting (polimorfismo inverso) polimorfismo puro

Clases abstractas

Las clases abstractas actúan como expresiones de conceptos generales de los que se pueden

derivar clases más específicas. No puede crear un objeto de un tipo de clase abstracta; Sin

embargo, puede usar punteros y referencias a tipos de clase abstractos.

Una clase que contiene al menos una función virtual pura se considera una clase abstracta. Las

clases derivadas de la clase abstracta deben implementar la función virtual pura o, también, son

clases abstractas.