Verificați tipul

Această intrare pe tema programării este doar o schiță . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia .

În informatică, verificarea tipului indică operațiunea care constă în verificarea faptului că valorile atribuite unei variabile sunt de un tip de date admisibil pentru tipul variabilei.

Acest lucru este esențial pentru limbaje tipizate, cum ar fi C ++ , unde interpretarea conținutului unei variabile depinde de tipul acesteia. Pe de altă parte, nu se efectuează pentru limbi fără tipuri, unde în schimb este variabila care se adaptează la datele care îi sunt atribuite.

Definiția unui limbaj tipizat include, de asemenea, regulile care determină dacă este permisă o conversie de tip ( casting tip ). De exemplu, puteți atribui în mod normal un număr întreg de 16 biți unuia pe 32 de biți, deoarece nu există riscul de a pierde informații, în timp ce nu se poate face contrariul.

Unele limbi folosesc verificarea statică a tipului , adică efectuează această verificare la momentul compilării și refuză să compileze un program dacă, de exemplu, încercați să atribuiți un număr întreg unei variabile de tip pointer.

Alții verifică tipul în timpul rulării , iar compilatorul încorporează automat logica în programele executabile pentru a evalua dacă o alocare este admisibilă.