OmitThisParameter 관련 질문이요.

22.09.04 14:53 작성 조회수 136

OmotThisParameter 에서 첫번째 삼항식은 이해했는데요. 두번째 삼항식 까지 있어야 하는 이유가 무엇일까요?

infer로 파라미터와 리턴 값 타입추론에 실패했을때의 케이스 때문인것 같은데요.

일반적인 함수 타입추론 케이스에서 파라미터와 리턴 타입 추론에 실패하는 경우가 있을수 있기 때문 일까요?

[리뉴얼] 타입스크립트 올인원 : Part1. 기본 문법편

완전 복잡한 타입 분석하기(bind 편)

강의실 바로가기

답변 1

답변을 작성해보세요.

조현영

2022.09.04

infer는 항상 삼항연산자가 있어야 합니다. 첫 번째 삼항식은 extends 여부에 대한 것이고, 두 번째 삼항식은 infer 성공 여부에 따른 것입니다. 실패할 경우 T가 되는 것인데 실패할 케이스는 없더라도 반드시 적어야 합니다.

김의중

2022.09.05

infer 추론이 실패할 수도 있기 때문에 삼항 연산자가 문법적으로 반드시 있어야 하나 보네요. 감사합니다 ~!