TypeScript实例函数判空触发'Object possibly null'错误的解决方法

这个问题我之前也碰到过，本质是TypeScript的控制流分析没办法自动识别你自定义的检查函数能缩小this的类型——毕竟TS没法猜透你函数里到底做了什么判断对吧？直接写if (this.prop !== null)时，TS能直接通过内联逻辑确定属性非空，但调用封装后的函数就不行。下面给你两种靠谱的解决办法：

方法1：使用类型谓词（Type Predicate） #

让你的检查函数返回一个类型谓词，明确告诉TypeScript：当函数返回true时，当前实例的类型满足某个非空约束。

示例代码：

class YourClass {
  prop: string | null;

  constructor() {
    this.prop = Math.random() > 0.5 ? "valid value" : null;
  }

  // 定义类型谓词，指定返回true时this的类型
  hasValidProp(): this is { prop: string } {
    return this.prop !== null && this.prop !== ""; // 这里可以加你的非空/非空字符串检查逻辑
  }

  doSomething() {
    if (this.hasValidProp()) {
      // 这里TS会自动识别this.prop是非空的
      console.log(this.prop.toUpperCase());
    }
  }
}

方法2：使用断言函数（Assertion Function） #

如果你的检查函数需要确保属性一定非空（不满足时抛出错误），可以用断言函数，它会直接修改当前上下文的类型推断。

示例代码：

class YourClass {
  prop: string | null;

  constructor() {
    this.prop = Math.random() > 0.5 ? "valid value" : null;
  }

  // 断言函数：调用后确保this.prop一定非空
  ensurePropIsValid(): asserts this is { prop: string } {
    if (this.prop === null || this.prop === "") {
      throw new Error("Property is null or empty!");
    }
  }

  doSomething() {
    this.ensurePropIsValid();
    // 调用断言函数后，TS会认为this.prop绝对非空
    console.log(this.prop.toUpperCase());
  }
}

为什么直接检查没问题？ #

当你写if (this.prop !== null)时，TypeScript的控制流分析会直接在当前代码块内缩小this.prop的类型，因为它能直接解析内联的条件逻辑。但对于独立的函数，TS默认不会追踪函数内部的逻辑对this类型的影响，必须通过类型谓词或断言函数手动告诉TS类型约束。

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