[Korean FE Article] 전문가처럼 타입스크립트 infer 사용하기
글 링크: https://bit.ly/3MWz5Ce
소개
타입스크립트에서 infer를 사용해보신적이 있나요? 혹시 infer에 대해 모르시거나 알더라도 아직 미숙하시다면 이 글을 읽어보시면 좋습니다. infer를 활용하는 팁과 타입스크립트 4.7에서 추가된 기능까지 함께 살펴볼 수 있습니다 :)
tl;dr
infer는 조건부 타입의 extends 절에서만 사용할 수 있고, infer로 선언된 타입 변수는 조건부 타입의 true 분기에서만 사용할 수 있다는 것을 유의
공변(covariant) 위치에 동일한 타입 변수에 대한 후보가 여러 개 있는 경우에는 최종 타입이 union 타입으로 유추
타입스크립트 4.7을 사용하면 infer 타입에 선택적 extends 절을 추가해서 타입 변수에 대한 명시적 제약 조건을 지정