为什么 javac 对数组进行两次检查？

Question

检查字节码，我注意到 javac 在转换为数组类型时似乎重复了 checkcast 指令。

Cast.java：javac

    class Cast {
      void test(Object a) {
        Object[] b = (Object[]) a;
      }
    }

编译版本的 javap 反汇编

    void test(java.lang.Object);
      Code:
       0:   aload_1
       1:   checkcast   #2; //class "[Ljava/lang/Object;"
       4:   checkcast   #2; //class "[Ljava/lang/Object;"
       7:   astore_2
       8:   return

测试 jikes 显示预期的单次转换

    void test(java.lang.Object);
      Code:
       0:   aload_1
       1:   checkcast   #10; //class "[Ljava/lang/Object;"
       4:   astore_2
       5:   return

checkcast 如果该对象不能被视为请求的类型并且不执行任何操作，则应该引发异常，因此我不明白为什么将演员阵容加倍会有帮助。我还没有查看 JDK 源代码来了解它是如何生成的，以及这是否有助于解释原因（也许这是一个提示）。

Answer 1

这是 javac 的已知错误。但它大多是无害的。