V8基于原型形状（Shape）预分配对象内存，通过稳定构造函数、固定属性顺序和冻结原型提升性能，避免动态增删属性导致去优化。

在 V8 中，对象分配空间的预分配策略不是孤立进行的，而是与原型继承结构深度耦合——它不等对象真正被访问才分配内存，而是在构造或首次访问时，基于其原型链上已知的属性布局，提前规划内存结构，从而减少运行时动态调整开销。

原型形状（Shape）驱动的预分配

V8 会为具有相同属性名、相同添加顺序、相同初始值类型的对象归纳出一个“形状”（也叫 map）。当多个对象共享同一原型且按相同方式初始化（例如都通过 function Animal() { this.name = ''; this.age = 0; } 构造），V8 就能复用该形状，并为后续同类对象预分配固定大小的连续内存块。这种预分配跳过了逐字段探测和重排的过程，直接按 shape 描述的偏移量写入数据。

• 预分配只对“稳定形状”的对象生效；若频繁增删属性或乱序赋值，shape 会快速失效，触发去优化（deoptimization）
• 使用 Object.freeze() 或 Object.seal() 可显式锁定 shape，提升预分配成功率
• 避免在构造函数中条件性赋值（如 if (x) this.flag = true;），否则易分裂出多个 shape 分支

隐藏类（Hidden Class）与内联缓存协同优化

每个对象背后关联一个隐藏类（即 shape 的运行时表示），它不仅描述字段布局，还记录了该对象在原型链上可能访问的属性位置。V8 利用这点，在生成代码时把常见属性访问（如 obj.name）编译为直接内存偏移读取，而非每次都查原型链。这就要求：预分配的空间不仅要容纳自身属性，还要为高频继承属性预留“内联槽位”（inline slot）或快速跳转路径。

• 若子对象常访问父原型上的方法（如 dog.bark()，bark 在 Animal.prototype 上），V8 会在 dog 对象的隐藏类中标记该方法的入口地址，避免每次调用都遍历原型链
• 这种优化依赖原型链稳定——一旦修改 Animal.prototype，相关隐藏类会失效，后续对象需重建 shape 并重新触发预分配逻辑

线程本地分配（TLA）与原型感知的内存池

V8 的新生代内存采用半空间（semispace）设计，对象分配本质是移动一个指针（bump pointer）。在原型继承场景下，V8 会识别出一批“同构对象簇”（例如由同一构造函数创建、继承自同一原型的对象），将它们集中分配在相邻内存区域。这不仅利于 TLA 高效执行，还提升 CPU 缓存局部性——访问 dog1.name 和 dog2.name 时，很可能命中同一缓存行。

• 数组对象有额外优化：若原型链上无自定义 length 或 push，V8 可启用快速元素访问模式，预分配紧凑的连续数组缓冲区
• 避免给原型添加非常规属性（如 Animal.prototype.__cache__ = new Map()），这类属性会污染 shape 推断，使预分配退化为通用堆分配

实际开发中的关键建议

预分配不是自动发生的魔法，它高度依赖代码的可预测性。要让 V8 充分利用这一机制，核心是保持构造行为和原型结构的稳定性：

• 始终用构造函数或 class 初始化对象，避免字面量混用（{name: '', age: 0} 与 new Person() 不共享 shape）
• 在构造函数末尾统一设置所有实例属性，不要在方法中后期追加（如 this.id = generateId() 应放在构造函数内，而非首次调用 .init() 时）
• 原型方法尽量不修改实例状态（尤其是不新增属性），否则可能触发隐藏类切换
• 用 console.log(%DebugPrint(obj))（需开启 --allow-natives-syntax）可查看对象当前 shape 和是否被优化