TypeScript类型守卫疑问：移除X2的v2属性后x1b类型为何变为undefined

当移除X2接口中的v2: string（标记A的行）后，X2接口与XBase完全等价，此时X1是X2的子类型——因为X1继承XBase（也就是等价后的X2），包含X2的所有属性，还额外添加了v1字段。

在TypeScript的类型系统中，联合类型X1 | X2会被简化为X2：由于所有X1类型的实例都可以安全赋值给X2类型（子类型兼容父类型），所以联合类型的实际范围就是X2的范围。

再看x1b的定义：

const x1b = isX2(x) ? undefined : x;

此时x的类型被推断为X2，而isX2的类型签名是(arg: X1 | X2): arg is X2。TypeScript会认为调用isX2(x)必然返回true——因为x本身就是X2类型，完全符合类型守卫的断言条件。因此控制流分析会判定三元表达式始终走undefined分支，最终x1b的类型被收缩为undefined。

而在原本的代码中，X1和X2各自拥有独属属性（v1和v2），二者属于互不兼容的兄弟类型（X1不能赋值给X2，X2也不能赋值给X1），联合类型X1 | X2是真正的“或”关系。此时isX2(x)的返回值无法被提前确定，TypeScript会保留x1b的类型为X1 | undefined，符合预期。

额外说明：你的isX2实现是基于检查v1是否存在，这种方式在X2有独属属性时能正常工作，但当X2和XBase等价后，这个运行时逻辑和TypeScript的静态类型推断出现了冲突——TypeScript只会根据类型签名判断，不会深入函数内部的具体逻辑。

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