本文只讨论图中蓝色部分。 快速修复 command + . ctrl + . 虽然在写法上，这两个操作符与位运算逻辑操作符相同。但在语义上，它们与位运算刚好相反。 对于这种表现，可以这样理解：&表示必须同时满足多个契约，|表示满足任意一个契约即可。 建议库的开发者所提供的公共a…

TS 有个非常好用的功能就是类型别名。 类型别名会给一个类型起个新名字。类型别名有时和接口很像，但是可以作用于原始值，联合类型，元组以及其它任何你需要手写的类型。 上面的类型意思是，若 T 能够赋值给 U，那么类型是 X，否则为 Y。 原理是令 T' 和 U' 分别为 T 和 …