java - List数组强转问题

Question

在下述代码中，weightEdges 数组中存放的是weightedEdge类型，当把weightedEdge数组赋给Listedges数组的时候，为什么是这样强转Listedges=(List)weightEdges？
我的理解应该是将ListweightEdges中的每一个weightEdges 对象向上转型成器父类edge。请大神解决一下疑问。

代码部分：

javaimport java.util.ArrayList;
import java.util.List;

public class Problem {
    public static void main(String[] args) {
        List<weightedEdge>weightEdges = new ArrayList<>();
        for(int i=0;i<10;i++)
            weightEdges.add(new weightedEdge(i, i, i));

        //TODO 为何这样强转？？？？？？
        *List<edge>edges=(List)weightEdges;*
    }
}

class edge{
    private int u;
    private int v;

    public edge(int u, int v) {
        super();
        this.u = u;
        this.v = v;
    }
    public int getU() {
        return u;
    }
    public int getV() {
        return v;
    }
}

class weightedEdge extends edge{
    private int weight;

    public weightedEdge(int u,int v,int weight) {
        super(u,v);
        this.weight = weight;
    }

    public int getWeight() {
        return weight;
    }

}

Answer 1

先吐槽, "weightEdges 数组" -- 这里明明是List, 我相信你是写错了...; 还有, 还是遵循java命名规范吧, class Edge{}...

对java泛型来说, 虽然WeightedEdge是Edge的子类, 但是List<WeightedEdge> 和 List<Edge> 毛关系也没有; 所以对你上面的代码来说, 就使用了 raw type (List) 来中转一下, 因为 所有带泛型的 List 都是 raw type List 的子类型, 所以你上面的代码可以编译通过(虽然还有warning).

Answer 2

java的范型是运行时擦除的，也就是说List和List 运行的时候都是List类型，所以强转的时候转成List，List和List并不是两个类型，对于java来说只有一种List类型，后面<>中的内容只是编译时用来类型检查的