타입 가드와 타입 좁히기

타입 가드 런타임 확인

유니온이나 unknown 값은 실행 중 확인을 거친 뒤에야 특정 속성과 메서드 접근 범위가 좁아집니다.

typeof

원시값 구분

string, number, boolean 같은 기본 타입은 typeof 분기로 안전하게 좁힙니다.

typeof value
in

속성 존재 확인

객체 유니온에서는 특정 속성이 있는지 확인해 가능한 타입을 구분합니다.

"kind" in x
판별 속성

상태별 모델

공통 kind 값을 기준으로 성공, 실패, 로딩 같은 상태를 명확히 나눕니다.

kind
사용자 가드

검사 함수 재사용

복잡한 확인 로직은 value is Type 반환 형태로 묶어 여러 곳에서 재사용합니다.

isUser