如何从泛型推断函数参数类型？TypeScript报错解决

问题场景 #

在泛型函数中通过Parameters<T["deleteComment"]>获取函数参数类型，再将参数展开传入原函数时，触发TypeScript错误：

A spread argument must either have a tuple type or be passed to a rest parameter.ts(2556)

对应的代码示例：

type CommentServices = {
  deleteComment: (commentId: string, parentCommentId?: string) => void;
};
export default function useComments<T extends CommentServices>(CommentServices: T) {
  const deleteComment = async (...args: Parameters<T["deleteComment"]>) => {
      await CommentServices.deleteComment(...args); // 此处报错
  };
}

问题原因 #

当T是CommentServices的子类型时，TypeScript无法确定Parameters<T["deleteComment"]>的具体元组结构——子类可能重写deleteComment的参数规则（比如把可选参数改为必选、拓宽参数类型），导致编译器无法安全确认展开操作的合法性，从而抛出错误。

解决方案 #

方案1：类型断言 #

由于T继承自CommentServices，可以确定args结构至少兼容基类deleteComment的参数类型，直接断言即可：

type CommentServices = {
  deleteComment: (commentId: string, parentCommentId?: string) => void;
};
export default function useComments<T extends CommentServices>(CommentServices: T) {
  const deleteComment = async (...args: Parameters<T["deleteComment"]>) => {
      await CommentServices.deleteComment(...(args as Parameters<CommentServices["deleteComment"]>));
  };
}

这种方式简单直接，在泛型约束的前提下断言是安全的。

方案2：细化泛型约束 #

通过直接约束deleteComment的类型，让编译器明确参数结构：

type BaseDeleteComment = (commentId: string, parentCommentId?: string) => void;
type CommentServices<T extends BaseDeleteComment = BaseDeleteComment> = {
  deleteComment: T;
};

export default function useComments<T extends BaseDeleteComment>(services: CommentServices<T>) {
  const deleteComment = async (...args: Parameters<T>) => {
      await services.deleteComment(...args);
  };
}

此方案通过泛型参数直接绑定函数类型，让Parameters<T>的推断更明确，避免类型歧义。

方案3：升级TypeScript版本 #

在TypeScript 4.6及以上版本中，编译器对泛型约束下的Parameters推断做了优化，能够识别T extends CommentServices时Parameters<T["deleteComment"]>是合法的元组类型，升级后可直接消除错误。若项目环境允许，这是最彻底的解决方式。

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