TypeScript嵌套关联联合类型在泛型函数中存在类型推断错误

我明白你遇到的问题了——在嵌套泛型函数里，TypeScript没法正确关联配置项里fn的参数类型和option的类型，导致出现交集类型的错误。这本质是因为当selectedRecord[type]返回的是联合类型时，TypeScript对函数参数的逆变处理会把多个fn的参数类型合并成交叉，最终和option的联合类型不匹配。

咱们一步步来解决这个问题：

问题根源拆解 #

当你在dynamicExecute里获取config = selectedRecord[type]时，config的类型是多个Config子类型的联合（比如Config<string> & {type: "test"} | Config<number> & {type: "test2"}）。而TypeScript里，联合类型的函数参数会遵循逆变规则：多个函数的参数类型会被相交（比如{option: string} & {option: number}最终变成{option: never}），这就导致config.option的联合类型（string | number）无法赋值给这个交集类型，从而报错。

解决方案1：用辅助函数明确类型关联 #

最优雅的方式是写一个小的辅助函数，让TypeScript能精准追踪Config<D>里fn和option的类型关联：

// 辅助函数：专门处理单个Config的执行，明确泛型D的关联
const executeSingleConfig = <D>(config: Config<D>) => {
  return config.fn({ option: config.option });
};

const dynamicLogic = <S extends keyof typeof configRecordMap>(variant: S) => {
  const selectedRecord = configRecordMap[variant];
  const dynamicExecute = <K extends keyof typeof selectedRecord>(type: K) => {
    const config = selectedRecord[type];
    // 交给辅助函数处理，TypeScript能正确推断D的类型
    return executeSingleConfig(config);
  };
  return dynamicExecute;
};

这个方法利用辅助函数的泛型D，把单个Config的类型绑定起来，让TypeScript清楚知道fn的参数option就是当前config.option的类型，完美解决类型不匹配的问题。

解决方案2：类型断言快速修复 #

如果你不想新增辅助函数，也可以用类型断言直接告诉TypeScript当前fn的参数类型：

const dynamicLogic = <S extends keyof typeof configRecordMap>(variant: S) => {
  const selectedRecord = configRecordMap[variant];
  const dynamicExecute = <K extends keyof typeof selectedRecord>(type: K) => {
    const config = selectedRecord[type];
    // 断言fn的参数类型和当前config.option一致
    return (config.fn as (args: { option: typeof config.option }) => any)({ option: config.option });
  };
  return dynamicExecute;
};

这种方式更直接，但可读性稍差，适合快速调试场景。

额外优化：让配置类型更精准 #

另外，你之前定义的typeConfigRecordMap其实可以简化，让TypeScript自动推断更精准的类型，不需要额外的泛型约束：

// 去掉原来的ConfigRecordMap和typeConfigRecordMap，直接让TS推断类型
const configRecordMap = {
  table: tableConfig,
  default: defaultConfig
} as const;

加上as const可以让TypeScript把每个配置的类型推断成字面量类型，进一步提升类型检查的准确性。

备注：内容来源于stack exchange，提问作者Sebastiaan