如何解决TypeScript泛型函数参数类型检查报错问题？

你的代码报错核心原因是：start类型定义里的args用了Parameters<FuncsType[keyof FuncsType]>，这会生成一个联合类型[string, string] | [number, number]。TypeScript无法确认传入的args和指定的name对应的函数参数完全匹配，因此会抛出类型不兼容的错误。

正确解决方案：用泛型关联函数名与参数类型 #

通过泛型约束函数名，让TypeScript自动推断对应函数的参数类型，确保类型完全匹配，同时不需要额外的类型断言：

type FuncsType = {
    name1(argv1: string, argv2: string): void;
    name2(argv1: number, argv2: number): void;
};

const functions: FuncsType = {
    name1: (argv1, argv2) => {
        console.log(argv1, argv2);
    },
    name2: (argv1, argv2) => {
        console.log(argv1, argv2);
    }
};

// 泛型T约束为FuncsType的键，args类型自动匹配对应函数的参数
type Start = <T extends keyof FuncsType>(name: T, ...args: Parameters<FuncsType[T]>) => void;

const start: Start = (name, ...args) => {
    functions[name](...args);
};

start("name1", "1", "2"); // 类型检查通过
start("name2", 3, 2);     // 类型检查通过
// start("name1", 1, 2);  // 触发类型错误，符合预期

方案说明 #

1. 泛型T绑定了传入的函数名name，TypeScript会根据具体的name值（比如"name1"），自动推断出FuncsType[T]对应的函数类型。
2. args的类型被约束为Parameters<FuncsType[T]>，确保参数数量、类型和目标函数完全一致。
3. 调用functions[name](...args)时，TypeScript能确认类型匹配，无需额外的类型断言，保持代码的类型安全性。

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