考虑以下函数:
int foo(int[] indices) {
int[] lookup = new int[256];
fill(lookup); // populate values, not shown
int sum = 0;
for (int i : indices) {
sum += lookup[i & 0xFF]; // array access
}
return sum;
}
现代的HotSpot虚拟机能否消除对于`lookup[i & 0xFF]`访问的边界检查?这个访问不会越界,因为`i & 0xFF`在0-255的范围内,而数组有256个元素。