Escriptura estàtica

De la Viquipèdia, l'enciclopèdia lliure.
Saltar a la navegació Saltar a la cerca

A la programació , la tipificació estàtica és una política de tipificació particular, és a dir, assignar tipus a variables .

En els llenguatges d’ escriptura estàtica, el tipus de cada variable (numèric enter, numèric de coma flotant , caràcter, etc.) s’estableix directament al codi font on s’assigna explícitament mitjançant paraules clau específiques, com ara int, long, float, char, etc ...

Implementació de mecanografia estàtica

La implementació de la tipificació estàtica varia molt d’un idioma a l’altre, però algunes característiques es mantenen constants.

El programa guarda en una taula de valors totes les variables declarades pel programador, juntament amb el seu tipus i valor actual. Gràcies a això, un intent d’assignar un valor d’un tipus diferent al d’una variable provoca un error de terminal.

Els llenguatges de tipus estàtic més comuns són Java i C / C ++ .

Exemples de mecanografia estàtica

Els llistats següents mostren les característiques de l’escriptura estàtica als llenguatges Java i C.

Java

 classe pública ExampleTyping {
  public static void main ( String [] args ) {
    int a ; // declarar la variable enter a
    a = 3,5 ; // ERROR! El valor 3.5 és un número de coma flotant, mentre que la variable a és sencera
  }
}

C.

 int main () {
  char c ; / * declara una variable de tipus caràcter * /
  c = "Exemple" ; / * ERROR! "Exemple" és una cadena, no es pot assignar a un caràcter variable * /
}

Articles relacionats

Informàtica Portal de TI : accediu a les entrades de Viquipèdia relacionades amb TI