Conditional Types

TS 2.8에 나온 조건부 타입 정리하기.

타입스크립트 2.8에 non-uniform type mappings을 표현하기 위해 조건부 타입이 있다. 타입 관계 테스트로 표현된 조건을 기반으로, 조건부 타입은 2가지 가능성 있는 타입 중 한가지를 선택한다.

T extends U ? X : Y

T가 U에 할당가능할 때, 타입은 X고, 그렇지 않으면 Y다.

위 조건부 타입은 X or Y로 리졸브된다. 혹은 그 결정을 미룰 수 있다. 왜냐하면 조건은 1가지 이상의 타입 변수에 의존하기 때문이다. 리졸브 하거나 미룰지는 다음조건에 따라 결정된다.