Categorías
CS Courses

Comprobación de tipos de funciones orientadas a objetos

La verificación de tipos es la actividad de asegurar que los operandos de un operador sean de tipos compatibles. Esta publicación trata sobre cómo las características orientadas a objetos, como la herencia, la sobrecarga y la anulación, afectan la verificación de tipos.

Se produce un error de tipo cuando se proporciona un argumento de un tipo inesperado a una operación. Se puede señalar en tiempo de compilación o en tiempo de ejecución.

Herencia:
Es necesario considerar la forma de las jerarquías de clases.
Cuando existe el límite superior mínimo de A y B, lo denotamos A ∐ B.

Sobrecarga de funciones:
En tiempo de compilación, determine a qué función se refiere inspeccionando los tipos de argumentos.
Informe un error si ninguna función es la mejor.

Función anulada:
Determinar en tiempo de ejecución según el objeto real.

En algunos lenguajes como C ++ y Java, es posible tratar matrices de objetos de forma polimórfica.

Nota: Los sistemas de tipo estático a menudo están incompletos. Por lo tanto, el objetivo es hacer que el lenguaje sea lo más expresivo posible y, al mismo tiempo, hacer que el verificador de tipo suene.

  Cómo se envía una IP-PDU de un host a otro

Por Programación.Click

Más de 20 años programando en diferentes lenguajes de programación. Apasionado del code clean y el terminar lo que se empieza. ¿Programamos de verdad?

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *