Escriptura forta

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

En informàtica , i particularment en programació , l’expressió de mecanografia forta (tipografia forta) es pot utilitzar per caracteritzar el tipus de regles que un llenguatge de programació particular imposa, a nivell sintàctic o semàntic , sobre la tipificació de dades i l’ús de les dades a relació amb el seu tipus. El contrari de l’ escriptura forta és l’ escriptura feble .

Descripció

En un llenguatge fortament escrit , el programador ha d’especificar el tipus de cada element sintàctic que durant l’ execució denota un valor (per exemple, un valor constant , una variable o una expressió ) i el llenguatge garanteix que s’utilitzi aquest valor. el tipus especificat: per exemple, no és possible realitzar una suma aritmètica en dades de cadenes . Aquest concepte general es pot aplicar amb diferents matisos; en funció del context. Per tant, un llenguatge fortament escrit pot referir-se a coses lleugerament diferents:

  • escriptura estàtica : totes les comprovacions sobre l’ús correcte de valors respecte al seu tipus es realitzen durant la compilació ;
  • seguretat en comparació amb els tipus ( seguretat de tipus ): es garanteix que es fan controls exhaustius sobre l'ús dels valors respecte al seu tipus, però no necessàriament durant la compilació (un programa podria fallar durant l'execució a causa d' infraccions de tipus )
  • incapacitat per realitzar conversions de tipus ;
  • incapacitat per realitzar conversions de tipus implícites;

Un exemple limitant d’un llenguatge poc tipificat és el llenguatge de màquina , en el qual una àrea de memòria , representada al codi per una adreça de memòria , es pot utilitzar de manera indiferent per contenir valors de qualsevol tipus, enters, números amb comes, caràcters, etc. encès. Els llenguatges de programació d’alt nivell tendeixen a tenir sistemes de tipus més segurs i, per tant, s’aproximen a l’ideal d’una tipografia forta, però en general hi ha mecanismes disponibles per gestionar les dades de manera flexible que es presten a utilitzar-se per trencar el sistema de tipus. Per exemple, el llenguatge C proporciona almenys tres mecanismes que el qualifiquen com un llenguatge de tipus feble:

  • operacions de fosa , que permeten forçar la interpretació de qualsevol valor segons qualsevol tipus (fins i tot un tipus diferent del que anteriorment estava associat el valor);
  • punteres a buit , que tenen una conversió implícita de tipus a qualsevol altre tipus de punter;
  • sindicats , que permeten interpretar una col·lecció de dades correlacionades segons diferents atribucions de tipus independent.
Informàtica Portal de TI : accediu a les entrades de Viquipèdia relacionades amb TI