TypeScript函数配置参数内ReturnType类型无法自动推断问题

问题现象 #

实现实体组件系统（ECS）时，定义泛型函数接收全量系统配置对象，通过映射类型实现跨方法类型约束：

• 每个系统配置需包含createComponent方法，返回组件实例
• 每个系统配置需包含run方法，入参类型为同系统下createComponent方法的返回值

现有实现可正常完成类型校验：若手动给run方法的component参数标注不符合要求的类型，TypeScript编译器会正确抛出类型不匹配错误。但编写配置时，component参数无法被自动推断为对应createComponent的返回值类型，默认为隐式any。

核心复现代码如下：

function createEntityComponentSystem<
    Config extends {
        [SystemName in SystemNames]: {
            createComponent: () => Record<string, any>;
            run: (
                component: ReturnType<Config[SystemName]['createComponent']>,
            ) => void;
        }
    },
    SystemNames extends (keyof Config) & string,
>(config: Config) {
    // 实体组件系统实现逻辑
}

createEntityComponentSystem({
    systemA: {
        createComponent: () => ({ x: 0, y: 0 }),
        run: (
            // 此处component未自动推断为{ x: number; y: number }
            // 若手动标注为{ x: string; y: string }，编译器会抛出类型错误
            component,
        ) => {
        },
    }
});

问题成因 #

该问题由TypeScript泛型推断的循环约束触发：
原泛型定义中Config和SystemNames存在相互依赖：Config的映射类型约束遍历SystemNames，SystemNames的约束又取自keyof Config。遇到这类循环泛型约束时，TypeScript不会对传入的对象字面量内部嵌套方法的参数做上下文类型推导，仅会在参数类型被手动标注后执行一致性校验，因此出现「可识别类型错误但无法自动推断正确类型」的现象。

修复方案 #

移除冗余的SystemNames泛型参数，直接在映射类型中使用keyof Config，打破循环依赖即可，修改后的函数定义如下：

function createEntityComponentSystem<
    Config extends {
        [SystemName in keyof Config]: {
            createComponent: () => Record<string, any>;
            run: (
                component: ReturnType<Config[SystemName]['createComponent']>,
            ) => void;
        }
    },
>(config: Config) {
    // 实体组件系统实现逻辑
}

修改后传入配置时，run方法的component参数会被正确推断为同系统createComponent的返回值类型，且原有类型校验能力完全保留。

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