为何TypeScript中参数不匹配的泛型函数未触发编译错误？

为什么没有触发编译错误？ #

TypeScript的函数类型兼容性规则允许参数更少的函数赋值给需要更多参数的函数，这是因为JavaScript中调用函数时多余的参数会被自动忽略，属于语言本身的特性。

在你的代码中，DescribableFunction<(a: number) => boolean>的调用签名是(...args: [number]) => boolean，而doSomething要求的DescribableFunction<(a: number, b: string) => boolean>的调用签名是(...args: [number, string]) => boolean。根据TS规则，前者可以兼容后者，因为调用时传入的第二个参数会被忽略，不会导致运行时错误。

如何实现严格的参数个数检查？ #

要强制要求函数参数个数完全匹配，需要修改泛型定义方式，直接用参数元组约束，而非通过Parameters<T>推导。

修改后的基础版本代码 #

// 直接用参数元组A和返回值R定义可描述函数类型
type DescribableFunction<A extends any[], R> = {
  (...args: A): R;
  description: string;
};

function doSomething(fn: DescribableFunction<[number, string], boolean>) {
  console.log(fn.description + " returned " + fn(6, "6"));
}

function makeDescriptibleFun<A extends any[], R>(
  desc: string,
  fn: (...args: A) => R
): DescribableFunction<A, R> {
  const wrappedFn = (...args: A) => fn(...args);
  return Object.assign(wrappedFn, { description: desc });
}

const a = makeDescriptibleFun("valid", (a: number, b: string) => true);
// 触发编译错误：类型“(a: number) => boolean”的参数不能赋给类型“(...args: [number, string]) => boolean”的参数
const b = makeDescriptibleFun("invalid", (a: number) => false);

doSomething(a);
// 触发编译错误：类型“DescribableFunction<[number], boolean>”的参数不能赋给类型“DescribableFunction<[number, string], boolean>”的参数
doSomething(b);

适配Promise场景的修改 #

如果要支持Promise，只需调整返回值类型：

type DescribableFunction<A extends any[], R> = {
  (...args: A): Promise<R>;
  description: string;
};

function doSomething(fn: DescribableFunction<[number, string], boolean>) {
  console.log(fn.description + " returned " + fn(6, "6").then(console.log));
}

function makeDescriptibleFun<A extends any[], R>(
  desc: string,
  promiseFn: (...args: A) => Promise<R>
): DescribableFunction<A, R> {
  const wrappedFn = async (...args: A) => await promiseFn(...args);
  return Object.assign(wrappedFn, { description: desc });
}

const a = makeDescriptibleFun("valid", (a: number, b: string) => Promise.resolve(true));
// 触发编译错误
const b = makeDescriptibleFun("invalid", (a: number) => Promise.resolve(false));

doSomething(a);
// 触发编译错误
doSomething(b);

关键点说明 #

• 通过直接使用参数元组A extends any[]，强制函数的参数个数和类型完全匹配，规避了TS默认的宽松参数兼容性。
• 这种方式明确区分了不同参数数量的函数类型，从而在doSomething(b)时触发预期的编译错误。

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