依赖事件循环FIFO是否可行？TypeScript报错问题咨询

我需要通过await等待Pinia store初始化完成，于是写了这样一段实现：

defineStore('myStore', () => {
  let _becomeReady, db

  const ready = new Promise((resolve) => {
    _becomeReady = resolve
  })

  // 初始化逻辑
  ;(async () => {
    db = await initDB()
    // 其他初始化操作...

    _becomeReady() // TypeScript报错：_becomeReady可能为undefined
  })()

  return {
    ready,
    // 其他store属性/方法
  }
})

核心需求是在其他地方能通过await myStore.ready等待store就绪，但遇到两个问题：

• TypeScript提示_becomeReady可能未定义，这个报错能不能忽略？实际运行会不会有失败风险？
• 这种场景下事件循环是否按FIFO执行？是不是只是TypeScript无法推断事件顺序才报的错？

补充说明：defineStore的回调必须是同步执行的。

事件循环与执行顺序解析 #

这段代码绝对不会出现_becomeReady为undefined的运行时错误，原因在于JS的同步执行优先级：

• Promise的构造函数是同步执行的：创建ready Promise时，传入的回调会立刻执行，把resolve函数赋值给_becomeReady
• 紧接着的立即执行async函数，虽然标记了async，但第一行await initDB()会先同步调用initDB()，然后让出线程进入异步队列等待。此时_becomeReady已经完成赋值，等async函数后续恢复执行时，肯定能拿到有效的resolve函数。

事件循环的FIFO规则在这里不影响，因为async函数的异步回调是在所有同步代码执行完毕后才会进入队列的，_becomeReady的赋值早已经完成。

TypeScript报错的处理方式 #

TypeScript无法推断这种运行时的执行顺序，所以会误报。解决方法有几种：

• 非空断言：直接在调用时加!，告诉TS这个变量肯定有值：_becomeReady!()
• 明确类型声明：提前给_becomeReady指定类型，让类型更清晰：

  let _becomeReady: () => void;
  const ready = new Promise<void>(resolve => {
    _becomeReady = resolve;
  });
  

  之后同样用_becomeReady!()调用即可。
• 重构写法：把Promise的resolve逻辑封装得更简洁，比如：

  const ready = (async () => {
    db = await initDB();
    // 其他初始化操作...
  })();
  

  这种写法直接把初始化的Promise返回，不需要额外维护_becomeReady变量，TypeScript也不会报错。

实际运行风险结论 #

完全没有运行失败的风险，运行时_becomeReady必然是已赋值的状态，TypeScript的报错只是类型推断的局限导致的误报。

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