🥊 타입 단언

타입스크립트 컴파일러는 타입 표기, 타입 좁히기와 타입 추론 등의 기법을 이용해 값의 타입을 판단한다. 하지만 때로는 컴파일러가 가진 정보를 무시하고 프로그래머가 원하는 임의의 타입을 값에 할당하고 싶을 수 있다. 이럴 때 필요한 것이 바로 타입 단언 (type assertion)이다.

즉 타입스크립트 보다 내가 더 타입을 잘 알고 있다! 라고 하는 것

키워드는 as 이다.

기본 사용 예제

let a; // let a:any

a = 10;
b = 'abc'

let b = a // let b:any;

let b = a as string;

활용

DOM API 조작

let div = document.querySelector('div')// let div: HTMLDivElement | null

div.innerText;
//~~~ null 에는 innerText 라는 함수가 없어요!

let div = document.querySelector('div') as HTMLDivElement // let div: HTMLDivElement

div.innerText;

→ 타입 단언은 돔 조작 이나 필히 필요한 경우를 제외하고는 사용을 최대한 적게 하는게 좋다.

타입 캐스팅(<Type>) vs 타입 단언(as)

	타입 캐스팅	타입 단언
사용 예제	`(<Dog>character).bark();`	`(character as Dog).bark();`
컴파일 타임에 영향	O	O
런타임에 영향	O	X

→ 타입 단언을 "타입 캐스팅(type casting)"이라 부르지 않는 이유는 일반적으로 캐스팅 이란 말은 실행 시간에 어떤 동작이 일어날 것임을 내포하기 때문입니다. 하지만 "타입 단언(type assertions)"은 순수하게 컴파일 시간 구성물이고 당신의 코드가 어떤 식으로 분석되길 원하는지 컴파일러에게 힌트를 제공하는 수단입니다.

→ 타입 캐스팅 보다는 타입 단언을 사용하는 편이 나을 수 있습니다.(JSX 를 사용할 경우 특히)