用显式子类数组调用的java:vararg方法[duplicate]

考虑以下示例,忽略要执行此操作的原因:

private static class Original {
    public String getValue() {
        return "Foo";
    }
}

private static class Wrapper extends Original {
    private Original orig;

    public Wrapper(Original orig) {
        this.orig = orig;
    }

    @Override
    public String getValue() {
        return orig.getValue();
    }
}

public static void test(Original... o) {
    if (o != null && o.length > 0) {
        for (int i = 0; i < o.length; i++) {
            if (o[i] instanceof Wrapper) {
                o[i] = ((Wrapper) o[i]).orig; // Throws java.lang.ArrayStoreException at runtime
            }
        }
    }
}

public static void main(String[] args){
    test(new Wrapper[] { // Explicitly create an array of subclass type
        new Wrapper(new Original())
    });
}

此示例在编译时不给出警告或错误。似乎编译器决定 Wrapper[] 包含 Wrapper 实例,这实际上意味着这些绝对是 Original 上课。这很好。

但是,在运行时, 包装器[] 实例是 直接地 传递到方法中。我以为拆掉这个数组并重新创建 Original[] 在运行时,但似乎不是这样。

这种行为有没有记录在案(比如jls)?像我这样的普通程序员总是假设我可以操作 Original... 好像是一个 原件[] 是的。