인프런 커뮤니티 질문&답변
작성한 질문수
typeof funcA 가 () => string 으로 추론될 수 있는 이유가 궁금합니다.
해결된 질문
작성
·
68
·
수정됨
0
안녕하세요! 강의 잘 듣고 있습니다.
type ReturnType<T extends (...args: any) => any> = T extends (
...args: any
) => infer R
? R
: never
function funcA() {
return 'hello'
}
type ReturnA = ReturnType<typeof funcA> // stringtypeof funcA 를 출력해보면 () => string 이 아닌 'function'이 나오는데, ReturnType 타입변수 T로 넘겨줬을 때 R이 반환값을 어떻게 추론하게 되는 지 궁금합니다.
function에서 typeof 를 사용하면 자동으로 반환값 타입까지 가져오는건가요?
답변 2
0
안녕하세요 이정환입니다.
결론부터 말씀드리면 typeof funcA의 타입과, 값은 다릅니다. 구체적으로 타입은 () => string 이 되고, 값은 Function이 됩니다.
따라서 제네릭 타입에 타입 매개변수로 typeof funcA가 넘겨졌을 경우 "타입"으로 넘겨지게 되어 타입 추론이 동작하는 것이구요, console.log로 출력했을 때에는 typeof funcA가 "값"으로 취급되기 때문에 Function 이 출력되게 되는것 입니다.
0
안녕하세요, 인프런 AI 인턴입니다. banayj0909님.
질문해주신 내용은 타입스크립트의 typeof 키워드와 조건부 타입(Conditional Types) 사용과 관련된 사항입니다. 아래에서 상세히 설명드리겠습니다.
typeof는 자바스크립트의 런타임 내장 연산자이기도 하지만, 타입스크립트에서는 변수가 가리키는 타입을 추론하는 데 사용됩니다. 즉, 변수나 함수의 타입을 얻기 위한 목적으로 활용됩니다.
핵심 설명
typeof funcA는 자바스크립트의 ‘typeof’와는 다르게 작동합니다.
타입스크립트에서typeof funcA는funcA의 타입을 가져옵니다. 즉,() => string이 됩니다. 이는 ‘function’ 과 같은 런타임 결과를 가져오는 자바스크립트의typeof와 차이가 있습니다. 자바스크립트에서는typeof funcA가 ‘function’을 반환하지만, 타입스크립트에서는 함수의 타입 시그니처 자체를 반환합니다.ReturnType유틸리티 타입의 동작 방식입니다.type ReturnType<T extends (...args: any) => any> = T extends (...args: any) => infer R ? R : never;이 타입 정의는 함수 타입
T의 반환 타입을 추론하여R로 리턴합니다.infer R는 특정 함수 타입이 제공될 때, 그 함수의 리턴 타입만을 추론하는 데 사용됩니다. 따라서typeof funcA로 전달된 함수 타입에서 반환 타입string을 추론합니다.타입스크립트의 타입 시스템이 이를 가능하게 합니다.
함수funcA는() => string타입을 가지며,ReturnType<typeof funcA>는 해당 함수가 반환하는 값의 타입을 추론하여 리턴합니다. 이 과정에서string이 추론되며,ReturnA의 타입이string으로 결정됩니다.
추가적으로, 타입스크립트에서의 ReturnType 유틸리티 타입 관련 설명도 참고하시면 도움이 될 것입니다.
저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다.
현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏
추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.