如何解决TypeScript将类型别名FirstMember识别为unknown的问题？

问题描述 #

编写pipeline函数，接收一系列函数作为参数，返回一个新函数——该新函数会按传入顺序调用这些函数，并返回最后一个函数的返回值。使用FirstMember<T>和LastMember<T>类型别名提取函数数组的首尾成员时，TypeScript将它们识别为unknown类型，报错提示：

类型'FirstMember'不满足约束'(...args: any) => any'。无法将类型'unknown'分配给类型'(...args: any) => any'。

原代码示例：

type FirstMember<T extends any[]> = T extends [infer R, ...any[]] ? R : never
type LastMember<T extends any[]> = T extends [...any[], infer R] ? R : never

function pipeline<T extends Array<(...args: any) => any>>(...funcs: T) {
  // ...
  return function (
    this: any,
    ...args: Parameters<FirstMember<T>>
  ): ReturnType<LastMember<T>> {
    // ...
    return result
  }
}

解决方案 #

问题根源在于类型别名的泛型约束不够明确：虽然T被限定为函数数组，但TypeScript无法自动推断FirstMember<T>和LastMember<T>必然是函数类型。需要给类型别名添加明确的函数数组约束，让TypeScript确认推断出的R是函数类型。

方案1：修改类型别名的泛型约束 #

// 明确约束泛型T为函数数组，确保推断出的R是函数类型
type FirstMember<T extends Array<(...args: any) => any>> = T extends [infer R, ...any[]] ? R : never
type LastMember<T extends Array<(...args: any) => any>> = T extends [...any[], infer R] ? R : never

function pipeline<T extends Array<(...args: any) => any>>(...funcs: T) {
  return function (this: any, ...args: Parameters<FirstMember<T>>): ReturnType<LastMember<T>> {
    let result = funcs[0].apply(this, args);
    for (let i = 1; i < funcs.length; i++) {
      result = funcs[i].call(this, result);
    }
    return result;
  };
}

方案2：直接在返回函数类型中推断（无需单独类型别名） #

如果不想维护单独的类型别名，可以直接在返回函数的类型定义中完成推断，同样能解决报错：

function pipeline<T extends Array<(...args: any) => any>>(...funcs: T) {
  return function (
    this: any,
    ...args: T extends [infer F, ...any[]] ? Parameters<F> : never
  ): T extends [...any[], infer L] ? ReturnType<L> : never {
    let result = funcs[0].apply(this, args);
    for (let i = 1; i < funcs.length; i++) {
      result = funcs[i].call(this, result);
    }
    return result;
  };
}

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