TypeScript中类型断言与可选链的类型推断问题

我编写了一个用于简单类型断言的函数isDefinedAndNotNull，用于检查变量不为undefined或null：

const isDefinedAndNotNull = <T>(val: T | null | undefined): val is NonNullable<T> =>
    (val !== null) && (typeof val !== "undefined");

但在使用该函数结合可选链检查嵌套对象是否存在时，TypeScript无法编译：

type MaybeNullThing = {
    myProp?: {
        coolThing?: string
    }
}

const thing: MaybeNullThing = getThing();

if (isDefinedAndNotNull(thing?.myProp?.coolThing)) {
    console.log(thing.myProp.coolThing); // 错误：thing.myProp可能为undefined
}

而直接使用可选链判断时，TypeScript却能正常推断：

if (thing?.myProp?.coolThing) {
    console.log(thing.myProp.coolThing); // 此处已定义
}

我想知道是否可以让这个类型断言同时断言嵌套对象和目标对象都已定义。

原因分析 #

TypeScript对直接的可选链判断有特殊的上下文推断能力：当thing?.myProp?.coolThing被判定为真时，TS会反向推导整个嵌套路径上的每个属性都不为undefined或null。但你的断言函数只接收最终的coolThing值作为参数，TS无法将这个值的非空状态关联到其上游的thing.myProp等属性——函数本身没有携带任何关于嵌套路径的类型信息。

解决方案 #

方案1：直接使用断言后的变量（最简单）

在条件判断前先提取目标值，断言后直接使用该变量，绕开对嵌套路径的依赖：

const coolThing = thing?.myProp?.coolThing;
if (isDefinedAndNotNull(coolThing)) {
    console.log(coolThing); // 类型安全，无编译错误
}

方案2：编写针对嵌套结构的专用类型守卫

如果需要频繁检查特定的嵌套结构，可以写一个针对性的类型守卫函数，直接断言整个路径的非空性：

function hasCoolThing(thing: MaybeNullThing): thing is { myProp: { coolThing: string } } {
    return isDefinedAndNotNull(thing?.myProp?.coolThing);
}

if (hasCoolThing(thing)) {
    console.log(thing.myProp.coolThing); // 类型推断正常
}

方案3：通用深层非空断言（复杂但灵活）

如果需要支持任意嵌套路径的断言，可以利用TypeScript的递归类型和模板字面量类型实现一个通用方案，但实现成本较高。核心思路是通过类型体操跟踪嵌套路径，并在函数中同时验证路径上的每一层：

type Path<T> = T extends object ? {
    [K in keyof T]: K | `${K}.${Path<T[K]>}`
}[keyof T] : never;

function isPathDefined<T, P extends Path<T>>(obj: T, path: P): obj is T & {
    [K in P extends `${infer A}.${infer B}` ? A : P]-?: P extends `${infer A}.${infer B}` ? { [L in B]: NonNullable<T[A][L]> } : NonNullable<T[K]>
} {
    const segments = path.split('.') as Array<keyof any>;
    let current: any = obj;
    for (const seg of segments) {
        if (current === null || current === undefined) return false;
        current = current[seg];
    }
    return isDefinedAndNotNull(current);
}

// 使用示例
if (isPathDefined(thing, 'myProp.coolThing')) {
    console.log(thing.myProp.coolThing); // 类型推断正常
}

注意：这个通用方案的类型推导可能存在边界情况，需要根据实际场景调整。

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