为何TypeScript 4.4.3未检测到回调函数的返回类型不匹配？

首先咱们先把你提到的代码贴出来，方便对照理解：

const setCallback = (cb: () => void): void => { cb(); };
const callback = (): Promise<void> => { 
  return new Promise(resolve => { setTimeout(() => resolve(), 100); }); 
}
setCallback(callback); // 这里TypeScript未报错，确实容易让人困惑

核心原因：TypeScript对void返回值函数的宽松设计 #

这其实是TypeScript里一个特意做的类型兼容规则：当一个函数类型声明返回void时，它允许你传入返回任意类型的函数——包括Promise<void>、number、string等等。

为什么要这么设计？因为在很多实际场景里，函数的返回值根本不会被使用，比如DOM事件回调、定时器回调，写不写返回值对逻辑都没影响。TypeScript不想在这些场景下给开发者添堵，所以做了这个宽松处理：只要调用者不会去使用回调的返回值，就允许类型不匹配的函数传入。

为什么这会带来隐患？ #

你疑惑的点非常关键：返回Promise<void>意味着回调里有异步操作，需要等待它完成，但setCallback只是直接调用cb()就结束了，不会等待Promise解析。这可能引发两个问题：

• 异步操作还没完成，后续依赖它的逻辑就开始执行，导致时序错误；
• 如果Promise被reject了，会产生未处理的Promise rejection，在运行时抛出错误（严格模式下甚至会终止程序）。

怎么解决这个问题？ #

根据你的需求，有几种不同的处理方式：

1. 修改setCallback支持异步回调

如果setCallback本身可以是异步函数，直接把它的类型改成接受返回Promise<void>的函数，内部用await等待回调完成：

const setCallback = async (cb: () => Promise<void>): Promise<void> => { 
  await cb(); // 等待异步操作完成
};
// 调用时记得处理Promise的状态
setCallback(callback).catch(err => console.error("异步操作出错：", err));

2. 在回调内部处理Promise

如果setCallback必须保持同步，那可以让回调自己处理Promise的完成和错误，把它改成返回void：

const callback = (): void => { 
  new Promise(resolve => { setTimeout(() => resolve(), 100); })
    .catch(err => console.error("Promise rejected:", err)); // 主动捕获错误
};
setCallback(callback); // 现在类型完全匹配

3. 强制严格的类型检查

如果你想让TypeScript在编译阶段就拦截这种隐患，可以自定义一个严格的void函数类型，拒绝任何非void的返回值：

// 工具类型：只接受返回void的函数
type StrictVoidFunction = () => void;

// 用这个类型约束setCallback的参数
const setCallback = (cb: StrictVoidFunction): void => { 
  cb(); 
};

setCallback(callback); // 现在TypeScript会报错：类型'() => Promise<void>'不能赋值给类型'() => void'

这样就能在编译阶段就发现这种可能有问题的类型不匹配了。

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