Type Narrowing

유니온 타입의 경우 위의 연산을 하려면 조건을 달아주거나 Assert 하거나 해주어야 한다.

 

Type Narrowing

타입이 확실하지 않을 때 생기는 부작용을 막기위한 장치. defensive 하게 코딩한다고 한다.

 

 

Type Assertion

 

변수명 as number -> 함수에 무조건 숫자가 들어올 것임을 알고 있을 때 안전하게 쓸 수 있는 문법.

number로 타입을 변경해주는것은 아니다. 주장만 해주는 것이다.

as를 쓰면 간편하지만 정확히 코드를 쓰려면 narrowing 을 쓰는 것이 좋다.

임시로 에러 해결용으로 사용하거나 어떤 타입이 들어올지 정말 확실하게 알고 있는데 컴파일러 에러가 방해할 때 사용한다.