为什么数组下标越界要检查

如下定义一个数组：

int[] ints = new int[100];

此时就会在堆中开辟一个对应的空间，ints也被分配了相应的内存空间。

这里从JVM的角度说下自己的理解，不一定是对的哈，比如现在只在堆中给ints分配了相对应它长度100的内存空间，如果不检查数组下标越界，那么ints就可以无限分配了，直到堆内存的极限，那么问题来了，其他的对象也有被分配在堆上，如果数组允许下标越界的内存分配方式，就可能把这个内存上的内容给覆盖了，也就可能把其他对象给覆盖了，这样大家都是数组了，还怎么做业务。。。

PS：以上是个人的理解和想法，仅做分享，欢迎指正！