TS：兼容性

在 TS 中，兼容性的概念很重要，比如，类型 A 能断言成 类型B 前提就是，A 和 B 之间必须具有兼容性（A 兼容 B 或者 B 兼容 A）。

1、赋值兼容性

子类型兼容性与赋值兼容性有着密切的联系，若类型 S 是类型 T 的子类型，那么类型 S 能够赋值给类型T。

在赋值语句中，变量和表达式之间需要满足赋值兼容性；
在函数调用语句中，函数形式参数与实际参数之间也要满足赋值兼容性。

2、子类型兼容性

在绝大多数情况下，如果类型 S 能够赋值给类型 T，那么也意味着类型 S 是类型 T 的子类型。

例外：

1）any类型。

在赋值兼容性中，any类型能够赋值给任何其他类型，但any类型不是其他类型的子类型，因为any类型是顶端类型。

2）数值型枚举与number类型。

number类型可以赋值给数值型枚举类型，但 number 类型不是数值型枚举的子类型，反而数值型枚举是 number 类型的子类型。

enum E { A, B }
const s: number = 0;
const t: E = s;

3）带有可选属性的对象类型。

如果对象类型 T 中有可选属性 M，那么对象类型 S 也可以赋值给对象类型 T，即使 S 中没有属性 M。

type T = { x: number; y?: number };
type S = { x: number };
const s: S = { x: 0 };
const t: T = s;