해결된 질문
작성
·
134
0
타입 좁히기 강의 수강 중 궁금한 점이 있어 질문드립니다.
아래와 같이 맨 마지막 else if문에서
typeof value === "Date5"로 말도 안되는 값을 사용하여
타입 좁히기를 하였는데 value값이 정상적으로 Date 타입으로 추론이 되고 있는데 어떤 이유 때문인지 궁금합니다.
const func = (value: number | string | Date | null) => {
if (typeof value === "number") {
value.toFixed(2);
} else if (typeof value === "string") {
value.toUpperCase();
} else if (typeof value === "Date5") {
value.getDay();
}
};
답변 2
1
안녕하세요 이정환입니다.
우선 해당 코드는 오류가 발생하고 있는 코드로 정상적인 타입 추론은 물론 동작도 보장할 수 없는 상태라는 점을 감안하고 봐 주시면 감사하겠습니다.
TypeScript 컴파일러는 마지막 else if 문이 참이 되었을 때 적어도 value의 타입이 null은 아닐거라고 예상할 수 있습니다. null이었다면 typeof value가 "object"가 되어야 할 테니까요 그러므로 Date | null에서 좁혀져 Date로 추론된다고 이해하시면 될 것 같습니다.
0