V8中JavaScript对象的内存布局

Question

我正在寻找一些C语言绑定到V8,所以我需要弄清楚各种原始JavaScript类型的内存布局.有关于这些细节的任何文件吗？

Answer 1

您无需了解数据类型布局即可为 V8 编写 C 绑定。当您使用 V8 时，永远不会真正直接访问对象，而是通过 API 访问 - 只有 V8 实现知道它们是如何布局的。例如，foo从对象获取属性o在 C++ 中如下所示：

v8::Handle<v8::Object> o;
v8::Handle<v8::Object> v =
  o->Get(v8::String::NewFromUtf8(isolate, "foo"));

现在要将其包装到 C 中，您只需要知道如何表示和传递v8::Handle<T>，然后您可以编写如下包装器：

template<typename T> Handle<T> FromC(v8_handle_t h) { /* ... */ }
template<typename T> v8_handle_t ToC(Handle<T> h) { /* ... */ }

extern "C" v8_handle_t v8_object_get(v8_handle_t self, 
                                     v8_handle_t key) {
  return ToC(FromC<Object>(self)->Get(FromC<Value>(key)));
}

那么里面是什么v8::Handle<T>？实际上，它只是一个指向某个槽的指针，而该槽又包含一个指向底层 V8 对象的实际指针。这种双重间接的存在是为了使 V8 GC 能够精确跟踪 C++ 代码中正在使用哪些对象，并允许它移动这些对象。

因此，理论上您可以定义v8_handle_t为不透明指针并按如下方式对其进行编组：

typedef struct v8_object_pointer_t* v8_handle_t;  // Opaque pointer
static_assert(sizeof(v8_handle_t) == sizeof(Handle<Object>))
template<typename T> Handle<T> FromC(v8_handle_t h) {
  return *(Handle<T>*)&h;
}
template<typename T> v8_handle_t ToC(const Handle<T>& h) {
  return *(v8_handle_t*)&h;
}

HandleScope一个较小的复杂性来自于管理称为“管理s”的结构Handle。在 C++ API 中，它依赖 RAII 模式来管理一些后备存储。处理它的最简单方法可能是：

typedef struct {
  void* a[3];
} v8_handle_scope_t;
static_assert(sizeof(v8_handle_scope_t) == sizeof(HandleScope))
void v8_handle_scope_enter(v8_handle_scope_t* scope) {
  new(scope) HandleScope; 
}
void v8_handle_scope_leave(v8_handle_scope_t* scope) {
  delete (HandleScope*)scope;
}

在需要句柄范围的代码中仔细平衡使用：

for (i = 0; i < N; i++) {
  v8_handle_scope_t scope;
  v8_handle_scope_enter(&scope);
  // action
  v8_handle_scope_leave(&scope);
}