为什么TypeScript中`type T1 = undefined & {}`的类型为never？

要搞懂这个问题，得从TypeScript里交叉类型（&）的本质和{}类型的实际含义说起：

1. 交叉类型的核心逻辑
   交叉类型A & B代表的是「同时属于A和B的取值集合」，也就是两个类型的交集。如果两个类型没有任何共同的合法取值，它们的交叉结果就是never——这个类型专门用来表示「不存在任何可能取值」的场景。

2. {}类型的真实含义
   在TypeScript里，{}不是指「空对象」，而是指除了null和undefined之外的所有值。类型检查时，任何非null/undefined的值（包括字符串、数字这类原始类型，以及各种对象类型）都能赋值给{}，但null和undefined不行。

3. undefined & {}的交集为空
   undefined的取值只有一个：就是undefined本身。而{}类型明确排除了undefined，所以这两个类型没有任何共同的取值。它们的交叉结果自然就是代表空集合的never类型。

这也是NonNullable<T>用T & {}就能实现排除null和undefined的原因：当T是null或undefined时，和{}交叉得到never，相当于把这两个类型从结果中移除了。

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