TypeScript 제네릭 함수에서 반환 타입이 자꾸 unknown으로 무너집니다

Question

키로 값을 꺼내는 유틸을 만들었는데 호출부 타입이 unknown입니다.

function get<T, K extends keyof T>(obj: T, key: K) { return obj[key] }
const user = { id: 1, name: 'kim' }
const n = get(user, 'name')   // 기대: string, 실제: 잘 됨

// 그런데 이건 무너짐
function pick<T>(obj: T, keys: string[]) { /* ... */ }
const picked = pick(user, ['name'])  // unknown

두 번째처럼 동적인 경우 타입을 어떻게 살리나요?

김영삼 · Accepted Answer

핵심은 제네릭 파라미터가 실제 인자로부터 추론되도록 시그니처를 짜는 것입니다. keys: string[]로 받으면 정보가 string으로 넓어져 타입이 무너집니다. keys도 제네릭으로 묶어 keyof로 좁히세요. function pick(obj: T, keys: K[]): Pick { const out = {} as Pick for (const k of keys) out[k] = obj[k] return out } const picked = pick(user, ['name']) // { name: string } ✅ 포인트: K extends keyof T로 키를 리터럴 유니온으로 좁힘 → 'name'이 string으로 넓어지지 않음 반환을 Pick로 명시해 추론을 고정 만약 호출 시 ['name']이 string[]로 추론돼 여전히 무너지면, as const로 리터럴

댓글 0