Tastare puternică
Această intrare sau secțiune despre programare nu citează sursele necesare sau cei prezenți sunt insuficienți . |
În informatică , și în special în programare , expresia puternică de tastare (puternică tastare) poate fi utilizată pentru a caracteriza tipul de reguli pe care un anumit limbaj de programare le impune, la nivel sintactic sau semantic , cu privire la tastarea datelor și utilizarea datelor în în raport cu tipul lor. Opusul tastării puternice este tastarea slabă .
Descriere
Acest articol sau secțiune referitoare la informatică este considerat a fi verificat . |
Într-un limbaj puternic tastat , programatorul trebuie să specifice tipul fiecărui element sintactic care în timpul execuției denotă o valoare (de exemplu, o valoare constantă , o variabilă sau o expresie ), iar limbajul garantează că această valoare este utilizată. tipul specificat: de exemplu, nu este posibil să se efectueze o sumă aritmetică pe datele șirului . Acest concept general poate fi aplicat cu diferite nuanțe; în funcție de context. Astfel, limbajul puternic tastat se poate referi la lucruri ușor diferite:
- tastarea statică : toate verificările privind utilizarea corectă a valorilor în raport cu tipul lor sunt efectuate în timpul compilării ;
- siguranță în comparație cu tipurile ( siguranța tipului ): se garantează că acestea sunt efectuate controale exhaustive asupra utilizării valorilor în raport cu tipul lor, dar nu neapărat în timpul compilării (un program ar putea eșua în timpul execuției din cauza încălcărilor tipului )
- incapacitatea de a efectua conversii de tip ;
- incapacitatea de a efectua conversii de tip implicite;
Un exemplu limitativ al unui limbaj slab tastat este limbajul mașinii , în care o zonă de memorie , reprezentată în cod printr-o adresă de memorie , poate fi utilizată indiferent pentru a conține valori de orice tip, numere întregi, numere cu virgule, caractere etc. pe. Limbajele de programare la nivel înalt tind să aibă sisteme de tip mai sigure și, prin urmare, abordează idealul tastării puternice, dar, în general, există mecanisme disponibile pentru a gestiona datele flexibil, care se pretează să fie utilizate pentru a sparge sistemul de tip. De exemplu, limbajul C oferă cel puțin trei mecanisme care îl califică ca un limbaj slab tastat:
- operații de turnare , care vă permit să forțați interpretarea oricărei valori în funcție de orice tip (chiar și un alt tip decât cel la care valoarea a fost asociată anterior);
- indicatori către gol , care au conversie implicită de tip la orice alt tip de pointer;
- uniuni , care fac posibilă interpretarea unei colecții de date corelate în funcție de diferite atribuții de tip independent.
