Poți explica ce este o verificare de tip (Type Guard) și cum este utilizată în TypeScript?

Verificarea tipului (Type Guard) în TypeScript este o metodă de a clarifica tipul unei variabile în timpul execuției, astfel încât compilatorul să poată lucra cu ea în siguranță. Verificarea tipului ajută la evitarea erorilor legate de utilizarea incorectă a tipurilor.

De exemplu, dacă aveți o variabilă care poate fi fie un șir de caractere, fie un număr, puteți folosi o verificare de tip pentru a-i verifica tipul și a efectua acțiunile corespunzătoare:

function exemplu(valoare: string | number) {
  if (typeof valoare === 'string') {
    // Aici, TypeScript știe că valoarea este un șir
    console.log(valoare.toUpperCase());
  } else {
    // Aici, valoarea este un număr
    console.log(valoare.toFixed(2));
  }
}

Verificarea tipului poate fi implementată folosind operatorii typeof, instanceof sau funcții personalizate care returnează o verificare a tipului.