为何() => Promise<undefined>可赋值给() => void？TypeScript类型疑问

这确实是TypeScript里容易让人混淆的设计细节，不是bug！咱们逐个拆解你的疑问：

1. void变量 vs () => void函数类型的本质区别 #

• 当void作为变量类型时，它严格表示这个变量只能是undefined（严格模式下）或null（非严格模式），所以const y: void = 3;会报错——3显然不符合void的变量类型要求。
• 但当void作为函数返回值类型时，它的含义完全不同：它表示「调用者不关心这个函数的返回值」，而不是「函数必须返回undefined」。

2. 为什么允许返回任意值的函数赋值给() => void？ #

TypeScript的这个设计是为了贴合JavaScript的实际使用场景：在JS中，很多回调函数的返回值会被忽略（比如setTimeout的回调、事件监听函数），即使你在回调里返回了值，JS也不会去处理它。

TypeScript延续了这个逻辑：只要你声明一个函数类型是() => void，就意味着你承诺不会去使用它的返回值，所以不管函数实际返回什么（数字、Promise、对象等等），TypeScript都认为这种赋值是安全的。比如：

const x: () => void = () => 3; // OK，因为你不会用x()的返回值
function foo(): () => void { return () => Promise.resolve(); } // 同样OK，TypeScript默认你不会await这个返回的Promise

3. 为什么这会导致你的代码库问题？ #

问题出在TypeScript的默认假设和你的实际需求不匹配：TypeScript认为「返回void的函数，调用者不需要关心返回值」，但你需要调用者知道函数返回了Promise，必须等待它完成。

4. 如何解决这个问题？ #

如果你希望严格限制函数必须返回「真正的无返回值」（或者说，调用者必须处理返回的Promise），不要用() => void，而是用更精确的类型：

• 如果函数确实不应该返回任何值（包括Promise），用() => undefined代替() => void，这样TypeScript会强制函数返回undefined：

  function foo(): () => undefined { 
    return () => Promise.resolve(); // 编译错误！因为Promise<undefined>不是undefined
  }
  

• 如果函数需要返回Promise，直接声明返回值类型为() => Promise<XXX>，这样调用者就必须明确处理Promise（比如用await）。

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