Czy możesz wyjaśnić, czym jest sprawdzanie typu (Type Guard) i jak jest używane w TypeScript?

Type Guard w TypeScript to sposób na precyzyjne określenie typu zmiennej w czasie wykonywania, aby kompilator mógł bezpiecznie z nią pracować. Type Guard pomaga uniknąć błędów związanych z niewłaściwym użyciem typów.

Na przykład, jeśli masz zmienną, która może być albo ciągiem znaków, albo liczbą, możesz użyć Type Guard, aby sprawdzić jej typ i wykonać odpowiednie działania:

function przykład(wartość: string | number) {
  if (typeof wartość === 'string') {
    // Tutaj TypeScript wie, że wartość jest ciągiem
    console.log(wartość.toUpperCase());
  } else {
    // Tutaj wartość jest liczbą
    console.log(wartość.toFixed(2));
  }
}

Type Guard można zaimplementować za pomocą operatorów typeof, instanceof lub funkcji niestandardowych zwracających sprawdzenie typu.