typescript - TypeScript 规范中 AB|C 中的 AB 是什么意思？

Question

我正在检查 TypeScript 规范并在某个时间点查看 3.4 Union Types它使用 AB 如下:

• 一个 |如果 B 是 A 的子类型，则 B 等同于 A。
• 一个 | B 等同于 B | A.
• AB | C 等同于 A | BC，其中 AB 是 A | B 和 BC 是 B | C.

问题AB或AB|C是什么意思？

Answer 1

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

一个更清晰的表达方式可以说明本节试图表达的内容:

(A | B) | C is equivalent to A | (B | C)