Unsafe读取数组：偏移量计算逻辑是如何工作的？

深入剖析Unsafe读取数组的偏移量

计算

使用Unsafe读取数组时，准确计算偏移量至关重要。其计算逻辑如下：

offset = base + (long)i

其中：

• i：待访问数组元素的索引。
• shift：数组元素大小的以2为底的对数。此值并非简单的元素大小，而是经过特殊计算后，确保偏移量始终是元素大小的整数倍。
• base：数组的基础偏移量，一个常数，与数组对象头大小无关。例如，对于int[]，base通常为16字节。

shift值的计算

shift值并非直接取元素大小的对数，而是通过以下代码计算：

int scale = unsafe.arrayIndexScale(int[].class);
int shift = 31 - Integer.numberOfLeadingZeros(scale);

这段代码巧妙地处理了数组元素大小并非2的幂次方的情况，保证了偏移量的正确性。unsafe.arrayIndexScale() 获取数组元素大小的比例因子，Integer.numberOfLeadingZeros() 则计算该因子二进制表示中前导零的个数。

base值的确定

base值由Unsafe确定，是数组的起始偏移量。对于不同的数组类型，base值可能不同，但与数组对象头的大小无关。

*为什么不直接使用`base + i scale`？**

直接使用base + i * scale 计算偏移量在元素大小为2的幂次方时是正确的，但当元素大小不是2的幂次方时，则可能导致错误的偏移量计算，从而引发程序崩溃或数据错误。shift的引入有效地解决了这个问题，确保偏移量始终与元素大小对齐。

通过以上分析，我们可以更清晰地理解Unsafe读取数组时偏移量计算的精妙之处，以及shift和base在确保计算准确性中的关键作用。