如何实现键名等于对应值id属性的Typescript Record类型

你之前的写法存在一个问题：传入TMap<string>时泛型参数被拓宽为任意字符串，TS无法校验键名和对象内部id属性的对应关系，约束效果完全失效。有两种更简单且严谨的实现方式：

方案1：借助工具函数自动推导（兼容所有TS版本） #

写一个无额外运行时开销的泛型工具函数，TS会自动根据你传入的对象内容推导泛型参数，不需要手动传入，同时会自动校验键名和id的一致性：

// 仅需要定义一次
function defineIdMap<T extends string>(map: {
  [P in T]: { id: P; date: number; comment: string }
}) {
  return map;
}

// 使用时直接传入对象即可
const myMap = defineIdMap({
  id_1: {
    id: 'id_1',
    date: 1234,
    comment: 'blah'
  },
  id_2: {
    id: 'id_2',
    date: 5678,
    comment: 'boo'
  }
});

如果出现id和键名不匹配的情况，TS会直接抛出类型错误，比如把id_1对应值的id写成id_2就会立刻飘红提示。

方案2：使用satisfies关键字（TS 4.9+支持） #

如果你的项目TS版本在4.9以上，可以用更简洁的satisfies写法，不需要额外定义工具函数：

const myMap = {
  id_1: {
    id: 'id_1',
    date: 1234,
    comment: 'blah'
  },
  id_2: {
    id: 'id_2',
    date: 5678,
    comment: 'boo'
  }
} satisfies Record<PropertyKey, { id: PropertyKey; date: number; comment: string }>;

这种写法会保留myMap的精确类型推导，同时校验结构和id与键的对应关系，写法更简洁。

内容的提问来源于stack exchange，提问作者MarksCode