Ключ и тип поля

export function prop<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}

const user = { name: "Макс", age: 30 };

export const age: number = prop(user, "age");
export const name: string = prop(user, "name");

// @ts-expect-error
export const email = prop(user, "email");

Эта сигнатура встречается в TypeScript едва ли не чаще всех остальных. Разберём по частям:

• T это тип объекта, выводится из obj.
• K extends keyof T это ключ, причём только один из ключей T. Для user это "name" | "age".
• T[K] это тип поля по этому ключу.

Как выводится K

При вызове prop(user, "age") TypeScript выводит K не как string, а как литерал "age". Ограничение extends keyof T просит литеральный тип, и компилятор его сохраняет. Дальше T["age"] раскрывается в number.

prop(user, "age");   // K = "age",  результат number
prop(user, "name");  // K = "name", результат string
prop(user, "email"

Почему не просто keyof T

Можно написать key: keyof T без отдельного K:

function prop<T>(obj: T, key: keyof T): T[keyof T] {

Компилироваться будет, но результат станет объединением типов всех полей. Связь с конкретным ключом теряется, потому что keyof T это все ключи сразу. Отдельный параметр K запоминает, какой именно ключ передали.