什么是类型协变

当某个类型及其子类型可以作为参数传递，而不引发类型错误时，这被称为类型的协变。 在通配符类型参数中，使用 extends 限定的通配符表示可以接受某个类型及其子类型，从而实现了协变。

具体来说，在使用带有 extends 限定的通配符时，你可以传递一个集合，该集合的元素类型是指定类型的子类型。 这使得程序更加灵活，能够适应更广泛的类型结构，而不仅限于指定的精确类型。 在协变的背景下，子类型可以安全地替代父类型，而不会导致类型不匹配的问题。 这种灵活性提高了代码的复用性和可扩展性。