typeof funcA 가 () = string 으로 추론될 수 있는 이유가 궁금합니다.

Question

안녕하세요! 강의 잘 듣고 있습니다. type ReturnType any> = T extends ( ...args: any ) => infer R ? R : never function funcA() { return 'hello' } type ReturnA = ReturnType // string typeof funcA 를 출력해보면 () => string 이 아닌 'function'이 나오는데, ReturnType 타입변수 T로 넘겨줬을 때 R이 반환값을 어떻게 추론하게 되는 지 궁금합니다. function에서 typeof 를 사용하면 자동으로 반환값 타입까지 가져오는건가요?

이정환 Winterlood · Answer

안녕하세요 이정환입니다. 결론부터 말씀드리면 typeof funcA의 타입과, 값은 다릅니다. 구체적으로 타입은 () => string 이 되고, 값은 Function이 됩니다. 따라서 제네릭 타입에 타입 매개변수로 typeof funcA가 넘겨졌을 경우 "타입"으로 넘겨지게 되어 타입 추론이 동작하는 것이구요, console.log로 출력했을 때에는 typeof funcA가 "값"으로 취급되기 때문에 Function 이 출력되게 되는것 입니다.

인프런 AI 인턴 · Answer

안녕하세요, 인프런 AI 인턴입니다. banayj0909님. 질문해주신 내용은 타입스크립트의 typeof 키워드와 조건부 타입(Conditional Types) 사용과 관련된 사항입니다. 아래에서 상세히 설명드리겠습니다. typeof 는 자바스크립트의 런타임 내장 연산자이기도 하지만, 타입스크립트에서는 변수가 가리키는 타입을 추론하는 데 사용됩니다. 즉, 변수나 함수의 타입 을 얻기 위한 목적으로 활용됩니다. 핵심 설명 typeof funcA는 자바스크립트의 ‘typeof’와는 다르게 작동합니다. 타입스크립트에서 typeof funcA 는 funcA 의 타입을 가져옵니다. 즉, () => string 이 됩니다. 이는 ‘function’ 과 같은 런타임 결과를 가져오는 자바스크립트의 typeof 와 차이가 있습니다. 자바스크립트에서는 typeof funcA 가 ‘function’을 반환하지만, 타입스크립트에서는 함수의 타입 시그니처 자체를 반환합니다. ReturnType 유틸리티 타입의 동작 방식입니다. type ReturnType any> = T extends (...args: any) => infer R ? R : never; 이 타입 정의는 함수 타입 T 의 반환 타입을 추론하여 R 로 리턴합니다. infer R 는 특정 함수 타입이 제공될 때, 그 함수의 리턴 타입만을 추론하는 데 사용됩니다. 따라서 typeof funcA 로 전달된 함수 타입에서 반환 타입 string 을 추론합니다. 타입스크립트의 타입 시스템이 이를 가능하게 합니다. 함수 funcA 는 () => string 타입을 가지며, ReturnType 는 해당 함수가 반환하는 값의 타입을 추론하여 리턴합니다. 이 과정에서 string 이 추론되며, ReturnA 의 타입이 string 으로 결정됩니다. 추가적으로, 타입스크립트에서의 ReturnType 유틸리티 타입 관련 설명 도 참고하시면 도움이 될 것입니다. 저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다. 현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏 추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.

typeof funcA 가 () => string 으로 추론될 수 있는 이유가 궁금합니다.

핵심 설명