TypeScript允许额外参数是否会破坏类型安全性？

先看以下示例代码：

type F0 = (x?: string) => void
type F1 = () => void
type F2 = (x: number) => void

const f0: F0 = (x) => console.log(x, typeof(x))
const f1: F1 = f0
const f2: F2 = f1

f0('s')
f2(1) // 这里f0会输出1, 'number'，但number并不是string | undefined类型

这里的逻辑细节：

• 类型F0要求第一个参数x的类型为string | undefined，因此它可以赋值给无参数的F1类型。这是合理的，因为调用F0类型的函数时会隐式传入undefined作为第一个参数。
• TypeScript允许F1类型赋值给F2类型，因为规则支持函数忽略额外传入的参数，设计逻辑是F1类型的函数会直接丢弃多余参数。

但问题在于：F1能赋值给F2，但调用F2时传入的参数和F0预期的参数完全不兼容——F0本身是不能直接赋值给F2的。把F0赋值给F1看似安全，但通过F1中转赋值给F2就会埋下风险。哪怕开启了strict模式（包含strictFunctionTypes），这段代码依然能通过编译。

下面是这个问题在实际开发中的体现：

function processData (optionalData?: DataType) {
  // 函数实现预期optionalData是DataType | undefined类型
}

// 某处把processData转成了() => void类型
const handler: () => void = processData

// 某处把handler用作DOM事件处理器，但事件会传入Event对象作为第一个参数，这和processData的预期不符
element.addEventListener('click', handler) // 存在风险，但编译允许
element.addEventListener('click', () => handler()) // 这种写法才是安全的

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