TypeScript如何为大型对象保留原始索引并指定值类型？

可以通过泛型辅助函数实现需求：既约束所有值的类型为Animal，又让TypeScript自动推断对象的具体键名，无需手动枚举或逐个断言。

具体实现 #

interface Animal {
    legs: 0 | 1 | 2 | 3 | 4;
}

// 泛型函数：约束输入对象的值必须符合Animal，同时保留键的字面量类型
function createAnimals<T extends Record<string, Animal>>(obj: T) {
    return obj;
}

// 传入对象时，TS会自动检查每个值是否符合Animal，并推断出具体的键类型
const Animals = createAnimals({
    snake: { legs: 0 },
    dog: { legs: 4 },
    bird: { legs: 2 },
    // 更多条目...
});

效果说明 #

1. 类型检查：如果某个值不符合Animal（比如写legs: 5），TypeScript会直接报错，无需手动添加as Animal。
2. 键名安全：Animals的类型会被推断为{ snake: Animal; dog: Animal; bird: Animal; ... }，访问不存在的键（如Animals.birb）会立即触发类型错误，避免拼写失误。
3. 适配大型对象：无需手动枚举所有键名，完全由TS自动推断，适合条目极多的场景。

备选方案（TS 4.9+） #

如果使用TypeScript 4.9及以上版本，也可以用satisfies关键字结合const断言实现：

interface Animal {
    legs: 0 | 1 | 2 | 3 | 4;
}

const Animals = {
    snake: { legs: 0 },
    dog: { legs: 4 },
    bird: { legs: 2 },
} as const satisfies Record<string, Animal>;

这种方式不需要额外定义函数，同样能实现值类型约束和键名的自动推断，但依赖较高版本的TS。

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