인프런 커뮤니티 질문&답변
작성한 질문수
분산적인 조건부 타입 섹션 질문
작성
·
361
0
13:02초에서
type StringNumberSwitch<T> = [T] extends [number] ? string : number;
let d: StringNumberSwitch<boolean | number | string>;설명 해주셨는데, 이해가 되지 않아서, d의 타입이 왜 number타입인지 설명해주시면 감사하겠습니다.
답변 2
0
어 저도 뭔가 같은? 이상함을 느껴서 생각해봤는데
number| boolean | string 이 수퍼 타입이에요!!
number| boolean | string extends number는
수퍼타입 extends 서브타입인거에요. 말이 안되죠.
이전에 배운
type a = {
name: string
}
type b = {
name: string;
age:
}에서 type a가 수퍼타입, type b가 서브타입이었다는 것 때문에 착각하신 것 같아요.
0
이정환 Winterlood
지식공유자
안녕하세요 이정환입니다.
T extends number ? ...와 같은 조건부 타입에서
[T] extends [number] ? ...와 같이 extends 양쪽을 모두 대괄호로 감싸주시면 이 조건부 타입은 이제 분산적이지 않은 조건부 타입으로 동작하게 됩니다.
따라서 이때의 d 의 타입 StringNumberSwitch<boolean | number | string>은 다음과 같이 계산됩니다.
타입변수에 타입 할당 :
T = boolean | number | string조건식
boolean | number | string extends number은 거짓이 됨이 조건부 타입은 조건이 참일 경우 string 거짓일 경우 number 타입을 반환하므로 결과는 number타입이 됨