Kotlin 泛型的主要限制如下:
-
类型擦除:Kotlin 的泛型在编译时会进行类型擦除,这意味着在运行时,泛型类型参数将被擦除,替换为其限定类型(无限定类型时,默认为 Object)。因此,运行时无法获取泛型参数的具体类型。
-
不能创建参数化类型的数组:由于类型擦除,不能创建泛型参数化类型的数组,例如 T[] 数组。但可以使用数组列表(如 ArrayList
)来代替。 -
基本类型和数组作为泛型参数:Kotlin 不允许将基本类型(如 Int、Double 等)或数组作为泛型参数。但可以使用它们的包装类(如 Integer、Double 等)或将数组作为泛型参数的约束。
-
协变和逆变:Kotlin 支持协变和逆变,但有一些限制。对于类类型,只支持协变(子类作为泛型参数)。对于接口类型,只支持逆变(父类作为泛型参数)。这有助于确保类型安全并避免在运行时出现 ClassCastException。
-
泛型约束:虽然 Kotlin 支持泛型约束,但相对于 Java,其约束能力较弱。可以使用
where
子句来添加泛型约束,但只能约束类型参数必须实现某个接口或继承某个类。不能使用自定义类或函数作为约束。 -
可变参数和泛型:Kotlin 不支持将泛型类型参数用于可变参数(vararg)。如果需要使用可变参数,可以使用数组作为中间层,例如
fun
。printArray(array: Array ) -
泛型方法和泛型类:Kotlin 支持泛型方法和泛型类。泛型方法允许在方法级别上定义类型参数,而泛型类允许在类级别上定义类型参数。两者都可以使用类型参数约束和协变/逆变。