TypeScript组合布尔变量判断时无法正确收窄null/undefined类型

TypeScript的类型收窄是基于控制流的语法级逐点分析，设计上不会做跨表达式的反向逻辑溯源，核心限制有两点：

• 不会将独立存储的布尔变量的真值，反向关联到参与该布尔值计算的所有原始变量的非空状态。当你把(anotherMaybeNullOrUndefined || alternativeToAnotherMaybeNullOrUndefined) && maybeNullOrUndefined的运算结果赋值给noNullOrUndefined后，TS只会推导noNullOrUndefined本身的类型，不会记录“这个变量为真等价于三个关联变量都通过真值校验”的逻辑关系。如果要支持这种全链路的表达式依赖追踪，类型检查的性能会出现指数级下降，在复杂业务场景下几乎不可行。
• 不会对结构相同的表达式做等价性判定。就算TS能识别noNullOrUndefined为真时整个布尔表达式为真，也不会认为你在if块内重新书写的alternativeToAnotherMaybeNullOrUndefined || anotherMaybeNullOrUndefined和之前参与布尔计算的同结构表达式是同一个校验对象，自然不会对这个重新书写的表达式做类型收窄。

在TS 4.7版本中，哪怕是const isNonNull = val != null; if(isNonNull) { console.log(val) }这类最简单的布尔变量存储校验场景，也不会自动收窄val的类型，本质也是上述设计限制导致的。

方案1：直接将校验逻辑写在if条件中（最推荐） #

不要把校验逻辑提前赋值给独立变量，直接在if的判断条件中书写完整校验逻辑，TS可以在控制流分析时直接识别判断条件的约束，自动完成所有相关表达式的类型收窄，无额外类型安全风险：

const maybeNullOrUndefined: string | undefined | null = undefined;
const anotherMaybeNullOrUndefined: string | undefined | null = undefined;
const alternativeToAnotherMaybeNullOrUndefined: string | undefined | null = undefined;

const anyFun = (str: string) => { }

if ((anotherMaybeNullOrUndefined || alternativeToAnotherMaybeNullOrUndefined) && maybeNullOrUndefined) {
    anyFun(maybeNullOrUndefined);
    // 此处两个参数都会被自动收窄为string类型，无类型报错
    anyFun(alternativeToAnotherMaybeNullOrUndefined || anotherMaybeNullOrUndefined);
}

方案2：封装类型守卫函数（适合复用度高的复杂校验逻辑） #

如果校验逻辑很长、需要在多处重复使用，可以封装带类型谓词（Type Predicate）的类型守卫函数，明确告诉TS函数返回true时相关变量满足的类型约束：

const maybeNullOrUndefined: string | undefined | null = undefined;
const anotherMaybeNullOrUndefined: string | undefined | null = undefined;
const alternativeToAnotherMaybeNullOrUndefined: string | undefined | null = undefined;

const anyFun = (str: string) => { }

// 类型守卫：返回true时，主值一定为string类型
function hasValidString(
    mainVal: string | null | undefined,
    alt1: string | null | undefined,
    alt2: string | null | undefined
): mainVal is string {
    return !!(alt1 || alt2) && typeof mainVal === 'string';
}

const isValid = hasValidString(maybeNullOrUndefined, anotherMaybeNullOrUndefined, alternativeToAnotherMaybeNullOrUndefined);
if (isValid) {
    anyFun(maybeNullOrUndefined);
    // 备用值逻辑确定非空时，可配合非空断言使用
    anyFun((alternativeToAnotherMaybeNullOrUndefined || anotherMaybeNullOrUndefined)!);
}

方案3：非空断言（适合逻辑100%确定、不想调整代码结构的场景） #

如果你确定自己的业务逻辑完全正确，只是TS无法识别隐含的约束关系，可以用TS提供的!非空断言，手动标记该表达式结果一定不是null或undefined，绕过类型检查：

const noNullOrUndefined = (anotherMaybeNullOrUndefined || alternativeToAnotherMaybeNullOrUndefined) && maybeNullOrUndefined;

if (noNullOrUndefined) {
    anyFun(maybeNullOrUndefined!);
    anyFun((alternativeToAnotherMaybeNullOrUndefined || anotherMaybeNullOrUndefined)!);
}

注意：非空断言属于手动跳过类型校验，使用时必须确保逻辑绝对正确，否则会埋下运行时错误的隐患。

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