TypeScript 泛型、keyof 与索引访问

解释泛型如何保留输入输出关系，以及 keyof、约束和索引访问如何安全表达属性操作。

#type / concept #status / evergreen #tech / dev #resource / typescript

[!info] related notes

路线：TypeScript 学习路线

进阶：TypeScript 高级类型

兼容性：TypeScript 结构化类型与函数兼容性

一句话定义

泛型用类型参数表达多个位置之间的关系；keyof 取得对象键的联合，T[K] 取得某个键对应的值类型。

function getProperty<T, K extends keyof T>(object: T, key: K): T[K] {
  return object[key];
}

这里的重点不是“支持任意类型”，而是保留关系：传入哪个键，返回值就得到对应属性的类型。

function idOf<T extends { id: string }>(value: T): string {
  return value.id;
}

extends 在这里表示类型参数必须具备最低能力。约束应只要求实现真正需要的字段。

interface Envelope<TPayload extends Record<string, unknown> = Record<string, never>> {
  payload: TPayload;
}

默认参数让常见调用更简洁；约束保证实现内部可以依赖对象形状。