TypeScript 如何支持空函数声明返回undefined且无显式返回？

问题场景 #

当开发者明确知晓函数实际运行时的返回值为undefined，希望将函数返回类型显式标注为undefined（而非TS默认推荐的void）时，编写如下空函数代码会触发类型校验报错：

function myFunction(): undefined {
    
}

对应报错提示为：声明类型既非'void'也非'any'的函数必须返回值

开发者的核心诉求：

• 不认可TS团队提出的“void语义更合理、Promise等价于undefined”等设计约定，认为显式声明undefined返回类型更贴合实际运行逻辑
• 不希望额外书写冗余的return undefined语句通过校验，希望找到可通过配置或特定指令让该写法正常通过校验的方案

可行解决方法 #

目前TypeScript没有提供专门针对该场景的独立配置开关。该报错属于noImplicitReturns校验规则的覆盖范围，该规则要求函数所有可执行路径都必须有明确返回值，无法单独为undefined返回类型的空函数场景设置特判，可采用以下方式处理：

• 使用精确的类型抑制指令@ts-expect-error对该位置的预期报错做针对性放行，该指令不会影响全局其他位置的严格校验逻辑：

  // @ts-expect-error 空函数运行时默认返回undefined，符合返回类型声明
  function myFunction(): undefined {
      
  }
  

• 如果是批量需要处理同类场景，可通过自定义ESLint规则、或封装通用的空返回类型函数类型别名的方式，减少重复的注释标注工作。

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