Dart中泛型的高级用法有哪些

泛型的约束：可以通过extends关键字对泛型进行约束，限制泛型参数的类型范围，例如：class Box<T extends Shape> {}，表示Box类的泛型参数T必须是Shape类或其子类。

泛型的通配符：可以使用通配符"?"表示未知类型，可以在需要灵活处理泛型类型时使用，例如：List<?> list = [];，表示list可以存储任意类型的元素。

泛型的类型推断：Dart在某些情况下可以根据上下文自动推断泛型类型，无须显式指定，例如：List<String> names = ['Alice', 'Bob'];，编译器会自动推断names的类型为List。

泛型的扩展：可以通过扩展泛型类或接口，为泛型类或接口定义更多的方法或属性，从而提供更多的功能和灵活性。

泛型的多态：在Dart中，泛型是支持多态的，即可以在运行时访问具体的泛型类型信息，实现更加灵活的类型处理和转换。

泛型的逆变和协变：Dart的泛型支持逆变和协变，通过使用in和out关键字可以实现逆变和协变约束，使得代码更加灵活和安全。