Kotlin泛型有何使用限制

Kotlin 泛型的主要限制如下：

1. 类型擦除：Kotlin 的泛型在编译时会进行类型擦除，这意味着在运行时，泛型类型参数将被擦除，替换为其限定类型（无限定类型时，默认为 Object）。因此，运行时无法获取泛型参数的具体类型。

2. 不能创建参数化类型的数组：由于类型擦除，不能创建泛型参数化类型的数组，例如 T[] 数组。但可以使用数组列表（如 ArrayList）来代替。

3. 基本类型和数组作为泛型参数：Kotlin 不允许将基本类型（如 Int、Double 等）或数组作为泛型参数。但可以使用它们的包装类（如 Integer、Double 等）或将数组作为泛型参数的约束。

4. 协变和逆变：Kotlin 支持协变和逆变，但有一些限制。对于类类型，只支持协变（子类作为泛型参数）。对于接口类型，只支持逆变（父类作为泛型参数）。这有助于确保类型安全并避免在运行时出现 ClassCastException。

5. 泛型约束：虽然 Kotlin 支持泛型约束，但相对于 Java，其约束能力较弱。可以使用 where 子句来添加泛型约束，但只能约束类型参数必须实现某个接口或继承某个类。不能使用自定义类或函数作为约束。

6. 可变参数和泛型：Kotlin 不支持将泛型类型参数用于可变参数（vararg）。如果需要使用可变参数，可以使用数组作为中间层，例如 fun <T> printArray(array: Array<T>)。

7. 泛型方法和泛型类：Kotlin 支持泛型方法和泛型类。泛型方法允许在方法级别上定义类型参数，而泛型类允许在类级别上定义类型参数。两者都可以使用类型参数约束和协变/逆变。