TypeScript带必填参数的函数类型 为何实现缺参无编译提示

这是TypeScript结构化类型系统针对函数场景的刻意设计，不是配置漏开导致的异常。
TS对函数类型兼容性的判定核心逻辑是：只要函数实现可以安全承接调用方按照类型约定传入的所有参数，就判定为类型匹配。
你给出的() => ""实现，当调用方按照FuncType约定传入两个字符串参数调用时，JavaScript运行时不会抛出任何错误——传入的多余参数会被直接忽略，不存在运行时风险，因此TS默认不会对该写法抛出类型提示。
这个设计是为了适配JavaScript生态中极为普遍的回调写法：比如数组forEach方法的回调类型定义为(item: T, index: number, arr: T[]) => void，但实际开发中绝大多数场景只会用到第一个参数，写成arr.forEach(item => { /* 业务逻辑 */ })，如果强制要求函数实现必须声明所有类型约定的参数，这类常用写法全都会触发类型错误，开发成本会极高。

出现这个预期偏差，本质是混淆了两类TS校验规则：

• 函数调用场景下，TS会强制校验传入参数的数量、类型是否和函数签名匹配，少传必填参数会直接报错
• 函数赋值/传参场景下，TS走结构化兼容性校验，不会强制要求实现侧的形参数量和目标类型完全一致，只要类型兼容即可

TypeScript本身没有提供全局编译选项来禁止「实现侧形参数量少于目标类型声明」的写法，TS团队也多次明确不会默认开启这类校验，避免破坏海量现有JS/TS代码的兼容性。如果要规避这类漏写参数的问题，有两种可落地的方案：

• 优先直接在函数定义上标注参数和返回值类型，不需要先抽离独立函数类型再给变量加注解：

  // 这种写法下你在编写函数实现、后续调用时都能获得明确的类型提示，不会出现漏写形参的问题
  const getFullName = (firstName: string, lastName: string): string => {
    return `${firstName}${lastName}`
  }
  

• 如果必须抽离公共函数类型做复用，可以配合ESLint的类型相关规则做静态扫描，拦截这类漏写参数的问题。

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