为什么此CustomeXtract返回默认提取物的不同结果？

Question

该代码解释了我的问题：

type A = {
  a: number,
} | null

// Extract as defined in lib.es5.d.ts
type Extract<T, U> = T extends U ? T : never;

type CustomExtract = A extends null ? A : never;

type Result1 = Extract<A, null> // null
type Result2 = CustomExtract;   // never

提取和customextract是相同的代码，其差异是提取物是一种通用类型。

另外，如相关示例，字符串| null 不扩展 null 。

那么，类型如何真正在此主题的引擎盖下工作？我可以想象，它可能会为每种类型的工会运行通用类型，然后将所有结果结合，但我想要真正的技术定义和工作。

Answer 1

不同之处在于提取是 分布式有条件类型，而您的 CustomeXtract 却没有。

为了使形式的条件类型 x扩展y？答：b 要分配，检查类型 x 必须是“裸体类型参数”；也就是说， type参数喜欢 t in 接口foo＆lt; t＆gt; {...} 和 naked ，因为它只是要检查的类型参数（即， t扩展... ），而不仅仅是某些表达式其中包括类型参数（例如 Promise＆lt; t＆gt;扩展... 或 [t]扩展... ）。

当您推测时，分布式条件类型确实确实将其评估为检查类型 t 的每个联合元素的条件结合。因此，如果 f＆lt; t＆gt; 是一种分配条件类型，则 f＆lt; a | b | C＆gt; 将被评估为 f＆lt; a＆gt; | f＆lt; b＆gt; | f＆lt; c＆gt; 。一个潜在的捕获是，无论 f＆lt;从不从 Never 进行评估，无论 f 是什么（只要它的分配） ，因为从不被认为是。

有关更多信息，请参见我的其他答案 关于哪种分配条件类型以及它们的工作方式。

Answer 2

@jcalz所说的一切都是正确的，但是我要把这个是简单的英语。

什么确实是返回 subset t ，可分配给 u 。如果 t 有一些 u 类型和其他类型，则我们仅获得 u 类型。为什么以及如何做到这一点，尽管具有与 CustomeXtract 相同的定义，那就是 @jcalz的答案。

在您的情况下，类型a 是 {a：numbers} 和 null 的联合。 {a：numbers} 无法分配给 null ，但是 null 可分配给 null 。因此，可分配给 null 的子集为 null 。

type customeXtract = a扩展null？答：永远不会; 永远不会返回子集。如果满足条件，则它将返回 a 的完整，如果未达到条件，则它将返回从不。

为了使 x扩展y 是正确的， x 的所有值都必须分配给 y 或换句话说， x x < /code>必须等于或狭窄，而不是 y 。

a扩展null 是错误的，因为 a 比 null 更宽。另一方面， null扩展是正确的。