为何JavaScript中matrix.shift()比数组索引访问快25倍？

在解决《搜索二维矩阵》题目时，出现了反常的性能差异：两段核心逻辑一致的代码，仅取行方式不同，耗时却天差地别：

function searchMatrix(matrix, target) {
    const len = matrix.length;

    for (let i = 0; i < len; i++) {
        //const row = matrix.shift();  // 使用此方式，执行耗时不足100ms
        const row = matrix[i]   // 使用索引访问，耗时超2000ms甚至超时
        let start = 0, end = row.length - 1;

        while (start <= end) {
            const mid = start + Math.floor((end - start) / 2);

            if (row[mid] === target) return true;

            if (row[mid] < target) {
                start = mid + 1;
            } else {
                end = mid - 1;
            }
        }
    }

    return false;
}

按ECMAScript规范的定义，shift()内部是通过循环和索引实现的，时间复杂度为O(n)，理论上应该比O(1)的索引访问慢，但实际结果完全相反。这种差异的核心原因可以从以下几点解释：

引擎内置的底层优化 #

JavaScript引擎会对shift()这类高频数组操作做深度优化，用原生底层代码实现，比普通JS循环效率高得多：

• 原地指针操作：直接在同一内存块内调整元素指针，避免了大量数据移动和不必要的内存重分配
• 缓存友好的重排：以最大化CPU缓存利用率的方式重排元素，大幅提升后续内存访问的速度

for循环的隐藏额外开销 #

看似简单的for循环索引访问，存在shift()能规避的隐性成本：

• 变量查找开销：每次循环都要查找循环变量i和判断条件i < len，累积下来会增加额外消耗
• 边界检查成本：索引访问matrix[i]时，引擎会做显式的数组边界检查，带来额外性能损耗
• 缓存效率低下：手动索引访问的内存访问模式，缓存友好度远不如shift()的优化实现

额外影响因素 #

• 数组规模：数组越大，shift()的优化效果越显著，和索引访问的性能差距也就越大
• 数据类型：引擎可能针对数字这类常见数据类型做了定制优化，进一步放大了性能差异

内容的提问来源于stack exchange，提问作者Amit Kumar