TypeScript判别联合收窄时的类型推断限制问题

代码示例 #

泛型节点类型定义 #

type TNode<TData> = {
    readonly id: string;
    readonly data: TData;
}

判别联合类型定义 #

type T1 = {
    readonly type: 1;
    readonly num: number;
}
type T2 = {
    readonly type: 2;
    readonly str: string;
}
type TN = T1 | T2;

目标函数与类型 #

type TInner = {
    readonly id: string;
    readonly data: T1;
}

function inner(input: TInner): void {
    // 函数逻辑
}

调用函数（存在编译错误） #

function outer<T>(p: TNode<TN>): void {
    if (p.data.type === 1) {
        const { id, data, } = p;  // data被收窄为T1
        inner({ id, data });

        inner(p);                 // 编译报错！
    }
}

核心疑问 #

借助type判别式，data已被正确收窄为T1，解构重组后调用inner正常，但直接传递节点p却编译失败。请问这仅是类型推断的限制，还是存在深层机制原因？

原因分析 #

这本质是TypeScript泛型约束与联合类型收窄的机制冲突，并非单纯的推断限制：

• 泛型参数的锁定特性：outer函数的泛型参数T被推断为TN（即T1 | T2），此时p的类型是TNode<TN>，而非TNode<T1>。泛型参数一旦确定，不会因为内部属性的类型收窄而改变整个容器的类型。
• 属性收窄的范围限制：TypeScript的类型收窄仅作用于对象的具体属性（这里是p.data），不会自动将父容器p的类型从TNode<TN>升级为TNode<T1>。因为泛型容器的类型由泛型参数决定，而非内部属性的临时收窄结果。
• 解构成功的逻辑：解构后id是明确的string类型，data被收窄为T1，重组后的对象类型完全匹配TInner的定义，因此可以正常调用inner；而直接传p时，p的data类型仍是T1 | T2，与TInner要求的T1不兼容，所以编译报错。

解决方案 #

如果要直接传递p，可以手动断言类型：

function outer(p: TNode<TN>): void {
    if (p.data.type === 1) {
        inner(p as TNode<T1>); // 手动断言类型
    }
}

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