TypeScript函数类型赋值报错疑问：参数可选与必填赋值方向为何相反？

核心逻辑：调用安全性优先 #

TypeScript判断函数类型是否可赋值的核心标准是调用安全性：被赋值的函数必须能被原类型的所有合法调用方式安全执行——原类型允许怎么调用，被赋值的函数就得能接住对应的参数。

第一个报错场景的原因 #

代码示例：

type F = (a?: number) => void
const f: F = (a: number) => {} // 报错

• F类型的函数允许两种合法调用：
  1. 传入number：f(100)
  2. 不传入参数：f()（此时参数a为undefined）
• 你赋值的函数(a: number) => {}要求参数a必须是number，无法接收undefined。如果强行赋值，当别人以f()的方式调用时，实际执行的函数会收到undefined，这违反了它的参数类型约束，属于不安全调用。
• 你之前的理解颠倒了逻辑：这里不是把number赋值给number | undefined，而是调用时可能传入的number | undefined要能被赋值的函数接收，显然undefined不兼容number，因此触发报错。

第二个合法场景的原因 #

代码示例：

type F = (a: number) => void
const f: F = (a?: number) => {} // 不报错

• F类型的函数只允许一种合法调用：必须传入number类型参数，比如f(100)
• 你赋值的函数(a?: number) => {}既可以接收number，也能接收undefined。但调用者永远只会传入number（因为F类型不允许不传参数），所以实际调用时，函数收到的参数永远是合法的number，完全不会触发类型错误，因此TypeScript允许这种赋值。

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