这篇文章主要分析 TypeScript 中的类型兼容性，并通过例子详细介绍逆变、协变、双向协变和不变。 结构化 在基于名义类型的类型系统中，数据类型的兼容性或等价性是通过明确的声明和/或类型的名称来决