TypeScript异步IIFE内无法识别外层类型守卫收窄的问题

type Payment = {
  sid: string | null;
}

function doit(payments: Payment[]) {
  payments.forEach(payment => {
    if (payment.sid) {
        // 外层同步作用域赋值无类型报错
        const sid: string = payment.sid;

        (async () => {
          // 异步IIFE内赋值报错：TS判定payment.sid可能为null
          const sid: string = payment.sid;
        })()
    }
  });
}

TypeScript的类型收窄是基于同步控制流做静态分析的，不会跨异步函数边界保留收窄结果：
外层if块对payment.sid的真值校验，仅对当前同步执行上下文生效。当进入异步IIFE时，TS出于类型安全的保守策略，会默认异步回调的执行时机晚于当前同步块，在回调执行前payment的属性可能被其他逻辑修改（比如被重新赋值为null），因此会将payment.sid的类型重置为初始声明的string | null，触发类型报错。

• 提前在同步作用域保存收窄后的值（推荐）
  在外层同步判断通过后，立刻将payment.sid赋值给一个用const声明的局部变量。由于const变量声明后无法被重新赋值，TS可以跨异步边界保留它的收窄类型，完全不需要额外的类型断言，是最安全的方案：

  function doit(payments: Payment[]) {
    payments.forEach(payment => {
      if (payment.sid) {
        // 同步块内存储收窄后的值
        const safeSid = payment.sid;
        const sid: string = safeSid;
  
        (async () => {
          // 异步内直接使用局部常量，TS可正确推导为string类型
          const sid: string = safeSid;
          // 后续业务逻辑直接使用safeSid即可
        })()
      }
    });
  }
  

• 使用非空断言操作符
  如果你可以100%保证异步IIFE执行时payment.sid不会被改写为null，可以用TS内置的非空断言操作符!，手动告知TS该位置的值非空：

  (async () => {
    // 非空断言：明确告知TS此处payment.sid一定不为null
    const sid: string = payment.sid!;
  })()
  

  注意：该方案属于显式绕过类型检查，存在一定安全隐患，如果后续代码迭代中出现异步执行前sid被置空的逻辑，TS不会给出任何报错提示，需要自行保证逻辑正确性。

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