TypeScript嵌套属性动态执行时返回交集而非联合类型问题

我为应用全局配置定义了如下TypeScript类型，通过辅助函数typeConfigRecord约束键值对形式的配置结构：

// Base object types
export type Config<D> = {
  fn: ({ option }: { option: D }) => any;
  option: D;
};

export type ConfigRecord<T extends Record<keyof T, any>> = {
  [K in keyof T]: Config<T[K]> & { type: K };
};

// Helper function to type function argument
export const typeConfigRecord = <T extends Record<keyof T, any>>(
  map: ConfigRecord<T>
) => map;

// Actual implementation of type
const configRecord = typeConfigRecord({
  test: {
    type: "test",
    fn: ({ option }) => {
      return option;
    },
    option: "test",
  },
  test2: {
    type: "test2",
    fn: ({ option }) => {
      return option;
    },
    option: 2,
  },
});

直接调用单个配置的fn时，TypeScript能正确推断参数类型：

configRecord.test.fn({ option: "test" }); // 类型推断正常

但通过动态传入type执行时，TypeScript无法关联config.fn的参数类型与config.option的类型，导致参数类型被推断为所有可能值的交集（最终为never），出现类型错误：

const dynamicExecute = (type: keyof typeof configRecord) => {
  const config = configRecord[type];
  return config.fn({ option: config.option }); // Error: option类型为never
};

核心原因 #

问题出在config是联合类型，TypeScript默认无法识别联合类型成员内部属性之间的关联（即每个成员的fn.option类型与自身option类型是匹配的），只能将所有成员的fn.option类型取交集，最终得到never。

解决方案：用泛型保留类型关联 #

将dynamicExecute改为泛型函数，通过泛型参数K绑定具体的配置键，让TypeScript能够追踪到单个配置成员的类型关联：

const dynamicExecute = <K extends keyof typeof configRecord>(type: K) => {
  const config = configRecord[type];
  return config.fn({ option: config.option }); // 类型推断正常，无错误
};

原理说明

泛型参数K会被推断为传入的具体键（比如"test"或"test2"），此时config的类型被收窄为typeof configRecord[K]——这是一个单一类型而非联合类型，TypeScript能明确识别该类型中fn的参数类型与option类型的匹配关系，因此不会再出现类型交集的问题。

备选方案：类型断言（不推荐） #

如果因场景限制无法使用泛型，可通过类型断言强制告诉TypeScript参数类型匹配，但这种方式会丢失类型检查的安全性，仅作为临时 workaround：

const dynamicExecute = (type: keyof typeof configRecord) => {
  const config = configRecord[type];
  return config.fn({ option: config.option as never }); // 用断言绕过检查
};

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