TS 类型疑惑？

[evax]

type Union<A, B> = A extends B ? '1' : '2'
type A = 1 | 2
type B = 1

type C = Union<A, B>  //  '1' | '2'  ---为什么不是 '2'?

type D = Union<B, A> // '1'

type E =  A extends B ? '1' : '2'  // '2'

type F =  B extends A ? '1' : '2'  // '1'

[coolzjy]

```ts
1 | 2 extends 2 ? '1' : '2'
// 等价于
(1 extends 2 ? '1' : '2') | (2 extends 2 ? '1' : '2')
```

[lin07hui]

https://www.typescriptlang.org/docs/handbook/2/conditional-types.html#distributive-conditional-types

[zhouyg]

X | Y 不仅代表了自身的一种类型描述，还涉及计算过程时还有多参数的含义

[zhy0216]

你把 | 理解成并集
& 理解成交集
extends 理解成 isSubSet 就很好理解了

这个资料 https://docs.google.com/presentation/d/1HYknblfcAnbjbdDe4MYTyRQpCw_gV72n2cj88xH7z8c/edit#slide=id.p

[rozbo]

你把他这个类型理解为给编译器看的就行，实际运行过程中类型不体现

[evax]

@coolzjy 我悟了，感谢～

[evax]

@zhouyg 明白了，感谢

[evax]

@lin07hui 一语中的！

[dk7952638]

ts 困惑类型就对了，这说明你入门了！

[RoshanWu]

来来来，一起来系统性地学习学习，早点脱离这些困惑： https://www.v2ex.com/t/885617

[xiaohundun]

联合类型的每一个 item 都参与运算，是这么解释的么

[evax]

@RoshanWu 很强，老哥