TypeScript类型守卫判断顺序不同引发Object is possibly 'null'报错

该问题是TypeScript控制流类型收窄规则与JavaScript历史遗留特性共同作用的结果，核心逻辑如下：

基础规则 #

• JavaScript 存在长期保留的兼容特性：typeof null 的返回值固定为字符串 "object"
• TypeScript 的类型收窄严格遵循逻辑与（&&）的从左到右短路求值规则，只有前序条件成立时，才会基于前序的收窄结果推导后续代码的变量类型。同时TS明确规定，in 操作符的左操作数不允许为 null 或 undefined 类型，否则会抛出2531错误。

两种条件顺序的执行差异 #

报错的顺序逻辑 #

当 typeof obj === "object" 判断在 obj !== null 判断之前，且 in 操作符执行在非空判断之前时，会触发报错：

// 报错示例
function looksLikeDate(obj: unknown): obj is { year: unknown; month: unknown; day: unknown } {
    return (
        typeof obj === "object" && "year" in obj && "month" in obj && "day" in obj && obj !== null
    );
}

执行流程：

1. 第一个条件 typeof obj === "object" 校验通过后，unknown 类型的 obj 会被收窄为 object | null 联合类型
2. 此时还未执行到非空判断，TS 检测到 in 操作符的左操作数仍存在 null 的可能性，直接抛出 Object is possibly 'null' 错误。

正常运行的顺序逻辑 #

当 obj !== null 判断放在 typeof obj === "object" 和 in 操作符之前时，不会触发报错：

// 正常运行示例
function looksLikeDate(obj: unknown): obj is { year: unknown; month: unknown; day: unknown } {
    return (
        obj !== null && typeof obj === "object" && "year" in obj && "month" in obj && "day" in obj
    );
}

执行流程：

1. 第一个条件 obj !== null 校验通过后，obj 已经排除了 null 类型
2. 第二个条件 typeof obj === "object" 校验通过后，obj 被收窄为纯 object 类型
3. 后续执行 in 操作符时，左操作数已经确定为合法的对象类型，不会触发类型错误。

内容的提问来源于stack exchange，提问作者Krisztián Balla