묻고 답해요

OmitThisParameter 두번째 조건부 질문입니다!

미해결

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

안녕하세요! 완전 복잡한 타입 분석하기(bind 편) 5:25을 보다가 궁금한 점이 생겨서 질문드립니다. 아래는 OmitThisParameter 인데요 type OmitThisParameter<T> = unknown extends ThisParameterType<T> ? T : T extends (...args: infer A) => infer R ? (...args: A) => R : T 두번째 조건부 타입에서 ...args 에 왜 this 는 포함되지 않는건가요? T extends (...args: infer A) => infer R ? (...args: A) => R : T 제 개인적인 생각은 ' T 가 첫번째 조건부 타입에서 this 매개변수가 있다는 것이 확인 되었으니까, T 는 (this, ...args) => any 이렇게 생겼을 것이다 라고 컴파일러가 추론(?)해서 바로 ...args 만 추출하는건가??' 인데 제 생각이 맞는 건지 아니면 다른 이유인지 궁금해서 질문 드립니다!

• typescript
• omitthisparameter