js数组在v8中分快数组（连续内存，o(1)访问）和慢数组（哈希表结构）；for循环直访内存无开销，foreach走内置函数校验多、不可中断，for...of依赖迭代器协议、跳过空位但有对象分配开销。
想看 JS 数组遍历的底层实现原理，不能直接翻浏览器源码“抄答案”，得按层次拆解：先看清 JS 引擎（如 V8）怎么组织数组数据，再看遍历方法如何调用底层机制，最后结合实际运行时行为理解差异。核心不在“写法”，而在“数据结构 + 执行模型”的配合。
数组在 V8 中不是传统数组
V8 为 JS 数组做了两套底层实现：快数组（Fast Elements）和慢数组（Dictionary Elements）。快数组用连续内存块存储，支持 O(1) 索引访问，适用于密集、数值索引为主的场景；慢数组本质是哈希表，用于稀疏数组或含大量非数字属性的情况。遍历性能差异往往源于此——for 循环能直击连续内存地址，而 forEach 或 for...of 在某些边界条件下可能触发额外的类型检查或原型链查找。
遍历方法的执行路径不同
每种遍历方式背后调用的是不同层级的引擎逻辑：
- for 循环：由解释器/编译器直接生成跳转指令，不经过 Array.prototype 方法调用栈，无函数调用开销，也不受原型污染影响；
-
forEach / map / filter：走的是 C++ 实现的内置函数（V8 源码中位于
/src/builtins/array-foreach.cc等），会校验回调是否可调用、检查 this 值、处理空位（holes）、维护迭代计数，且强制遍历全部元素（无法 break）； -
for...of：依赖数组的迭代器协议（
[Symbol.iterator]），V8 为其生成一个轻量级迭代器对象，每次调用next()返回{ value, done }；它不关心索引，只按“可迭代顺序”取值，对稀疏数组更友好，但多一层对象分配开销。
看源码的关键入口点
如果你真要查 V8 实现，重点看这几个位置（基于当前主流版本）：
- 数组迭代器构造：
/src/objects/js-array-iterator.h和.cc—— 定义了ArrayIterator类及其Next()行为； - forEach 内置函数：
/src/builtins/builtins-array-gen.cc中的Generate_ArrayForEach，用 Torque 语言编写，最终编译为高效机器码； - 快/慢数组切换逻辑：
/src/objects/js-array.h和/src/objects/fixed-array.h—— 查看GetElementsKind()和ConvertElementsToDenseFastElements()等方法； - for...of 的 Symbol.iterator 实现：
/src/builtins/array-builtins.cc中的ArrayPrototypeValues，它返回的就是那个迭代器对象。
验证原理比读源码更实用
与其逐行啃 C++，不如用几个小实验反推行为：
- 创建一个含空位的数组
[1,,3]，分别用 for、forEach、for...of 遍历，观察是否跳过空位（forEach 和 for...of 会跳，for 不会）； - 用
Object.defineProperty(arr, '2', { enumerable: false })尝试隐藏元素，看哪些遍历方式还能访问到（只有 for 和 for...of 能，因为它们不依赖 property enumeration）； - 在 Chrome DevTools 中开启 “JavaScript Profiler”，对比大数组下 for 与 forEach 的调用栈深度和耗时，直观感受函数调用成本。
真正吃透原理，不是记住某段 C++ 代码，而是理解：JS 数组是引擎动态适配的数据容器，遍历方法是语义契约 + 性能权衡的结果。选对方法的前提，是知道数据长什么样、你想要什么、以及引擎打算怎么帮你做到。
