TypeScript无法识别方法内null校验，求优雅解决方案

问题场景 #

你编写了如下TypeScript代码，尝试将日志数据的校验逻辑封装到isLogDataValid方法中：

export default class LogProcessor {
  private readonly data: LogData[] = []

  constructor(
    private readonly parser: LogParser,
    // 其他参数...
  ) {}

  async process(): Promise<void> {
    // line 是待解析的字符串，parser.parse 返回 LogData 实例或 null
    const logData = this.parser.parse(line)
    if (this.isLogDataValid(logData)) {
      this.data.push(logData) // TS编译报错：类型 'LogData | null' 不能赋值给 'LogData'
    }
  }

  isLogDataValid(logData: LogData | null): boolean {
    return logData !== null && this.isLogLevelValid(logData.loglevel)
  }

  isLogLevelValid(loglevel: string): boolean {
    // 日志级别校验逻辑
    return ['info', 'warn', 'error'].includes(loglevel)
  }
}

尽管isLogDataValid已经校验了logData不为null，但TypeScript编译器仍会抛出类型错误——普通的布尔值返回方法无法让编译器自动收窄参数类型。直接在process方法中提前判断null虽能解决问题，但破坏了代码的抽象层级，不够优雅。

解决方案 #

方案1：使用类型断言函数（Type Predicate） #

将isLogDataValid的返回类型改为类型断言，明确告诉编译器：当函数返回true时，参数logData的类型是LogData。

修改后的isLogDataValid方法：

isLogDataValid(logData: LogData | null): logData is LogData {
  return logData !== null && this.isLogLevelValid(logData.loglevel)
}

此时process方法无需任何修改，TypeScript会识别到if分支内的logData已被收窄为LogData类型，编译报错自动消失。

方案2：封装校验并返回有效数据 #

如果不想使用类型断言函数，可以编写一个方法，直接返回经过校验的有效LogData，无效则返回undefined：

private getValidLogData(logData: LogData | null): LogData | undefined {
  if (logData !== null && this.isLogLevelValid(logData.loglevel)) {
    return logData
  }
  return undefined
}

在process方法中调用该方法：

async process(): Promise<void> {
  const logData = this.parser.parse(line)
  const validLogData = this.getValidLogData(logData)
  if (validLogData) {
    this.data.push(validLogData)
  }
}

这种方式同样能保持校验逻辑的封装性，同时让编译器正确识别validLogData的类型。

原理说明 #

TypeScript的类型收窄依赖于编译器能直接推断的逻辑（比如当前作用域内的logData !== null判断）。普通布尔返回方法内部的逻辑，编译器无法关联到参数的类型变化，因此需要通过类型断言函数显式声明类型关系，或者通过返回值直接提供明确的类型。

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