类型兼容性——TS的“秘密武器”

TypeScript的类型兼容性是一种将一种类型的值分配给另一种类型的值的机制。TS会检查分配的值是否与目标类型的兼容，并确保它们是兼容的。这有助于我们构建更健壮、更灵活的程序。

TS的类型兼容性分为几类，包括赋值兼容、结构兼容和函数兼容。

• 赋值兼容 ：赋值兼容意味着一个类型的变量可以被赋值给另一个类型的变量，而无需任何转换。赋值兼容的规则很简单：两个类型是赋值兼容的，如果它们是相同的类型，或者一个是另一个类型的子类型。

• 结构兼容 ：结构兼容意味着两个类型具有相同的属性和方法，并且这些属性和方法具有相同的类型。结构兼容的规则有点复杂，但可以归纳为以下几点：

  • 两个类型是结构兼容的，如果它们具有相同的属性和方法，并且这些属性和方法具有相同的类型。
  • 如果一个类型的属性是可选的，而另一个类型的属性是必需的，那么这两个类型是不兼容的。
  • 如果一个类型的属性是只读的，而另一个类型的属性是可写的，那么这两个类型是不兼容的。

• 函数兼容 ：函数兼容意味着两个函数具有相同的参数类型和相同的返回值类型。函数兼容的规则与结构兼容的规则类似，可以归纳为以下几点：

  • 两个函数是函数兼容的，如果它们具有相同的参数类型和相同的返回值类型。
  • 如果一个函数的参数类型是可选的，而另一个函数的参数类型是必需的，那么这两个函数是不兼容的。
  • 如果一个函数的返回值类型是可选的，而另一个函数的返回值类型是必需的，那么这两个函数是不兼容的。

除了上述三种类型兼容性之外，TS还支持泛型、联合类型、交叉类型、类型别名和类型断言。

• 泛型 ：泛型允许我们编写可重用的代码，而无需知道实际的类型参数。泛型的规则很简单：泛型类型可以被任何其他类型替换，而不会改变泛型类型的行为。

• 联合类型 ：联合类型允许我们定义一个类型，该类型可以是多个其他类型的其中之一。联合类型的规则很简单：联合类型的变量可以被赋值给联合类型中的任何一种类型。

• 交叉类型 ：交叉类型允许我们定义一个类型，该类型是多个其他类型的交集。交叉类型的规则很简单：交叉类型的变量只能被赋值给交叉类型中的所有类型。

• 类型别名 ：类型别名允许我们为一个类型创建一个新的名称。类型别名的规则很简单：类型别名的变量可以被赋值给类型别名所代表的类型。

• 类型断言 ：类型断言允许我们显式地告诉编译器一个变量的类型。类型断言的规则很简单：类型断言可以将一个变量的类型强制转换为另一个类型。