不同類型聯合的交集不是我所期望的

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