Diferencia entre revisiones de «Programación en Ada/Tipos etiquetados»

Contenido eliminado Contenido añadido
m plantillas
Línea 32:
 
== Tipos polimórficos (class-wide type) ==
En Ada el polimorfismo se consigue con un tipo especial que puede contener objetos de cualquier tipo derivado de uno dado. Estos tipos especiales se indican con el atributo Base, es decir, T_Base'Class puede almacenar cualquier objeto derivado del tipo T_Base.
 
T_Base'Class; -- Puede almacenar cualquier objeto derivado del tipo T_Base.
 
Este tipo de la clase es un {{Ada:|T|t|ipo irrestringido}}, es decir, para declarar un objeto de este tipo tenemos que inicializarlo llamando a una función, asignándole otro objeto o con un ''new'' (si es un puntero a tipo polimórfico).