深入剖析Unsafe读取数组的偏移量计算
使用Unsafe读取数组时，准确计算偏移量至关重要。其计算逻辑如下：
offset = base + (long)i << shift
其中：
-
i：待访问数组元素的索引。 -
shift：数组元素大小的以2为底的对数。此值并非简单的元素大小，而是经过特殊计算后，确保偏移量始终是元素大小的整数倍。 -
base：数组的基础偏移量，一个常数，与数组对象头大小无关。例如，对于int[]，base通常为16字节。
shift值的计算
shift值并非直接取元素大小的对数，而是通过以下代码计算：
<code class="java">int scale = unsafe.arrayIndexScale(int[].class); int shift = 31 - Integer.numberOfLeadingZeros(scale);</code>
这段代码巧妙地处理了数组元素大小并非2的幂次方的情况，保证了偏移量的正确性。unsafe.arrayIndexScale() 获取数组元素大小的比例因子，Integer.numberOfLeadingZeros() 则计算该因子二进制表示中前导零的个数。
base值的确定
base值由Unsafe确定，是数组的起始偏移量。对于不同的数组类型，base值可能不同，但与数组对象头的大小无关。
*为什么不直接使用`base + i scale`？**
直接使用base + i * scale 计算偏移量在元素大小为2的幂次方时是正确的，但当元素大小不是2的幂次方时，则可能导致错误的偏移量计算，从而引发程序崩溃或数据错误。shift的引入有效地解决了这个问题，确保偏移量始终与元素大小对齐。
通过以上分析，我们可以更清晰地理解Unsafe读取数组时偏移量计算的精妙之处，以及shift和base在确保计算准确性中的关键作用。
