Mejor respuesta
La verificación de tipos se realiza mediante el verificador de tipos que verifica que el tipo de una construcción (constante, variable, matriz, lista, objeto) coincide con lo que se espera en su contexto de uso. Esto garantiza que se detecten y notifiquen ciertos tipos de errores de programación. Por ejemplo, considere la siguiente expresión que involucra al operador de módulo 8\% 3.5, esta expresión dará como resultado un error ya que el operador de módulo espera dos enteros. El verificador de tipos necesita conocer – Construcciones sintácticas en el lenguaje (por ejemplo, operadores) – Tipos básicos de lenguaje (int, real) – Reglas para asignar tipos a construcciones Por ejemplo, «si ambos operandos de + son int, el resultado es int»
Hay dos tipos de verificación de tipos estático y dinámico
Verificación de tipo estático: Verificación de tipo realizada en tiempo de compilación. Cuando se utilizan estos lenguajes, se obliga a declarar el tipo de variables antes de usarlas (compilador necesita saber a qué tipo de datos pertenece la variable). Por ejemplo, considere una declaración en c ++ int a = 10; aquí el compilador necesita conocer el tipo de datos de la variable «a» antes de usarlo. Por ejemplo, C, C ++, JAVA, C # son algunos lenguajes escritos estáticamente
dinámicos Verificación de tipos: Verificación de tipos realizada en tiempo de ejecución. Cuando se utilizan estos lenguajes, no es necesario especificar o declarar el tipo de variable, sino que el compilador determina qué tipo es una variable cuando le asigna un valor por primera vez. Ahora considere algunas declaraciones en python: str = «Python» str2 = 10 Aquí no necesita declarar el tipo de datos. El propio compilador sabrá a qué tipo pertenece la variable cuando le asigne un valor por primera vez (str1 es del tipo de datos «String» y str2 es del tipo «int»). Por ejemplo, VBScript, Python son lenguajes tipados dinámicamente.
Respuesta
La verificación de tipos está probando para ver si la operación en variables utiliza un tipo compatible. Los diferentes idiomas tienen diferentes niveles de compatibilidad variable. Los lenguajes fuertemente controlados por tipos tienen reglas estrictas sobre los tipos de variables en la expresión. En el otro lado de la moneda, hay lenguajes que permiten mezclar diferentes tipos. Estos lenguajes compensarán de alguna manera los tipos mixtos mediante el uso de algunas reglas de conversión de variables.
Por ejemplo, en algunos lenguajes de tipos estrictos, solo puede agregar dos enteros o dos números de coma flotante, pero marcar un error si lo intenta para agregar un número entero a un flotante. En otros lenguajes, si agrega un número entero a un flotante, podría convertir implícitamente el número entero en un flotante y luego realizar la suma.
C ++ está en algún lugar en el medio. En C ++ permite algunas conversiones implícitas. C y C ++ tienen un par de lagunas. Primero, se llama casting. La conversión es básicamente decirle al compilador que elija una variable como «este tipo» en lugar del valor declarado. Por ejemplo, en el ejemplo anterior, si queremos que el float sea tratado como un int, podemos convertir el float en un int.
Ejemplo: int x, a; flotar y, b;
b = x + y;
a = x + (int) y; o puede querer a = (int) (x + y);
Dado que los punteros generalmente se escriben, podemos usar la conversión para hacer que una estructura se vea como otro tipo de estructura.
typedef struct {/ * miembros * /} A;
typedef struct {/ * miembros * /} B;
A ax;
B * bp;
bp = &ax; // Error: ¡diferentes tipos de punteros!
bp = (B *) &ax; // define efectivamente una superposición A con B como una unión
Con los punteros también hay un vacío * que es un puntero comodín. Permite el uso donde se permite cualquier tipo de puntero, tales funciones de tipo mem, p. Ej. memcpy.