TypeScript判别联合类型收窄异常：宽类型与字面量类型差异

1. 你的联合类型不是标准判别联合 #

TypeScript的标准判别联合要求各个成员的判别属性类型是**完全互斥（不相交）**的。你的CreateUnionType<T>中：

• 第一个成员的x类型是T | undefined
• 第二个成员的x类型是T
  当T是number这类宽类型时，T是T | undefined的子集，两者并非完全互斥，因此TypeScript无法将x视为可靠的判别属性。

2. 为什么宽类型下收窄失效？ #

当T=number时，联合类型展开为：

{ x: number | undefined, y: 'option1' } | { x: number, y: 'option2' }

虽然运行时x === undefined必然属于第一个成员，但TypeScript的控制流分析对这种“包含式”的联合类型处理有限：它无法确定x=undefined是否唯一对应y='option1'，因此无法完成类型收窄。

3. 字面量类型下生效的原因 #

当T是字面量（如5）或字面量联合（如5 | 6 | 'some string literal'）时，T和undefined是完全不相交的类型。此时：

• 第二个成员的x类型是字面量，不可能等于undefined
• 因此x === undefined可以明确排除第二个成员，TypeScript能正确收窄到第一个成员，y的类型自然确定为'option1'。

4. 解决方案 #

方案A：改用严格互斥的判别属性 #

既然y的类型'option1'和'option2'本身就是完全互斥的，直接用y作为判别属性更可靠：

if (obj.y === 'option1') {
    assertIsOption1(obj.y); // 无论T是什么类型都能正常收窄
}

方案B：自定义类型守卫函数 #

如果一定要用x === undefined来收窄，可以手动定义类型守卫，明确告诉TypeScript判断逻辑：

function isOption1<T>(obj: CreateUnionType<T>): obj is { x: T | undefined, y: 'option1' } {
    return obj.x === undefined;
}

// 使用类型守卫
if (isOption1(obj)) {
    assertIsOption1(obj.y); // 正常工作
}

方案C：调整类型定义，让x严格互斥 #

修改CreateUnionType，让第二个成员的x类型和第一个成员的x类型完全不相交：

type CreateUnionType<T> = 
    { x: undefined, y: 'option1'} | // 直接把第一个成员的x设为undefined
    { x: T, y: 'option2' }

这样无论T是什么类型，x的类型都是互斥的，x === undefined就能直接收窄到第一个成员。

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