Java/静态编程语言泛型列表与通配符不兼容的类型

Question

我有一个抽象Java类，其中包含一个调用子类中的方法的具体方法：

abstract class JavaSuperclass<T> {
    T doSomething() {
        ...
        return doSomethingInSubclass();
    }

    abstract T doSomethingInSubclass();
}

我有一个Java子类，其泛型类型设置为列表：

class JavaSubclass extends JavaSuperclass<List<WhateverJava>> {
    List<WhateverJava> doSomethingInSubclass() {...}
}

我有一个Kotlin子类：

class KotlinSubclass : JavaSuperclass<List<WhateverKotlin>> {
    override fun doSomethingInSubclass(): List<WhateverKotlin> {...}
}

（WhateverJava是一个Java类，WhateverKotlin是一个Kotlin数据类。）

然后在Java类中，我使用两个子类。

List<WhateverJava> listFromJava = javaSubclass.doSomething();
List<WhateverKotlin> listFromKotlin = kotlinSubclass.doSomething();

调用Java子类的行编译正常，但是调用静态编程语言子类的行给出了这个错误：

error: incompatible types: List<capture<? extends WhateverKotlin>> cannot be converted to List<WhateverKotlin>




Answer 1

静态编程语言中的列表是协变的。因此，静态编程语言类Java：

class KotlinSubclass extends JavaSuperclass<List<? extends WhateverKotlin>>

向Kotlin类添加JVSUPPressWildcards注释可以修复此问题。

class KotlinSubclass : JavaSuperclass<@JvmSuppressWildcards List<WhateverKotlin>> {
    override fun doSomethingInSubclass(): List<WhateverKotlin> {...}
}