TypeScript严格模式下null/undefined检查规避TS2339、TS2358报错

你遇到的两类报错本质上都是同一个设计取舍导致的：TypeScript的控制流类型窄化是基于当前词法作用域的静态分析，默认不会跨函数边界追踪闭包对外部变量的修改，这类全程序副作用分析的性能开销极高，且无法覆盖所有动态场景，因此TS从设计上就没有做支持。
具体到你遇到的几个报错：

• typeof m !== "undefined"和m !== undefined判断后报Property 'size' does not exist on type 'never'：TS扫描当前作用域的代码时，只看到m被初始化为undefined，没有看到当前作用域内有任何直接给m赋值Map实例的逻辑，因此静态判定m的类型永远是undefined。当你写判断逻辑排除undefined类型后，剩下的可能类型就是never（代表不可能存在的值），自然访问不到size属性。TS完全不会感知到defineMap闭包内部修改了m的值。
• m instanceof Map<string, number>报TS2358：这个和控制流分析无关，是TS的基础语法规则：instanceof是运行时判断，而泛型参数会在编译阶段被完全擦除，运行时不存在Map<string, number>这个构造函数，因此instanceof右侧不允许写带泛型的类型，正确语法是m instanceof Map。但即便你去掉泛型参数，在原代码里依然会报错，因为TS认为m是never类型，不满足instanceof左侧必须是对象/any/类型参数的要求。
• 反向场景里调用undefineMap()后直接访问n.size不报错：同样是因为TS不会跨函数追踪闭包修改，它只看到n在当前作用域被初始化为Map实例，没有直接赋值为undefined的逻辑，因此判定n的类型始终是Map<string, number>，不会触发空值检查，自然编译能通过但运行时报错。

不要依赖TS自动识别跨函数的变量修改，根据场景选以下写法即可：

• 如果你100%确定访问点变量已经完成初始化，直接用**非空断言!**即可，比as类型断言更简洁：

  let m: Map<string, number>|undefined = undefined;
  const defineMap = () => m = new Map();
  defineMap();
  console.log(m!.size); // 正常编译，等价于告诉TS“我确定这里m不是undefined”
  

• 最推荐的写法：把懒加载逻辑收敛到统一的访问入口，让TS能通过控制流分析正确推导类型，从根源避免类型和实际值不一致的问题：

  let _m: Map<string, number> | undefined = undefined;
  // 所有对m的访问都走这个方法，不要直接操作外层变量
  const getM = () => {
    if (!_m) {
      _m = new Map();
    }
    return _m; // TS自动推导返回值类型为Map<string, number>，不需要额外断言
  }
  
  getM(); // 初始化
  console.log(getM().size); // 类型完全正确，不需要手动判空
  

• 如果变量不需要跨函数修改，直接在当前作用域完成赋值，TS能100%正确识别类型，不需要任何断言：

  let m: Map<string, number> | undefined = undefined;
  m = new Map(); // 当前作用域直接赋值
  console.log(m.size); // 正常编译，无报错
  

• 复杂场景下可以把状态封装到类里，用私有属性+getter做访问收敛，避免外部随意修改变量状态：

  class LazyContainer {
    #m?: Map<string, number>;
    init() {
      this.#m = new Map();
    }
    get m() {
      if (!this.#m) throw new Error("请先调用init方法初始化");
      return this.#m;
    }
  }
  
  const container = new LazyContainer();
  container.init();
  console.log(container.m.size); // 类型正确，运行时也有初始化校验
  

注意：不要为了绕过这类检查直接关闭严格空值检查，只要把可变变量的修改逻辑收敛到统一入口，或者在确定已初始化的位置用非空断言，就能同时保证类型安全和运行时正确。

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