function testFunc(arg: string | number) {
  arg.substring(3); // ts(2339) : Property 'substring' does not exist on type 'string | number'.

  if (typeof arg === "string") {
    // 여기 밑에서 사용하는 arg는 반드시 string type으로 인식합니다.
    arg.substring(3);
  }
}

class Student {
  name: string;
  age: number;
}
class School {
  location: string;
}

function testFunc(arg: Student | School) {
  if (arg instanceof Student) {
    console.log(arg.name); // OK
    console.log(arg.location); // ts(2339) : Property 'location' does not exist on type 'Student'.
  } else {
    // 여기서부터는 arg가 반드시 School 타입으로 인식합니다.
    console.log(arg.location); // OK
  }
}
const student = new Student();
testFunc(student);

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

interface Flower {
  type: string;
  age: number;
}

interface ExampleInfo {
  page: number;
  infoBody: Animal | Flower;
}

// User Defined Type Guards Function
// 인자로 넘어온 값에 name 프로퍼티가 있다면 arg의 타입을 Animal로 인식하게 한다.
function isAnimal(arg: any): arg is Animal {
  return arg.name !== undefined;
  // return 'name' in arg; 라고 표현해도 동일합니다.
}

function doSomething(arg: ExampleInfo) {
  const { page, infoBody } = arg;

  if (isAnimal(infoBody)) {
    // 이 if문 안에서 infoBody의 타입은 반드시 Animal 인터페이스이다.
    console.log(infoBody.name);
  } else {
    // 이 if문 안에서 infoBody의 타입은 반드시 Flower 인터페이스이다.
    console.log(infoBody.type); // OK
    console.log(infoBody.name); // error
  }
}

const puppy: Animal = {
  name: "puppy",
  age: 5,
};
const animalInfo: ExampleInfo = {
  page: 10,
  infoBody: puppy,
};
doSomething(animalInfo);

interface ZeroBody {
  age: 0; // 반드시 0만 가능하다는 의미
  name: string;
}

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

interface Response {
  type: string;
  body: ZeroBody | OtherBody;
}

function isZero(arg: any): arg is ZeroBody {
  return arg.age === 0;
}

function doSomething(arg: Response) {
  const { type, body } = arg;

  if (isZero(body)) {
    console.log(body.age); // 0
  } else {
    // 여기의 body는 OtherBody
    console.log(body.age);
  }
}