java - 编译器应该用泛型集合发现这个错误吗？

Question

以下代码抛出 ArrayStoreException在toArray() .鉴于toArray，编译器不应该发现错误并报告类型冲突吗？需要 V[]注册表映射的类型值为 Map<String,String> ？

private Map<String,Map<String,String>>  registry;

...

registry=new TreeMap<String,Map<String,String>>(String.CASE_INSENSITIVE_ORDER));

...

void removeTargets(String[] clsarr, String hdl) {
        if(clsarr==null) { clsarr=registry.values().toArray(new String[0]); }
    ...
    }

在我看来这像是一个编译器错误。

Answer 1

不是编译器错误。虽然可以说是库错误。

Collection.toArray() 的类型是<T> T[] toArray(T[] a) .注意 T是 toArray 的类型参数方法，与Collection无关的类型参数。

如果 Collection.toArray 的签名，这个错误就会被捕获是<T super E> T[] toArray(T[] a)但这会使它很难使用，因为这样做是不合法的 new Map<String, String>[0] -- 您收到“通用数组创建”错误。