TypeScript中类型别名与泛型函数的类型窄化差异原因

先看核心代码对比：

interface Person {
  name: string
}

// 类型别名定义的函数，能正确窄化
type MyFunc<T = Person | null> = (arg: T) => void;
const myFunc: MyFunc = arg => {
  if (arg === null) {
    const d = arg; // null
  } else {
    const d = arg; // Person
  }
};

// 泛型函数，无法正确窄化
const myFunc2: <T extends Person | null>(arg: T) => void = arg => {
  if (arg === null) {
    const d = arg; // T extends Person | null
  } else {
    const d = arg; // T & {}
  }
};

// 期望的非泛型窄化效果
const myFunc3: (arg: Person | null) => void = arg => {
  if (arg === null) {
    const d = arg; // null
  } else {
    const d = arg; // Person
  }
};

1. 为什么myFunc2的arg === null分支里，arg类型仍包含Person？ #

泛型参数T是**Person | null的子类型**，它代表的是某个具体的单一类型，而非固定的联合类型。比如调用myFunc2时，T可以是纯null、纯Person，甚至是Person的子类型（比如带age字段的Student）。

在函数定义阶段，TypeScript无法确定T的具体类型——它只知道T属于Person | null的范围。因此判断arg === null时，TypeScript不能直接把T窄化为null，因为T有可能是永远不会等于null的纯Person类型，强行窄化会破坏泛型的通用性。

而myFunc和myFunc3的参数是明确的联合类型Person | null，TypeScript知道参数只能是这两种类型之一，所以可以通过=== null直接排除Person，完成精确窄化。

2. 泛型为何无法移除Person类型以完成窄化？ #

泛型的核心是参数化类型，它的具体类型要等到函数被调用时才确定。在定义泛型函数时，TypeScript不知道T到底是Person、null，还是两者的联合——它只能基于T extends Person | null这个约束做类型推导。

如果强制在arg === null分支把T窄化为null，会出现逻辑矛盾：比如当调用myFunc2<Person>({name: 'Alice'})时，这个分支永远不会执行，但类型系统却错误地标记arg为null，这显然不符合实际。

而非泛型的联合类型是固定的、已知的类型集合，TypeScript可以针对这个固定集合做分支判断，逐一排除不可能的类型，自然能完成精确窄化。

3. 为什么myFunc2的else分支类型为T & {}而非Person？ #

T & {}的作用是排除null类型（因为null & {}等价于never），但TypeScript不能直接把它窄化为Person——因为T可能是Person的子类型，比如：

interface Student extends Person {
  studentId: number;
}
myFunc2<Student>({name: 'Bob', studentId: 123});

此时else分支的arg应该是Student而非Person，如果强行窄化为Person，会丢失子类型的专属属性信息。

用T & {}的方式，既排除了null的可能性，又完整保留了T的具体子类型信息，这是泛型场景下最安全的窄化方案——它保证了不管T是Person还是它的子类型，都能正确保留类型细节。

而myFunc3的参数是固定的Person | null，排除null后就只能是Person，不需要保留子类型的灵活性，所以直接显示为Person。

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