TypeScript中回调内已校验变量仍提示未定义的解决方法

你遇到的问题核心是let声明的变量允许后续被重新赋值，TypeScript无法保证回调执行时变量的类型和守卫后的状态一致，因此会再次提示可能为undefined。以下是几种可行的解决方式：

• 将变量赋值给const常量
  把经过if守卫后的变量赋值给一个const常量，利用const的不可变性让TypeScript确定其类型不会改变：

  let x: { value: number; } | undefined = { value: 23 };
  
  if(!x) {
      process.exit(1);
  }
  
  const fixedX = x;
  (() => {
       fixedX.value; // 无类型错误
  })();
  

• 使用类型断言或非空断言
  如果你能确保后续代码不会修改该变量，可以直接通过类型断言或非空断言操作符!告诉TypeScript变量的实际类型：

  let x: { value: number; } | undefined = { value: 23 };
  
  if(!x) {
      process.exit(1);
  }
  
  (() => {
       // 类型断言方式
       (x as { value: number }).value;
       // 非空断言方式（更简洁，需自行保证变量不会变为undefined）
       x!.value;
  })();
  

  注意：这种方式需要开发者自行承担风险，如果后续变量被意外修改为undefined，运行时会抛出错误。

• 改用const声明变量
  如果变量本身不需要被重新赋值，一开始就用const替代let，TypeScript会直接识别守卫后的类型，回调中也不会出现类型错误：

  const x: { value: number; } | undefined = { value: 23 };
  
  if(!x) {
      process.exit(1);
  }
  
  (() => {
       x.value; // 无类型错误
  })();
  

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