TypeScript编译报错：已做空值检查仍提示‘对象可能为null’

问题场景 #

已通过rawMQTTTopicsResults[topic] && rawMQTTTopicsResults[topic].timestamp !== null做了空值检查，但项目构建时TypeScript仍对rawMQTTTopicsResults[topic].timestamp < staleTimestamp.toString()报错“object is possibly null”，且VS Code编辑器未提示该错误：

业务代码 #

for (const topic of Object.keys(rawMQTTTopicsResults)) {
    let stale: boolean = true
    if (rawMQTTTopicsResults[topic] && rawMQTTTopicsResults[topic].timestamp !== null){
      stale = rawMQTTTopicsResults[topic].timestamp < staleTimestamp.toString()
    }
    resultsWithStale[topic] = {
      ...rawMQTTTopicsResults[topic],
      stale: stale
    };
}

类型定义 #

const rawMQTTTopicsResults: Record<string, {
    timestamp: string | null;
    value: string | number | boolean | null;
}>

原因分析 #

1. TypeScript类型收缩的局限性
   Object.keys()返回的类型是string[]，虽然rawMQTTTopicsResults是Record<string, ...>类型，但TypeScript无法在循环中将topic的类型精确绑定到对象的具体键上。即便在if条件中做了空值检查，后续再次通过rawMQTTTopicsResults[topic]访问属性时，TypeScript无法确认该值的类型已被收缩，仍判定timestamp可能为null。

2. 编辑器与构建工具的TS版本不一致
   VS Code默认使用内置的TypeScript版本，而项目构建通常使用本地安装的TS版本。两个版本在类型收缩的规则实现上存在差异，导致编辑器未检测到问题，但构建时触发报错。

解决方案 #

方案1：缓存局部变量，明确类型收缩 #

将rawMQTTTopicsResults[topic]赋值给局部变量，TypeScript能正确跟踪该变量的类型变化：

for (const topic of Object.keys(rawMQTTTopicsResults)) {
    let stale: boolean = true
    const topicResult = rawMQTTTopicsResults[topic];
    if (topicResult && topicResult.timestamp !== null){
      stale = topicResult.timestamp < staleTimestamp.toString()
    }
    resultsWithStale[topic] = {
      ...topicResult,
      stale: stale
    };
}

方案2：使用Object.entries()避免索引访问问题 #

直接通过Object.entries()获取键值对，跳过索引访问的类型歧义：

for (const [topic, topicResult] of Object.entries(rawMQTTTopicsResults)) {
    let stale: boolean = true
    if (topicResult.timestamp !== null){
      stale = topicResult.timestamp < staleTimestamp.toString()
    }
    resultsWithStale[topic] = {
      ...topicResult,
      stale: stale
    };
}

注：由于Record<string, ...>保证每个键都对应有效值，无需额外判断topicResult是否存在。

方案3：统一TS版本 #

在VS Code中切换为使用项目本地的TypeScript版本，避免版本差异导致的提示不一致：

• 打开命令面板（Ctrl+Shift+P）
• 选择「TypeScript: Select TypeScript Version」
• 选择「Use Workspace Version」

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