타입 가드는 런타임에서 특정 타입을 확인하고자 할 때 사용됩니다. 이를 위해선 함수를 정의하고, 해당 값의 타입을 확인하는 조건을 명시해야 합니다.

아래는 유니온 타입 내에서 특정 값이 포함되어 있는지 확인하는 예제 코드입니다.

type Dog = { kind: 'dog', bark: () => void };
type Cat = { kind: 'cat', meow: () => void };
type Pet = Dog | Cat;

function isDog(pet: Pet): pet is Dog {
  return (pet as Dog).kind === 'dog';
}

let pet: Pet = { kind: 'dog', bark: () => console.log('Woof!') };
if (isDog(pet)) {
  pet.bark(); // 컴파일러는 여기서 `bark`를 호출할 때 `pet`이 `Dog` 타입임을 이해합니다.
}

위 코드에서 isDog 함수는 Pet 타입을 입력받아 그 타입이 Dog인지를 확인하는 타입 가드 함수입니다. 함수 내에서 pet의 kind 속성을 확인하여 타입을 추론하고, 해당하는 메서드를 호출할 수 있습니다.

참고 문헌:

• TypeScript Handbook: Advanced Types - Type Guards (https://www.typescriptlang.org/docs/handbook/advanced-types.html#type-guards-and-differentiating-types)