TypeScript中string与对象交叉类型为何未显示为never类型？

我定义了如下类型：

type XX = string & { s: number };

按逻辑，这个类型应该等价于never——毕竟没有值能同时是原始字符串和拥有s: number属性的对象。但在IntelliJ或VSCode中，该类型并未被显示为never，而是保留了原始的交叉类型定义。

尝试赋值时，会得到如下错误提示：

const x: XX = { s: 23 }; // Type { s: number; } is not assignable to type string
const y: XX = 's'; // Type string is not assignable to type { s: number; }

这个问题已经导致我的代码库出现bug。

原因解析 #

1. 原始类型与对象类型交叉的特殊处理
   TypeScript的类型化简规则不会自动将原始类型（如string、number）与对象类型的交叉判定为never。虽然在JavaScript中，原始值不会同时是拥有自定义属性的对象（临时包装对象不持久），但TypeScript的类型系统不会直接触发这个化简逻辑，只有当交叉的两个类型是明显互斥的原始类型（如string & number）时，才会自动显示为never。

2. IDE的类型展示逻辑
   VSCode和IntelliJ的TypeScript语言服务默认优先展示类型的原始定义，而非编译器内部化简后的结果。只有当编译器明确将类型解析为never时，IDE才会显示never，而这种原始类型+对象类型的交叉不在自动触发化简的范围内。

3. 赋值检查的逻辑
   赋值时的错误提示是因为TypeScript会逐一验证值是否符合交叉类型的每一个分支，这说明编译器知道该类型没有合法取值，但不会主动将其简化为never。

解决办法 #

• 手动声明为never：如果确定该类型应表示“无合法值”，直接将其定义为type XX = never;即可。
• 用工具类型强制化简：通过自定义工具类型触发类型化简，让never显式显现：

  type XX = string & { s: number };
  type Simplify<T> = T extends {} ? { [K in keyof T]: T[K] } : T;
  type XXNever = Simplify<XX>; // XXNever会被推断为never
  

• 启用严格模式：在tsconfig.json中开启strict: true，可增强部分场景下的类型化简力度，但无法保证所有此类交叉类型都会自动转为never，手动处理依然是最可靠的方式。

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