如何定义TypeScript的ObjCollection类型：索引与对应id字段值一致

算力阿峰

2026-7-9

解决方案

首先保留原始的Obj接口定义：

interface Obj {
  id: string;
}

要实现索引键与对应Obj的id字段值严格匹配的ObjCollection类型，可以通过以下两种方式定义：

方式一：泛型约束的集合类型

定义泛型类型ObjCollection，让集合的每个键Key对应的value类型强制要求id字段等于键本身：

type ObjCollection<K extends string> = {
  [Key in K]: Obj & { id: Key };
};

使用时需要指定集合包含的键字面量联合类型，TypeScript会自动检查每个键对应的id是否匹配：

// 正确示例
const validCollection: ObjCollection<'key1' | 'key2' | 'key3'> = {
  key1: { id: "key1" },
  key2: { id: "key2" },
  key3: { id: "key3" }
};

// 错误示例（TypeScript会报错）
const invalidCollection: ObjCollection<'key1' | 'key2' | 'key3'> = {
  key1: { id: "key1" },
  key2: { id: "key2" },
  key3: { id: "key33333" } // 类型不匹配："key33333" 不能赋值给 "key3"
};

方式二：自动推导的工具函数

如果不想手动指定泛型参数，可以用工具函数让TypeScript自动推导键的类型，同时完成检查：

function createObjCollection<T extends string>(collection: Record<T, Obj & { id: T }>) {
  return collection;
}

// 使用时直接传入对象，TypeScript自动检查并推导类型
const objcollection = createObjCollection({
  key1: { id: "key1" },
  key2: { id: "key2" },
  key3: { id: "key33333" } // 此处会报错，符合预期
});