强制一个字段的类型以仅包含其他字段数组中的键

type ExtractKeys<T extends any[]> = {
  [K in keyof T[number]]: K;
};

type OnlyKeys<T extends any[]> = ExtractKeys<T>[keyof T[number]];

type ExtractFields<T extends any[], K extends keyof T[number]> = {
  [P in K]: T[number][P];
};

type RestrictFieldType<T extends any[], K extends keyof T[number]> = {
  [P in keyof ExtractFields<T, K>]: OnlyKeys<T>;
};

// 示例数据
const data = [
  { id: 1, name: 'John', age: 25 },
  { id: 2, name: 'Jane', age: 30 },
];

// 限制 name 字段的类型仅包含其他字段的键
type RestrictedData = RestrictFieldType<typeof data, 'name'>;

// RestrictedData 的类型为 { name: "id" | "name" | "age" }