목록CFA (1)

개발자일지

TypeScript 초보를 위한 CFA 설명: null 체크부터 Discriminated Union까지

제어흐름분석(CFA)란?타입스크립트의 제어흐름분석(Control Flow Analysis)은 코드의 실행 흐름을 추적하여 특정 시점의 변수 타입을 더 좁고 정확하게 추론하는 기능이다. 이 기능을 통해 typeof, instanceof, in 연산자 같은 타입 가드(Type Guard)를 사용하면, 컴파일러가 코드가 실행되는 특정 경로에서 변수의 타입을 제한하여 더 안전한 코드를 작성할 수 있도록 한다. 쉽게 말해 TypeScript 컴파일러가 if, else, switch, try-catch 같은 제어문 흐름을 따라가면서 변수의 가능한 타입을 점점 더 정확하게 추적하는 기능이며, 이 기능으로 인해 개발자가 직접 타입을 지정하지 않아도, 컴파일러가 알아서 "여기서는 이 타입만 가능하다"라고 이해한다. ..
개발 지식모음/ReactJS&TypeScript 2025. 9. 11. 16:46
이전 Prev 1 Next 다음