TypeScript异步类型函数省略return为何报错？

先直接拆解你的两个核心问题：

一、为什么两段异步函数代码的编译结果不同？ #

这个差异完全源于TypeScript对异步函数返回值的类型检查逻辑，核心在于「是否存在显式return语句」：

1. 无显式return的代码（报错案例） #

export async function foo(): Promise<string>{ await bar() }

对于异步函数来说，如果没有任何显式的return语句，TypeScript会默认推断它的返回值类型是Promise<void>——因为异步函数在没有主动返回值时，会resolve一个「仅表示操作完成，无具体值」的状态。但你明确声明了函数要返回Promise<string>，Promise<void>和Promise<string>类型不兼容，所以触发了那个错误提示：

A function whose declared type is neither 'void' nor 'any' must return a value

2. 有显式return;的代码（无报错案例） #

export async function foo(): Promise<string>{ await bar() return; }

这里你写了显式的return;，虽然它返回的是undefined，但TypeScript会把这个行为解读为「你主动返回了一个值（哪怕是undefined）」，而不是「函数没有返回值」。此时它会尝试将Promise<undefined>和你声明的Promise<string>做类型兼容检查。如果你的项目没有开启严格的strictNullChecks，或者bar()的类型存在隐式兼容（比如bar()返回any），TypeScript就不会抛出错误。

二、return;、省略return、return undefined;的语义等价性？ #

要分同步函数和异步函数两种场景来看：

1. 同步函数场景 #

• return; 和 return undefined; 完全等价：两者都会让函数返回undefined，运行时行为没有任何区别。
• 省略return的情况：如果函数没有其他return语句，执行到最后一行后会自动返回undefined，从返回值结果来说和前两者等价。但TypeScript的类型检查会有差异——如果函数声明了返回非void/any的类型，省略return会直接报错，而显式写return;或return undefined;也会报错（除非你的返回类型包含undefined）。

2. 异步函数场景 #

• return; 和 return undefined; 语义等价：两者都会被异步函数包装成Promise<undefined>，运行时resolve的值都是undefined，使用await调用后拿到的结果也一致。
• 省略return的情况：此时异步函数会返回Promise<void>，这在TypeScript的类型系统里和Promise<undefined>是有区别的：
  • Promise<void>表示这个Promise不会resolve任何具体值（仅表示操作完成）
  • Promise<undefined>表示这个Promise会明确resolve一个undefined值
    不过在运行时，两者的行为几乎没有差异——你用.then()或await处理时，拿到的结果都是undefined，但类型层面的区别会影响TypeScript的类型检查。

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