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
Exemple de limbi de programare cu tastare statică strictă sunt limbile precum Ada. sau Java. În special, caietul de sarcini în limbajul Java 7 spune că Java este un limbaj puternic tipizat. [1] 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. Fortran. 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 un număr în virgulă flotantă, iar atribuirea inversă fără tip fumat explicit, deoarece duce la erori, cu mare probabilitate.
Î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ă programul pentru tipurile de date individuale sunt în mod logic, valori inconsistente sunt declarate și utilizate) protejează programator de la simplu, dar greu de erori legate de utilizarea în comun a unei valori incoerente care apar, uneori, din cauza unor erori 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.
Python este un exemplu al unei limbi cu o tastare dinamică puternică [2].
Vedeți ce scrieți "Strict typing" în alte dicționare:
Introducerea datelor - Tipul de date este un concept fundamental al teoriei programării. Tipul de date definește un set de valori, un set de operații care pot fi aplicate la astfel de valori și, probabil, o modalitate de a implementa stocarea valorilor și a efectua operațiuni. Orice ... ... Wikipedia
Tipuri de ieșire - (. engleză Tip inferență) Tip dactilografiere date de securitate inferență dinamic dactilografiere static tastarea dactilografiere Strong Soft tastarea tipuri dependente de rață tastare inferenta de programare compilator posibilitatea ... ... Wikipedia
În funcție de tip - de siguranță de tip Tastarea de date tip de ieșire tastare dinamic dactilografiere static Soft dactilografiere Puternică tastarea tipuri dependente de tip dependente dactilografiere rață în informatică și de tip logic, care depinde de valoarea. Dependent ... ... Wikipedia
Tipul de date - (denumit și tipul de date) este un concept fundamental al teoriei de programare. Tipul de date definește un set de valori, un set de operații care pot fi aplicate la astfel de valori și, probabil, o modalitate de a pune în valoare stocarea și ... ... Wikipedia
Articole similare
Trimiteți-le prietenilor: