TypeScript嵌套属性类型收窄失效：为何无法正确推断类型？

这是TypeScript的正常表现，核心原因在于TypeScript默认的控制流分析只支持根层级的判别式属性，对嵌套属性的类型关联无法自动推断。

具体原因 #

TypeScript的联合类型收窄依赖于「判别式属性」——也就是每个联合成员中唯一且明确的属性。当判别式直接定义在联合类型的根对象上时（比如event.type），TypeScript能清晰地把属性值和对应的子类型关联起来，自动完成类型收窄。

但如果判别式嵌套在对象的深层结构里（比如你的例子中event.customEvent.event），TypeScript的控制流分析不会递归跟踪这种嵌套的依赖关系。它无法自动推断：当event.customEvent.event等于CustomEventType.CLICK时，外层的event必然是ClickEvent类型，因此也就无法把event.contextData的类型从string | undefined收窄为确定的string。

你的临时解决方案为什么有效 #

你用类型谓词（x is GetTypeForName<TName>）手动建立了嵌套属性值和外层对象类型的关联。通过显式告诉TypeScript：当x.customEvent.event === name成立时，x的类型就是对应事件的具体类型，绕过了默认分析的限制，所以类型收窄能正常工作。

替代优化方案 #

如果不想依赖类型谓词，也可以调整结构把判别式提到根层级，或者用映射类型来定义强关联的联合类型：

// 定义事件类型到必填属性的映射
type EventRequiredProps = {
  [CustomEventType.CLICK]: { contextData: "some context" };
  [CustomEventType.WHEEL]: { rawData: "raw Data" };
};

// 生成带类型约束的事件类型
type TypedEvent<T extends CustomEventType> = BaseEvent<T> & EventRequiredProps[T];

// 最终联合类型
type CustomEvent = TypedEvent<CustomEventType.CLICK> | TypedEvent<CustomEventType.WHEEL>;

这种方式让TypeScript能更清晰地识别类型关联，但本质上还是不如根层级判别式的自动收窄直接。

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