TypeScript泛型函数返回同行为函数报错问题解析与解决

错误原因解析 #

你遇到的错误本质是TypeScript泛型系统的严格类型检查导致的：

Type '(...args: any[]) => any' is not assignable to type 'T'.
'(...args: any[]) => any' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'Function'.

简单来说，你定义的泛型T是Function的子类型，但返回的run函数类型是宽泛的(...args: any[]) => any——虽然它符合Function的基础约束，但TypeScript无法保证它和具体传入的T完全一致。比如如果传入的T是一个带有额外属性的函数对象（比如给函数添加了自定义属性），run函数没有这些属性，就无法满足T的类型要求。TypeScript不会假设T只是普通函数，而是要确保返回值完全匹配T的所有特征。

解决方法 #

方法一：精确泛型定义函数签名 #

直接用泛型参数描述函数的参数列表和返回值，让TypeScript能精确推断类型，无需类型断言：

export function create<Args extends any[], Return>(func: (...args: Args) => Return): (...args: Args) => Return {
  function run(...args: Args) {
    // 这里可以添加你的业务逻辑
    return func(...args);
  }
  return run;
}

const source = (n: number) => n.toString();
const created = create(source); // 正确推断为 (n: number) => string，无类型报错

方法二：利用工具类型匹配原函数签名 #

如果需要保留T作为泛型参数，可以用Parameters<T>和ReturnType<T>工具类型提取原函数的参数和返回值，确保run的签名和T完全一致，再通过类型断言返回：

export function create<T extends (...args: any[]) => any>(func: T): T {
  const run = (...args: Parameters<T>): ReturnType<T> => {
    // 插入你的业务逻辑
    return func(...args);
  };
  return run as T;
}

const source = (n: number) => n.toString();
const created = create(source);

方法三：支持带额外属性的函数 #

如果你的场景需要处理带有自定义属性的函数，还需要把原函数的属性复制到run上，确保类型完全匹配：

export function create<T extends (...args: any[]) => any>(func: T): T {
  function run(...args: Parameters<T>): ReturnType<T> {
    // 这里添加业务逻辑
    return func(...args);
  }
  // 复制原函数的所有自定义属性
  Object.assign(run, func);
  return run as T;
}

// 测试带额外属性的函数
const source = (n: number) => n.toString();
source.id = 123;
const created = create(source);
console.log(created.id); // 123，类型推断正确

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