为何无法通过属性空值检查实现TypeScript类型收窄？

我定义了如下TypeScript函数，参数为{ a: number } | { b: number }联合类型：

function test2(value:{a:number}|{b:number}){
    // `.a` 下方提示："Property a does not exist on type {b:number}"
    if(value.a != null){
        console.log('value of a:',value.a)
    }
}

test2({a:1})

test2({b:2})

该代码可正常转译、运行且无运行时错误，逻辑上属性检查应将作用域收窄至{ a: number }类型，但TypeScript却报错。我不想使用in操作符，因为当联合类型包含string时，需先判断value不是string才能使用in，而原生JavaScript中直接用属性检查即可。请问TypeScript此处存在什么问题？是否有设置可允许这种类型收窄方式？

问题根源 #

TypeScript的类型收窄逻辑里，直接写value.a != null这种方式不会触发类型保护。这是因为TypeScript采用结构类型系统，{ b: number }这个类型仅描述「该类型至少拥有b属性」，并没有禁止它额外存在a属性。所以当你访问value.a时，TypeScript会判定在{ b: number }分支下，这个属性可能根本不存在，因此提前抛出类型错误。

而原生JS中这么写能正常运行，是因为JS是动态类型，访问不存在的属性只会返回undefined，但TypeScript的静态类型检查更严格，它会提前拦截这种“可能访问不存在属性”的风险。

可用的解决办法 #

目前没有直接的TypeScript编译选项能让value.a != null自动实现类型收窄，但可以通过以下两种方案达成类似效果：

1. 自定义类型谓词函数 #

自己实现一个类型谓词函数，手动完成类型收窄，完全不需要使用in操作符：

function isTypeWithA(value: {a: number} | {b: number}): value is {a: number} {
    return (value as {a: number}).a != null;
}

function test2(value:{a:number}|{b:number}){
    if(isTypeWithA(value)){
        console.log('value of a:',value.a)
    }
}

这个函数会明确告知TypeScript：当返回true时，value的类型就是{a: number}，完美实现你需要的类型收窄效果。

2. 关闭strictNullChecks（不推荐） #

如果将tsconfig.json中的strictNullChecks设置为false，TypeScript就不会再报这个错误。但这种做法会大幅削弱TypeScript的空值检查能力，导致很多潜在的空引用问题无法被提前发现，生产项目中不建议使用。

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