인프런 커뮤니티 질문&답변

HK님의 프로필 이미지

작성한 질문수

한 입 크기로 잘라먹는 타입스크립트(TypeScript)

분산적인 조건부 타입

분산적인 조건부 타입 섹션 질문

23.06.16 19:01 작성

·

356

0

13:02초에서

type StringNumberSwitch<T> = [T] extends [number] ? string : number;  

let d: StringNumberSwitch<boolean | number | string>;

설명 해주셨는데, 이해가 되지 않아서, d의 타입이 왜 number타입인지 설명해주시면 감사하겠습니다.

 

답변 2

0

김강연님의 프로필 이미지

2023. 07. 22. 18:47

어 저도 뭔가 같은? 이상함을 느껴서 생각해봤는데

number| boolean | string 이 수퍼 타입이에요!!

number| boolean | string extends number는

수퍼타입 extends 서브타입인거에요. 말이 안되죠.

이전에 배운

type a = {
name: string
}

type b = {
name: string;
age: 
}

에서 type a가 수퍼타입, type b가 서브타입이었다는 것 때문에 착각하신 것 같아요.

0

이정환 Winterlood님의 프로필 이미지
이정환 Winterlood
지식공유자

2023. 06. 17. 11:03

안녕하세요 이정환입니다.

T extends number ? ...와 같은 조건부 타입에서

[T] extends [number] ? ...와 같이 extends 양쪽을 모두 대괄호로 감싸주시면 이 조건부 타입은 이제 분산적이지 않은 조건부 타입으로 동작하게 됩니다.

따라서 이때의 d 의 타입 StringNumberSwitch<boolean | number | string>은 다음과 같이 계산됩니다.

  1. 타입변수에 타입 할당 : T = boolean | number | string

  2. 조건식 boolean | number | string extends number은 거짓이 됨

  3. 이 조건부 타입은 조건이 참일 경우 string 거짓일 경우 number 타입을 반환하므로 결과는 number타입이 됨

HK님의 프로필 이미지

작성한 질문수

질문하기