为何TypeScript调用签名比函数类型表达式的参数类型检查更宽松？

代码示例 #

type TypeA = {
  callback(value?: string): void,
}

type TypeB = {
  callback: (value?: string) => void,
}

function foo (value: string) {}

const a: TypeA = {
 // No error
 callback: foo,
}

// Property 'callback' is missing in type '{}' but required in type 'TypeA'
const a2: TypeA = {
}

const b: TypeB = {
  // Type '(value: string) => void' is not assignable to type '(value?: string | undefined) => void'.
  callback: foo,
}

问题描述 #

将接收必填string参数的foo函数赋值给TypeA的callback时无报错，但赋值给TypeB的callback时提示类型不兼容。原本预期两种情况都会触发类型错误，想了解为何调用签名语法对参数类型的检查更宽松？

解答 #

核心原因：两种语法的兼容性规则差异 #

TypeScript对调用签名和函数类型字面量的参数兼容性采用了不同的检查逻辑，这是基于语法设计定位的有意决策：

• 函数类型字面量（TypeB）的严格校验
  函数类型字面量(value?: string) => void是对函数类型的精确描述：它要求函数必须能接受0个参数（即传入undefined）或1个string类型参数。在strictFunctionTypes模式下，函数参数遵循逆变规则：源函数的参数类型必须是目标参数类型的超类型，才能保证源函数能接受目标函数的所有可能输入。foo的参数是必填string，无法接受undefined，因此无法赋值给TypeB的callback。

• 调用签名（TypeA）的宽松兼容
  对象类型中的调用签名callback(value?: string): void，其设计目的是描述“这个方法可以被以(value?: string)的形式调用”，而非严格限定函数本身的参数定义。TypeScript在此处放宽了赋值检查：只要源函数的参数类型与目标参数的非可选版本兼容（即string匹配string），就允许赋值。这一设计是为了兼容JavaScript中常见的编程场景——比如将必填参数的函数传递给期望可选参数的回调位置，尽管存在调用时传入undefined的运行时风险，但TypeScript会在实际调用时（比如a.callback()）触发严格的参数校验，避免错误。

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