Typescript 什么'；在打字本规范中AB在AB | C中的含义是什么？

我正在检查TypeScript规范，在某个时候 它使用

AB

如下：

• 如果B是A的一个子类型，则A | B相当于A
• A | B等于B | A
• AB | C相当于A | BC，其中AB是A | B，BC是B | C

---

问题：AB或

AB | C

的含义是什么？

你的问题已经回答了：

AB=A | B

---

AB | C-相当于A，如果C是A的子类型，B是A的子类型

规范中的这一部分是在联合类型中允许使用括号之前编写的，因此措辞很笨拙

一个更清晰的表述说明了本节的意图：

（A | B）| C相当于A |（B | C）