Můžete vysvětlit, co je to kontrola typu (Type Guard) a jak se používá v TypeScriptu?

Typová kontrola (Type Guard) v TypeScript je způsob, jak upřesnit typ proměnné za běhu, aby s ní mohl kompilátor bezpečně pracovat. Typová kontrola pomáhá zabránit chybám spojeným s nesprávným použitím typů.

Například pokud máte proměnnou, která může být buď řetězec, nebo číslo, můžete použít typovou kontrolu k ověření jejího typu a provedení odpovídajících akcí:

function příklad(hodnota: string | number) {
  if (typeof hodnota === 'string') {
    // Zde TypeScript ví, že hodnota je řetězec
    console.log(hodnota.toUpperCase());
  } else {
    // Zde je hodnota číslo
    console.log(hodnota.toFixed(2));
  }
}

Typová kontrola může být implementována pomocí operátorů typeof, instanceof nebo vlastních funkcí, které vracejí kontrolu typu.