Môžete vysvetliť, čo je kontrola typu (Type Guard) a ako sa používa v TypeScript?

Typová kontrola (Type Guard) v TypeScript je spôsob, ako upresniť typ premennej počas behu, aby s ňou mohol kompilátor bezpečne pracovať. Pomáha predchádzať chybám spôsobeným nesprávnym použitím typov.

Napríklad, ak máte premennú, ktorá môže byť buď reťazec alebo číslo, môžete použiť typovú kontrolu na overenie jej typu a vykonanie príslušných akcií:

function príklad(hodnota: string | number) {
  if (typeof hodnota === 'string') {
    // Tu TypeScript vie, že hodnota je reťazec
    console.log(hodnota.toUpperCase());
  } else {
    // Tu je hodnota číslo
    console.log(hodnota.toFixed(2));
  }
}

Typová kontrola môže byť implementovaná pomocou operátorov typeof, instanceof alebo vlastných funkcií, ktoré vracajú kontrolu typu.