java和kotlin之间的泛型!! 帮我？

Question

这是我的代码

[Kotlin]

internal abstract class Parent<out T, in V> constructor(
    tList: List<T>,
    vList: List<V>
) {

    abstract fun get(): List<T>
    abstract fun set(v: List<V>)

}

[Java] - 它继承了kotlin类Parent.

final class Child extends Parent<Number, String> {

    public Child(
            @NotNull List<? extends Number> tList, 
            @NotNull List<? extends String> vList) {
        super(tList, vList);
    }

   @NotNull @Override
    public List<Number> get() {
        return null;
    }

    @Override
    public void set(@NotNull List<? extends String> v) {}

}

Parent类有Generics,叫做T(out),V(in),

所以我认为..

类Child的构造函数应该是..

public Child(
        @NotNull List<? extends Number> tList, 
        @NotNull List<? super String> vList) {
    super(tList, vList);
}

即第二个参数vList应该是

List<? super String>

因为父母的通用的V是'in'但它是..

List<? extends String>

有没有人可以解释这个？帮我!

[编辑] ...

public Child(
        @NotNull List<Number> tList, 
        @NotNull List<String> vList) {
    super(tList, vList);
}

这可能..我的问题中的代码只是从IDE生成的代码..

Answer 1

在 Kotlin 中，接口List是不可变的，这意味着它是只读的。

这是它的签名：

public interface List<out E> : Collection<E>

所以你的构造函数实际上看起来像这样：

internal abstract class Parent<out T, in V> constructor(
    tList: List<out T>,
    vList: List<out V>
)

如果您想将值放入vList（您通过使用声明in），则必须使用 MutableList 接口：

internal abstract class Parent<T, V> constructor(
    tList: List<T>,
    vList: MutableList<in V>
)