타입을 명시적으로 작성하지 않았을 때 타입 추론을 하게 된다.

• 배열은 기본 적으로 하나의 타입만 들어가는 경우 우리가 예상한 대로 추론이 되고 여러 타입이 섞이는 경우 유니온 타입으로 추론이 된다.
• 유니온 타입의 단점은 꺼내 사용할 때 분기를 쳐야 된다는 것이다.

interface Person {
  name: string;
  age: number;
}

interface Car {
  brand: string;
  wheel: number;
}

function hello(obj: Person | Car) {
  
}

• 이 상황에서 obj를 가지고 자동 완성의 도움을 받을 수 없다.
• 이럴 때에 if 로 분기를 해서 분별해야 하는데 JS 문법으로는 타입 스크립트의 타입을 확인할 수가 없다.
  • typeof, incetanceof 를 사용할 수 없는 것이다.
• 이 때에 사용하는 것이 타입가드이다.

interface Person {
  name: string;
  age: number;
}

interface Car {
  brand: string;
  wheel: number;
}

function isPerson(arg: any): arg is Person {
  return arg.name !== undefined;
}

function isCar(arg: any): arg is Car {
  return arg.wheel !== undefined;
}

function hello(obj: Person | Car) {
  if (isPerson(obj)) {
    console.log(obj.name);
  }

  if (isCar(obj)) {
    console.log(obj.brand);
  }
}

• 타입을 추론하는 함수를 위와 같은 방식으로 만들 수 있다.