TypeScript为何对短体与常规箭头函数的void返回类型推断不同？

先看你给出的代码场景：

function forEach<T>(arr: T[], callbackFn: (arg: T, idx: number) => undefined): void {
  for (let i = 0; i < arr.length; i++) {
    callbackFn(arr[i], i)
  }
}

// 正常运行
forEach([1, 2, 3], (arg, idx) => {
  console.log({arg, idx})
})

// 报错：Type 'void' is not assignable to type 'undefined'
forEach([1, 2, 3], (arg, idx) => console.log({arg, idx}))

差异原因 #

这是TypeScript对两种箭头函数的返回类型推断规则不同导致的：

• 带大括号的函数体箭头函数：当函数体内没有任何return语句时，TypeScript会推断其返回类型为undefined——因为JavaScript中无return的函数默认返回undefined，这种类型完全符合回调要求的undefined，所以不会报错。
• 短体表达式箭头函数：这种写法等价于直接返回表达式的执行结果。而console.log()本身的返回类型是void（它不返回任何值），因此整个箭头函数的返回类型被推断为void。

TypeScript里void和undefined是不完全兼容的：void表示函数不返回任何值（甚至可以没有return语句），而要求返回undefined的函数，必须保证最终返回一个undefined值。因此返回void的函数无法赋值给要求返回undefined的类型参数，触发类型错误。

解决办法 #

1. 把短体箭头函数改为带大括号的形式（你已经验证过可行）
2. 修改forEach的回调类型为void，这更符合forEach的语义（本来就不需要回调返回值）：

function forEach<T>(arr: T[], callbackFn: (arg: T, idx: number) => void): void {
  // ... 原逻辑不变
}

3. 显式让短体箭头函数返回undefined：

forEach([1, 2, 3], (arg, idx) => (console.log({arg, idx}), undefined))

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