Arabă Bulgară Chineză Croată Cehă Daneză Olandeză Engleză Estoniană Finlandeză Franceză Germană Greacă Hindi Indonezian Islandeză Italiană Japoneză Letonă Lituaniană malgașă Norvegiană Persană Poloneză Portugheză Română Rusă Sârbă Slovacă Slovenă Spaniolă Thai Turcă Vietnameză suedeză
Arabă Bulgară Chineză Croată Cehă Daneză Olandeză Engleză Estoniană Finlandeză Franceză Germană Greacă Hindi Indonezian Islandeză Italiană Japoneză Letonă Lituaniană malgașă Norvegiană Persană Poloneză Portugheză Română Rusă Sârbă Slovacă Slovenă Spaniolă Thai Turcă Vietnameză suedeză
definiție - tastarea strictă
Din Wikipedia, enciclopedia gratuită
Introducerea strictă este una dintre opțiunile de lucru cu tipurile de date. care este folosit în limbile de programare.
Condiții obligatorii
Introducerea strictă implică următoarele condiții obligatorii:
- Orice obiect de date (variabilă, constantă, expresie) într-o limbă are întotdeauna un tip strict definit. care este fixată la momentul compilării programului (tastare statică) sau este determinată la timpul de execuție (tastare dinamică).
- Atribuirea unei variabile la o valoare care are exact același tip de date ca variabila este permisă, aceleași restricții se aplică și transferului de parametri și returnării rezultatelor funcțiilor.
- Fiecare operație necesită parametri de tipuri strict definite.
- Conversiile de tip implicit nu sunt permise (adică traducătorul acceptă orice încercare de a utiliza o valoare de tip greșit care a fost descrisă pentru o variabilă, parametru, funcție sau o operație, ca 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) .
Tastarea în limbile de programare
Singurul limbaj de programare folosit cu scriere strictă este Ada. Un număr destul de mare de limbaje de programare comune utilizați tastarea statică non-strictă. Aceste limbi sunt, de exemplu, Pascal. -Modula 2. Java. Ei descriere neapărat tipuri de variabile, parametri și caracteristici, dar a permis tip implicit - în cazul în care valoarea unui tip este atribuit la altul, compilatorul generează automat codul pentru a converti valoarea la tipul dorit, cu excepția cazului în astfel de conversie nu duce la pierderea datelor. De exemplu, un număr întreg poate fi atribuit unei variabile declarate ca număr în virgulă mobilă și este interzisă o alocare inversă fără conversie de tip explicit, deoarece este foarte probabil să ducă la o eroare.
În teoria programării, tastarea strictă este un element indispensabil î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-i plac tipărirea strictă din cauza inconvenientei - crește dimensiunea programului și timpul în care este scris, necesită o dezvoltare mai aprofundată a codului, ceea ce pare inutil pentru mulți.
Fișier: Nu iwiki template.gif