TypeScript 如何根据对象数组属性值动态推断关联对象键类型

核心结论 #

TypeScript的静态类型系统有明确的边界：如果把类型定义里的name写死为宽泛的string类型，是没办法从运行时传入的对象实例中，反向把具体的字面量取值提取成另一个对象的键类型的。
但我们可以通过调整类型定义结构、配合TS的字面量推断机制，实现完全匹配需求的效果：不需要手动写KeyName联合类型、不需要手动传泛型参数，TS会自动根据你传入的foo数组里的name值，强制约束bar的键必须是所有出现过的name字面量的联合。 #

具体实现方案 #

• 用泛型透传字面量信息，不要写死宽泛类型
  基础类型不要直接定义name: string，要通过泛型把具体的字面量类型保留下来，不要让TS把取值放宽成任意字符串：

interface Foo<T extends string = string> {
  name: T;
}

• 给关联对象类型加上泛型链路
  把原来写死的Example改成带泛型的结构，让类型推导的链路可以从foo顺着传递到bar：

interface Example<T extends string = string> {
  foo: Foo<T>[];
  // 直接把泛型T作为bar的键类型
  bar: Record<T, string>;
}

• 用辅助函数触发自动泛型推断，跳过手动传参的步骤
  这是最关键的一步：如果直接写const example: Example = {...}，TS会把泛型T自动填充为默认的string，直接丢失所有字面量信息。我们可以写一个极简的泛型函数，让TS在传入配置对象的时候，自动推导出泛型T的具体取值：

// 不需要手动指定T的类型，TS会从传入的config里自动推导
function createExample<T extends string>(config: Example<T>) {
  return config;
}

实际使用效果 #

按照上面的写法，完全不需要手动定义KeyName、也不需要手动传泛型参数，TS会自动完成所有约束：

const example = createExample({
  foo: [
    { name: 'baz' },
  ],
  // TS会自动提示这里的键必须是'baz'，值必须是string
  bar: {
    baz: 'abc'
  }
});

类型校验的规则完全和需求一致：

• 如果foo里出现了name: 'baz'，但bar里没写baz键，TS会直接提示缺属性
• 如果bar里写了foo中从没出现过的键（比如bar: { other: 'xxx' }），TS会提示对象字面量存在未知属性
• 如果值的类型不是string，TS也会正常报错

为什么不调整类型定义就无法实现需求 #

如果完全沿用最初无泛型的类型写法：

interface Foo {
  name: string;
}
type Bar = Record<???, string>;
interface Example {
  foo: Foo[];
  bar: Bar;
}

这种结构下TS根本做不到自动推导：因为Foo接口中把name的类型直接定义为宽泛的string，TS在编译阶段就不会再追踪你在具体对象实例里写的'baz'、'aaa'这些字面量值——这些信息在类型定义写死成string的那一刻就已经丢失了，根本没办法反向提取出来作为Bar的键。

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