java - 抽象类和嵌套类的ArrayList冲突

Question

我有一个适配器:

class PhotoAdapter : RecyclerView.Adapter<PhotoAdapter.AbstractViewHolder>() {

    fun addItems(list: ArrayList<AbstractItem>) {
        val position = items.size
        items.addAll(list)
        notifyItemRangeInserted(position, list.size)
    }

    abstract class AbstractItem(
        open val id: Int
    )

    class PhotoItem(
        override val id: Int,
        val url: String?
    ) : AbstractItem(id)

    ...
}

以及使用它的片段:

val adapter = PhotoAdapter()
val list: ArrayList<PhotoAdapter.PhotoItem> = ArrayList(emptyList<PhotoAdapter.PhotoItem>())
adapter.addItems(list)

但是尽管 PhotoItem 嵌套自 AbstractItem 我无法编译:

如果我将 addItems() 中的 ArrayList 更改为简单的 List，它会编译:

fun addItems(list: List<AbstractItem>) {
...

可能类型转换也可以，但我没有检查。

问题是为什么实现(ArrayList)和接口(interface)(List)对嵌套类的看法不同？

更新

我重写成Java，会更清晰。

public class Adapter extends RecyclerView.Adapter<Adapter.AbstractViewHolder> {

    private ArrayList<AbstractItem> items;

    public void addItems(ArrayList<AbstractItem> list) {
        int position = items.size();
        items.addAll(list);
        notifyItemRangeInserted(position, list.size());
    }

    abstract class AbstractViewHolder extends RecyclerView.ViewHolder {

        public AbstractViewHolder(@NonNull View itemView) {
            super(itemView);
        }
    }

    public abstract class AbstractItem {
        int id;
    }

    public class PhotoItem extends AbstractItem {
        int id;
        String url;
    }
}

public class Example {

    void init() {
        ArrayList<Adapter.PhotoItem> list = new ArrayList<>();
        Adapter adapter = new Adapter();
        adapter.addItems(list);
    }
}

Answer 1

因为 List是协变的(它被定义为 List<out T> )，所以 List<PhotoAdapter.PhotoItem>是 List<AbstractItem> 的子类型.但是MutableList和 ArrayList是不变的，这意味着 ArrayList<PhotoAdapter.PhotoItem>不是 ArrayList<AbstractItem> 的子类型(或父类(super class)型) .

参见 https://kotlinlang.org/docs/reference/generics.html#variance详细解释为什么(我认为在这里复制它没有多大意义)。