在 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;