不同类型联合的交集不是我所期望的

Question

type T1 = 1 | 'b' & string | number // "b" | number
type T2 = 1 | 2 & 1 | 3 // 1 | 3

我是TS的新手。 谁能告诉我为什么是"b" | number "b" | number和1 | 3 1 | 3这里发生了什么？

Answer 1

&的优先级高于|

因此，您的代码被解释为：

type T1 = 1 | ('b' & string) | number 
type T2 = 1 | (2 & 1) | 3

在这种情况下"b" | number "b" | number和1 | 3 1 | 3有道理。

如果您添加括号，它将按照您的想法工作：

type T1 = (1 | 'b') & (string | number) // 1 | "b"
type T2 = (1 | 2) & (1 | 3) // 1