PART 03. 타입 좁히기와 타입 가드
TypeScript가 강력한 이유 중 하나는 런타임 조건을 분석해 타입을 자동으로 좁혀주는 제어 흐름 분석입니다. 이 PART에서는 컴파일러가 어떻게 타입을 좁히는지 이해하고, 직접 타입 가드를 만드는 방법까지 익힙니다.
이 PART에서 배우는 것
- typeof와 instanceof로 기본 타입 가드 작성하기
- 판별 유니온으로 복잡한 분기 처리하기
- is와 asserts 키워드로 커스텀 타입 가드 만들기
- never 타입으로 완전성 검사(exhaustive check) 구현하기
- as와 as const를 올바르게 사용하고 남용 피하기
챕터 구성
| 챕터 | 제목 | 핵심 개념 |
|---|---|---|
| Ch 01 | typeof와 instanceof | 기본 타입 가드, 제어 흐름 분석 |
| Ch 02 | 판별 유니온 | discriminated unions, 공통 필드 분기 |
| Ch 03 | 사용자 정의 타입 가드 | is 키워드, asserts 키워드 |
| Ch 04 | never 타입과 완전성 검사 | exhaustive check, switch 누락 방지 |
| Ch 05 | 타입 단언과 as const | as 올바른 사용법, const assertion |