Java:使用显式子类数组调用 Vararg 方法

Question

这个问题已经有答案了:

Dealing with an ArrayStoreException (4 个回答)

已关闭 5 年前。

考虑以下示例，忽略人们想要这样做的原因:

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 的实例类(class)。这完全没问题。

但是，在运行时，Wrapper[]实例直接传递到方法中。我认为拆除这个数组并重新创建 Original[] 的实例会足够聪明。在运行时，但似乎情况并非如此。

此行为是否曾在某个地方(例如 JLS)记录过？像我这样的普通程序员总是假设我可以操纵 Original... 的 vararg 参数。就好像它是 Original[] .

Answer 1

是的，当 Wrapper 是 Original 时，Wrapper[] 也是 Original[] >(当我意识到这一点时，我也很惊讶)。

您的 Wrapper 是 Original 的子类型，因为它扩展了 Original 类。

是的，如果被调用的方法尝试存储不是 Wrapper 的 Original，数组类型之间的子类型关系可能会引发 ArrayStoreException 到传递的数组中。但这在编译时不会被检查。据我了解，这正是我们拥有 ArrayStoreException 类型的原因，因为通常在编译时会捕获将错误类型存储到数组中的其他尝试。 the documentation of ArrayStoreException中有一个很好的简短示例。 。该示例还表明，它与可变参数或方法调用没有任何关系，它适用于所有数组。

Java 语言从版本 1 开始就是这样设计的(顺便说一句，这早在可变参数被引入之前)。感谢 Andy Turner 找到了 Java 语言规范 (JLS) 引用:它位于 section 4.10.3 Subtyping among Array Types :

If S and T are both reference types, then S[] >_1 T[] iff S >_1 T.