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.