dart 泛型 型变与逆变

Dart 是一种支持泛型的面向对象语言，它允许我们在定义类、函数或方法时使用参数化类型。泛型允许我们在不指定具体类型的情况下编写通用的代码，提高代码的重用性和安全性。

在 Dart 中，泛型的类型变化可分为两种：类型的协变（Covariance）和类型的逆变（Contravariance）。

类型的协变指的是可以将泛型类型的子类型赋值给父类型，这样就可以确保在使用泛型类型时不会发生类型不匹配的错误。例如，如果有一个泛型类 Animal<T>，其中 T 是一个类型参数，那么 Animal<Dog> 就是 Animal<Animal> 的子类型。这样我们可以使用 Animal<Animal> 类型的变量来持有 Animal<Dog> 的实例，而不会出现类型错误。

类型的逆变与协变相反，指的是可以将泛型类型的父类型赋值给子类型。这样可以更灵活地使用泛型类型，更好地符合实际的业务需求。例如，如果有一个泛型类 Comparator<T>，其中 T 是一个类型参数，那么 Comparator<Animal> 就是 Comparator<Dog> 的父类型。这样我们可以使用 Comparator<Dog> 类型的变量来持有 Comparator<Animal> 的实例，而不会出现类型错误。

泛型的型变在 Dart 中使用通配符来表示，泛型类型的协变使用 extends 关键字，逆变使用 super 关键字。例如，在声明一个泛型类型时，我们可以使用 Animal<? extends Animal> 表示协变，使用 Comparator<? super Dog> 表示逆变。这样的声明帮助我们在使用泛型类型时确保类型的正确性。

总结来说，Dart 中的泛型支持类型的协变和逆变，这样可以更灵活、更安全地使用泛型类型。泛型的型变通过使用通配符、extends 和 super 关键字来表示，使得泛型类型的赋值更加灵活，能够满足不同的业务需求。