타입 가드 (Type Guards)

📌 한 줄 통찰 (The Karpathy Summary)

타입 가드(Type Guards)는 TypeScript에서 unknown 변수나 유니온(Union) 타입 변수의 실제 타입을 안전하게 판별하고 확신할 수 있게 해주는 기법입니다 [1, 2]. 이를 통해 TypeScript의 제어 흐름 분석(Control Flow Analysis)이 실행되어, 특정 조건문 블록 내에서 변수의 가능한 타입을 좁혀(Narrowing) 안전하게 속성에 접근할 수 있도록 돕습니다 [2, 3].

📖 구조화된 지식 (Synthesized Content)

기본 타입 가드 (Built-in Type Guards):
- typeof 검사: typeof v === "typename" ("number", "string", "boolean", "symbol" 등)과 같은 형태를 평가하여 TypeScript가 해당 스코프 내에서 타입을 자동으로 좁힙니다 [2, 3].
- instanceof 검사: 우변에 생성자 함수를 두어 해당 객체가 특정 프로토타입에 속하는지 확인하고 타입을 좁힙니다 [2, 3].
- in 연산자 및 동등성 검사: 객체 내 특정 속성의 존재 여부(in)나 값의 동등성을 검사하여 타입을 좁히는 데 활용할 수 있습니다 [3, 4].
사용자 정의 타입 가드 (Custom Type Guards / Type Predicates):
- 일반 함수와 유사하지만, 반환 타입에 is 키워드를 사용하는 특수한 구문(예: pet is Fish, value is Positive)을 갖는 함수를 정의할 수 있습니다 [2, 5].
- 이러한 함수(타입 서술어)가 런타임에 참(true)을 반환하면, TypeScript 타입 시스템은 조건문 내부에서 해당 파라미터가 명시된 타입이라고 인지하고 타입을 좁힙니다 [2, 5].
- 주의점: TypeScript는 타입 서술어 함수의 내부 로직이 실제로 해당 타입의 의도를 정확히 따르는지 검증하지 않습니다 [5]. 따라서 코드를 작성하는 개발자가 로직의 정확성을 전적으로 책임져야 하며, 잘못 작성될 경우 as 단언문(assertion)보다 크게 더 안전하지 않을 수 있습니다 [5].
사용 목적:
- unknown 타입의 데이터를 다루거나, 여러 타입이 섞인 유니온 타입(Union Types)을 처리할 때 반복적인 타입 단언(Type Assertions)을 피하고 예측 가능한 코드를 작성하기 위해 사용됩니다 [1, 2].

⚠️ 모순 및 업데이트 (Contradictions & RL Update)

과거 데이터와의 충돌: 자동화 엔진에 의해 매핑된 지식으로, 추후 정밀 검증 필요.
정책 변화: Design & Experience 분야의 자동 자산화 수행.

🔗 지식 연결 (Graph)

Related Topics: Type Narrowing, Union Types, Type Predicates, unknown type
Projects/Contexts: 외부 API의 불확실한(unknown) 데이터 검증 로직, 복잡한 유니온 타입 분기 처리
Contradictions/Notes: 사용자 정의 타입 가드는 타입 좁히기에 매우 유용하지만, TypeScript가 내부 판별 로직의 논리적 오류를 잡아주지 못하기 때문에 개발자의 부주의로 인해 타입 안정성이 훼손될 위험이 존재합니다 [5].

Last updated: 2026-04-18

Raw Source: 00_Raw/2026-04-20/타입 가드 (Type Guards).md

3.4 KiB Raw Blame History

타입 가드 (Type Guards)

📌 한 줄 통찰 (The Karpathy Summary)

📖 구조화된 지식 (Synthesized Content)

⚠️ 모순 및 업데이트 (Contradictions & RL Update)

🔗 지식 연결 (Graph)

3.4 KiB

Raw Blame History