JavaScript数组索引越界不报错，因语言设计将其视为属性访问，V8等引擎通过去虚化、边界省略和空槽优化提升性能，仅TypedArray有静默截断等特殊处理。
JS 编译器（如 V8）并不在编译阶段做传统意义上的“数组索引溢出检查”，它根本不阻止越界访问，也不会抛出错误——这是 JavaScript 语言规范明确要求的行为。所谓“优化”，其实是围绕快速地址计算 + 隐式边界容忍 + 运行时兜底机制展开的，核心目标是让 arr[i] 在绝大多数合法场景下以接近原生数组的速度执行，同时不因频繁检查拖慢性能。
为什么 JS 不检查数组索引越界？
这源于语言设计哲学：JavaScript 把数组当作“带数字键的类对象”，而非 C 那样的严格连续内存块。数组索引访问本质是属性访问的一种语法糖：
-
arr[0]等价于arr["0"]，走的是对象属性查找路径（先查 own property，再查原型链） - 当
i是负数、非整数、超出length，引擎不会报错，而是按规则返回undefined - 这种宽松性支持了稀疏数组、动态扩容等特性，但也意味着“越界”在 JS 中没有明确定义——它只是“查不到”
V8 对数组索引访问的关键优化点
V8 会根据数组的内部表示类型（如 PACKED_SMI_ELEMENTS、HOLEY_DOUBLE_ELEMENTS 等）选择不同访问策略，但共通逻辑包括：
-
去虚化（de-virtualization）：若静态分析确认
arr是简单整数数组且i是小整数常量或稳定变量，V8 可跳过属性查找，直接生成内存偏移指令 -
边界省略（bounds elision）：当引擎能证明
i = 0（例如for (let i = 0; i ），就完全省略长度比较，直接算地址：<code>base + i * element_size -
空槽（hole）快速路径：对稀疏数组，V8 维护一个“快属性字典”和“慢元素字典”。若索引落在已知空槽范围，直接返回
undefined，不触发完整哈希查找
真正可能“溢出”的地方不是索引，而是调用栈
需要特别注意：你提到的“溢出检查”容易与 栈溢出（RangeError: Maximum call stack size exceeded） 混淆。数组索引本身不会导致栈溢出；但以下场景会：
- 用递归实现深拷贝/遍历，而数组含循环引用 → 无限递归压栈
- 用
Math.max(...hugeArray)展开超大数组 → 参数列表过长，触发引擎参数限制（非栈溢出，但错误信息相似） - 嵌套过深的 getter/setter 触发链，其中某处访问
arr[i]只是链条一环
这些都不是数组索引机制的问题，而是调用控制流失控的结果。
开发者该关注的实际边界行为
虽然引擎不做硬检查，但你要清楚这些隐式边界规则：
-
arr[-1]、arr[2.5]、arr["1"]→ 全部返回undefined（除非手动定义了对应字符串键） -
arr[1000]当arr.length → 返回 <code>undefined；但若arr[1000] = x，则length自动更新为1001 - TypedArray（如
Int32Array）例外：它有固定内存布局，越界写入会被静默截断，读取越界位置返回0（非undefined）
