java 数组越界判断和获取数组长度的实现方式

1
2
3
4
5
6
7
8
9
public class TestArrayIndexOutOfBoundsException {
    public static void main(String[] args) {
        int[] is = new int[2];
        int x = is[5];
        System.out.println(x);
        int len = is.length;
        System.out.println(len);
    }
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
0 iconst_2
 1 newarray 10 (int) // 创建长度为2的int型数组
 3 astore_1 // 将数组is存储到local stack的slot1中
 4 aload_1 // 将数组is压入操作数栈
 5 iconst_5 // 将常量5压入操作数栈
 6 iaload // 这个指令就是通过数组索引获取元素, is[5]
 7 istore_2
 8 getstatic #2 <java/lang/System.out>
11 iload_2
12 invokevirtual #3 <java/io/PrintStream.println>
15 aload_1 // 将数组is压入操作数栈
16 arraylength // 获取is数组的长度
17 istore_3
18 getstatic #2 <java/lang/System.out>
21 iload_3
22 invokevirtual #3 <java/io/PrintStream.println>
25 return

1
2
3
4
5
6
7
8
9
10
11
12
13
14
// hotspotsrcsharevminterpreterbytecodeInterpreter.cpp
void
BytecodeInterpreter::run(interpreterState istate) {
// 省略无关代码
 CASE(_arraylength):
 {
  // java中的对象实例, 对应的c++实例就是arrayOopDesc
     arrayOop ary = (arrayOop) STACK_OBJECT(-1);
     CHECK_NULL(ary);
     SET_STACK_INT(ary->length(), -1); // 就是通过ary->length()这个方法来获取数组长度
     UPDATE_PC_AND_CONTINUE(1);
 }
}
// 省略无关代码

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
// hotspotsrcsharevminterpreterbytecodeInterpreter.cpp
void
BytecodeInterpreter::run(interpreterState istate) {
// 省略无关代码
 #define ARRAY_INTRO(arrayOff)                                                  
       arrayOop arrObj = (arrayOop)STACK_OBJECT(arrayOff);                       // 从局部变量表中获取数组对象is
       jint     index  = STACK_INT(arrayOff + 1);                                // 从局部变量表中获取索引5
       char message[jintAsStringSize];                                          
       CHECK_NULL(arrObj);                                                      
       if ((uint32_t)index >= (uint32_t)arrObj->length()) {                      // 判断索引是否大于或等于数组长度
           sprintf(message, "%d", index);                                       
           VM_JAVA_ERROR(vmSymbols::java_lang_ArrayIndexOutOfBoundsException(),  // 如果越界, 则抛出ArrayIndexOutOfBoundsException异常
                         message);                                              
       }
// 省略无关代码
 #define ARRAY_LOADTO32(T, T2, format, stackRes, extra)                                
       {                                                                               
           ARRAY_INTRO(-2);                                                             // 获取数组所在的地址
           (void)extra;                                                                
           SET_ ## stackRes(*(T2 *)(((address) arrObj->base(T)) + index * sizeof(T2)),  // 根据数组所在地址,加上索引计算的偏移地址, 获得数组指定元素
                            -2);                                                       
           UPDATE_PC_AND_TOS_AND_CONTINUE(1, -1);                                      
       }
// 省略无关代码
 CASE(_iaload): // 此处对应的就是iaload指令的具体实现
          ARRAY_LOADTO32(T_INT, jint,   "%d",   STACK_INT, 0);
}
// 省略无关代码

1
2
int [][] array = {{1,2,3},{1,4}};
        System.out.println(array[1][2]);