十三、类型兼容：协变和逆变>62十三、类型兼容：协变和逆变引言在类型系统中，协变和逆变是对类型比较(类型兼容)一种形式化描述。在一些类型系统中，例如Java，这些概念是显式嵌入到语言中的，例如使用extends关键字表示协变，使用super关键字表示逆变。在其他一些类型系统中，例如TypeScript，协变和逆变的规则是隐式嵌入的，通过类型兼容性检查来实现。协变和逆变的存在使得类型系统具有更大的灵活性。例如，如果你有一个Animal类型的数组，并且你有一个Dog类型的对象（假设Dog是Animal的子类型），那么你应该能够将Dog对象添加到Animal数组中。这就是协变。反过来，如果你有一个处理Animal类型对象的函数，并且你有一个Dog类型的对象，你应该可以使用这个函数来处理Dog对象。这就是逆变。协变和逆变还可以帮助我们创建更通用的代码。例如，如果你有一个可以处理任何Animal的函数，那么这个函数应该能够处理任何Animal的子类型。这意味着，你可以编写一段只依赖于Animal类型的代码，然后使用这段代码处理任何Animal的子类型。1.协变（Covariance）协变描述的是