인프런 커뮤니티 질문&답변
작성한 질문수
OmitThisParameter 관련 질문이요.
작성
·
242
0
OmotThisParameter 에서 첫번째 삼항식은 이해했는데요. 두번째 삼항식 까지 있어야 하는 이유가 무엇일까요?
infer로 파라미터와 리턴 값 타입추론에 실패했을때의 케이스 때문인것 같은데요.
일반적인 함수 타입추론 케이스에서 파라미터와 리턴 타입 추론에 실패하는 경우가 있을수 있기 때문 일까요?
답변 1
1
제로초(조현영)
지식공유자
infer는 항상 삼항연산자가 있어야 합니다. 첫 번째 삼항식은 extends 여부에 대한 것이고, 두 번째 삼항식은 infer 성공 여부에 따른 것입니다. 실패할 경우 T가 되는 것인데 실패할 케이스는 없더라도 반드시 적어야 합니다.
infer 추론이 실패할 수도 있기 때문에 삼항 연산자가 문법적으로 반드시 있어야 하나 보네요. 감사합니다 ~!