Java转Kotlin泛型处理疑问：attachView编译报错及? extend T适配

首先咱们先理清你遇到的问题根源：你把Java中泛型类型参数的上界约束和通配符上界搞混了，而且误用了Kotlin的协变（out）关键字，这才导致了attachView方法的编译错误。

先看原Java代码的含义 #

你的Java接口定义是：

public interface MvpPresenter<V extends MvpView> { 
    public void attachView(V view); 
    public void detachView(boolean retainInstance); 
}

这里的<V extends MvpView>是给类型参数V设定上界——V必须是MvpView的子类或本身，并不是Java里的通配符? extends MvpView。这种场景下，V既可以作为方法的参数（比如attachView的入参），也可以作为返回值来使用。

你写的Kotlin代码为什么报错？ #

你转写的Kotlin代码用了interface MvpPresenter<out MvpView>，这里的out是Kotlin的协变关键字，对应Java的? extends T通配符，但协变有个核心限制：协变类型只能作为生产者（返回值），不能作为消费者（方法参数）。

而你的attachView方法需要接收一个MvpView类型的参数，这就违反了协变的规则——协变类型不允许被“消费”（作为入参传入），所以编译器会报错。

正确的转写方式 #

如果要和原Java接口的语义完全一致，Kotlin应该用类型参数上界约束，写法是<V : MvpView>，代码如下：

interface MvpPresenter<V : MvpView> {
    fun attachView(view: V)
    fun detachView(retainInstance: Boolean)
}

这样V被约束为MvpView的子类，既可以作为attachView的入参，也能在需要的时候作为返回值，和原Java接口的行为完全匹配。

再说说Java的? extends T在Kotlin中怎么处理 #

如果是在使用泛型类型时遇到Java的? extends T通配符（比如声明变量、方法参数），这时候才对应Kotlin的out T。举个例子：

Java代码：

// 方法参数用通配符
void setupPresenter(MvpPresenter<? extends MvpView> presenter) {
    // ...
}

对应的Kotlin代码：

fun setupPresenter(presenter: MvpPresenter<out MvpView>) {
    // ...
}

这里的out MvpView就等价于Java的? extends MvpView，表示这个presenter的泛型类型是MvpView的某个子类，此时我们只能从presenter中读取MvpView类型的数据（作为生产者），不能调用需要传入MvpView子类的方法（比如如果presenter有setView(V view)方法，这里就无法调用）。

总结一下 #

• 当你在定义泛型类/接口时，要给类型参数设定上界（对应Java的<V extends T>），Kotlin用<V : T>
• 当你在使用泛型类型时，遇到Java的? extends T通配符，Kotlin用out T，但要注意协变的限制：只能读，不能写（作为入参）

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