如何在TypeScript中限制函数参数为必填项？

为什么无参数函数能匹配cb类型？ #

TypeScript 允许将无参数函数赋值给带参数的函数类型，核心原因是调用安全性：在 JavaScript 中，调用函数时传入的参数数量多于函数定义的参数数量时，多余的参数会被直接忽略，不会引发运行时错误。TypeScript 遵循这一特性，认为这种赋值是合法的——当你把demo3当作cb类型调用时，传入的string参数会被忽略，不会出问题。

实现参数必填的解决方案 #

要强制要求函数必须声明指定参数，不能省略，可以通过以下两种方式实现：

方法1：使用元组类型定义函数参数 #

直接将函数的参数定义为元组形式，明确指定参数的个数和类型，这样无参数的函数就无法匹配该类型：

// 用元组明确指定必须有一个string类型参数
type cb = (...args: [str: string]) => void;

let demo1: cb = (str: string) => { return "anything" }; // ✅ 正确
let demo2: cb = (num: number) => { return "anything" }; // ❌ 错误：类型不匹配
let demo3: cb = () => { return "anything" }; // ❌ 错误：无参数函数无法赋值给要求必填参数的类型

方法2：使用工具类型强制严格匹配参数 #

如果你需要更通用的严格函数类型检查，可以定义一个工具类型，确保函数的参数与目标类型完全一致：

// 工具类型：强制函数参数与目标类型严格匹配
type StrictFunction<T extends (...args: any[]) => any> = 
  T extends (...args: infer Args) => infer Return 
    ? (...args: Args) => Return 
    : never;

// 基于工具类型定义严格的cb类型
type cb = StrictFunction<(str: string) => void>;

let demo1: cb = (str: string) => { return "anything" }; // ✅ 正确
let demo2: cb = (num: number) => { return "anything" }; // ❌ 错误：类型不匹配
let demo3: cb = () => { return "anything" }; // ❌ 错误：参数个数不匹配

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