如何定义引用子对象键的TypeScript对象类型？

AI 小北

2026-6-15

用TypeScript泛型实现Config的类型关联

你需要让makeReference的参数与form的字段严格绑定，获得类型安全提示，核心是通过泛型把form的结构和txn的函数参数关联起来，具体实现如下：

步骤1：定义泛型Config类型

先明确Form字段的基础类型，再用泛型捕获form的具体结构：

// 定义单个表单字段的类型
type FormField = { type: "string"; pattern: RegExp } | { type: "number" };

// 泛型Config，T代表form的具体结构
type Config<T extends Record<string, FormField>> = {
  txn: {
    // 映射form的字段，生成对应类型的参数（string/number）
    makeReference: (formObj: { 
      [K in keyof T]: T[K]["type"] extends "string" ? string : number 
    }) => string;
  };
  form: T;
};

步骤2：创建带类型安全的Config实例

可以用satisfies关键字让TypeScript自动推导泛型参数，同时保证类型合规：

const config = {
  txn: {
    makeReference: (keys) => `${keys.accountId}_${keys.subjectId}`,
    // 此时keys会自动提示accountId、subjectId、age，且类型分别为string、string、number
    // 写错键名或用错类型会直接报错
  },
  form: {
    accountId: { type: "string", pattern: /\w+/ },
    subjectId: { type: "string", pattern: /\w+/ },
    age: { type: "number" },
  }
} satisfies Config<typeof config.form>;

或者用工厂函数更直观：

function createConfig<T extends Record<string, FormField>>(config: Config<T>) {
  return config;
}

const config = createConfig({
  txn: {
    makeReference: (keys) => `${keys.accountId}_${keys.subjectId}`,
  },
  form: {
    accountId: { type: "string", pattern: /\w+/ },
    subjectId: { type: "string", pattern: /\w+/ },
    age: { type: "number" },
  }
});