Tiparea strictă este una dintre variantele politicii de lucru cu tipurile de date, care este folosită în limbile de programare.
Introducerea strictă implică următoarele condiții obligatorii:
- Orice obiect de date (variabila expresie, constantă) în limba are întotdeauna un tip strict definit. care este fixat la programul compilării (dactilografiere static) sau determinate în timpul rulării (tastare dinamică).
- numai valoarea de atribuire variabilă având permise strict același tip de date ca variabilă, aceleași restricții se aplică parametrilor de transfer și pentru a reveni la rezultatele funcțiilor.
- Fiecare operație necesită parametri de tipuri strict definite.
- conversie implicită nu este permisă (adică, translatorul primește orice încercare de a utiliza valoarea nu este tipul care a fost descrisă pentru o variabilă parametru, funcția sau operație ca o eroare de sintaxă).
Atunci când se respectă exact cerințele de tiparire strictă, chiar și tipurile de date care sunt identice în compoziție și operațiile admise sunt incompatibile. În cazul în care un program trebuie să fie setat la același tip de date unei variabile de alt tip, acest lucru se poate face, dar numai prin utilizarea explicită a unei conversii speciale de tip operațiune, care, în astfel de cazuri este de obicei parte dintr-un limbaj de programare (deși nu poate fi formal, și cu condiția ca bibliotecile standard de) .
În teoria programării tastare puternică este un element esențial în asigurarea fiabilității software-ului dezvoltat. Atunci când este utilizat în mod corect (presupunând că declarați și anumite tipuri de date sunt folosite pentru valorile incoerente) protejează programator de erori greu de simple, dar legate de repartizarea unei valori incoerente care apar, uneori, din cauza alunecări elementare. sunt detectate astfel de erori în faza de compilare a programului, în timp ce la posibilitatea implicit practic orice tip între ele (cum ar fi în limbajul clasic C), sunt detectate aceste erori numai în testare, și nu toate și nu imediat. Pe de altă parte, mulți programatori profesioniști nu le place tastarea puternic din cauza neplăceri sale - crește volumul programului și timpul său de scriere, necesită un studiu mai atent al codului care pare ca nejustificată multora.
Pentru a îmbunătăți acest articol, este de dorit? :