Kotlin是否可省略泛型类型参数？Java转Kotlin泛型适配问题

问题解答 #

Kotlin 从设计上就不支持 Java 风格的原生类型（raw type），因此不能直接定义 Array<PetSitter> 省略泛型参数。你可以通过以下两种方案实现和 Java 原生类型写法完全一致的运行效果，且不需要改动核心逻辑：

方案1：显式 unchecked 强转（推荐，迁移改动最小） #

Java 中使用原生类型本质是隐式做了泛型擦除和类型转换，你可以在 Kotlin 中把这个过程显式写出来，运行行为和 Java 完全一致：

fun main() {
    // 显式强转为 Array<PetSitter<Pet>>，等效于Java的raw type数组
    @Suppress("UNCHECKED_CAST")
    val sitters: Array<PetSitter<Pet>> =
        arrayOf(PetSitter<Cat>(), PetSitter<Dog>()) as Array<PetSitter<Pet>>

    sitters[0].walk(Cat()) // 可正常编译运行
}

如果不需要整个数组都做转换，也可以在单次调用时强转：

@Suppress("UNCHECKED_CAST")
(sitters[0] as PetSitter<Pet>).walk(Cat())

方案2：使用声明处逆变（适合愿意调整泛型声明的场景） #

如果你的 PetSitter 类只消费泛型参数 T（即 T 只出现在方法参数位置，不会作为返回值），可以给泛型参数添加 in 关键字声明逆变：

// 声明逆变，PetSitter<Cat> 会自动成为 PetSitter<in Pet> 的子类型
class PetSitter<in T : Pet> {
    fun walk(pet: T) {}
}

fun main() {
    val sitters: Array<PetSitter<in Pet>> =
        arrayOf(PetSitter<Cat>(), PetSitter<Dog>())

    sitters[0].walk(Cat()) // 可正常编译运行
}

原星投影报错的原因 #

Kotlin 中 PetSitter<*> 属于星投影，对于消费泛型参数的方法（如 walk 接收 T 作为参数），编译器会将参数类型推导为 Nothing，目的是禁止传入任何不符合类型约束的参数，这是 Kotlin 类型安全设计的一部分。要达到 Java 原生类型放弃泛型检查的效果，必须通过显式强转告知编译器放弃类型校验。

内容的提问来源于stack exchange，提问作者Jonn