V8引擎中的Hidden Class-白红宇

原作者：江凌

Hidden Class 是为了实现对象属性的快速存取。

JavaScript是一种动态编程语言：属性可进行动态的添加和删除，这意味着一个对象的属性是可变的，大多数的JavaScript引擎使用一个类似字典的数据结构来存储对象的属性 —— 那么每个属性的访问都需要动态的去查询属性在内存中的位置。那么相比Java这样的静态语言来说就会慢的多。静态语言的属性地址会在类定义后通过编译，相对于对象有一个固定的偏移量，访问属性本质上只是简单的读取和存储，一条指令就可以搞定。

为了提高属性的访问速度，在这种场景下，V8并没有动态的去内存中查询属性，而是动态的去创建Hidden Class 。Hidden Class 的基本想法并非什么新的创见，在prototype-based的编程语言Self中也做了类似的事情。在V8引擎中，当一个新的属性加入时，对象就会改变自己的Hidden Class 。

我们通过举例来更加清楚的了解整个过程，这个简单的JavaScript函数：

function Point(x, y) {  this.x = x;  this.y = y;}

当你执行new Point(x, y)后，一个新的Point的实例对象被创建了，首先V8会创建对象Point初始的Hidden Class ，在这个例子中，我们叫它C0. 这时这个对象中还没有任何属性被定义，初始的Hidden Class 为空。这一阶段，Point对象的Hidden Class 是C0.

然后执行第一条语句：Point (this.x = x;),这时会创建一个新的属性x，在这个案例中，V8会执行：

基于C0创建另一个Hidden Class C1，并在C1中描述这个对象有一个属性x，它的值存储位置在Point对象的 offset 0 上

当属性 x 已经被加入这个对象后，C1 会代替 C0 成为这个对象的Hidden Class 。

接着程序会执行第二条语句Point (this.y = y;), 创建一个新的属性 y, 类似的，V8会执行：

基于C1创建另一个Hidden Class C2, 并在C2中描述这个对象还有一个属性y，它的值存储位置在Point对象的offset 1 上

当属性 y 已经被加入这个对象后，C2 会代替 C1 成为这个对象的Hidden Class 。

在添加属性时同时创建一个新的 Hidden Class 看起来很低效。不过因为Hidden Class 是可以复用的，下一次再 new 一个Point的实例的时候，就不会重复的创建Hidden Class 了。

如果对对象中的某个属性执行了delete操作

void LookupIterator::Delete() {  Handle
    
      holder = Handle
     
      ::cast(holder_);  if (IsElement()) {    ElementsAccessor* accessor = holder->GetElementsAccessor();    accessor->Delete(holder, number_);  } else {    PropertyNormalizationMode mode = holder->map()->is_prototype_map()                                         ? KEEP_INOBJECT_PROPERTIES                                         : CLEAR_INOBJECT_PROPERTIES;    if (holder->HasFastProperties()) {      JSObject::NormalizeProperties(holder, mode, 0, "DeletingProperty");      holder_map_ = handle(holder->map(), isolate_);      ReloadPropertyInformation();    }    // TODO(verwaest): Get rid of the name_ argument.    JSObject::DeleteNormalizedProperty(holder, name_, number_);    JSObject::ReoptimizeIfPrototype(holder);  }}

这里经过3个步骤，1）降级成字典模式 2）删除属性 3）再次尝试优化为快速模式，自然代价是非常高。

其实还有很多情况让V8没法使用 Hidden Class 模式构建对象。比如：

function Point(x, y, z) {  if (z) {    this.x = x;  } else {   this.y = y;  } }

类似运行时属性赋值顺序不同，运行时属性缺失等情况都将破坏这种优化，退回到字典模式。

当然快速属性也有一定的个数限制，,简单来说就是少于字典模式存储花费的3倍时为快速模式。

利用隐藏类有兩个好处：属性的访问不再需要字典查询，同时可以让V8使用一些在 class-based 的編程語言中经常用的优化方法，例如 inline caching。

总结一下，Hidden Class 通过空间换时间，为对象设置Hidden Class，标记对象属性值存储位置相对于object的指针偏移，从而实现快速的访问属性值。

延伸阅读