[领域]javascript hacking guide part 4

孙向晖 sunshineormer at hotmail.com

在正式开始之前，先说点关于RHG的话题，我的JHG系列，基本是在仿照着RHG的风格在写作。RHG的述事风格很有条理性，并且会指导你跳过跳过再跳过一些无关痛痒的程序片段。这是对的，在一大堆程序中，能够快速准确的定位，不是件很容易的事情。

从今天开始，我将讲述我对蜘蛛猴源代码的查找过程：

在js.c 找到main里面的调用过程，注意，下面的函数都是精简过的，而且是平级的关系：

rt = JS_NewRuntime(...

cx = JS_NewContext(rt,...

glob = JS_NewObject(cx, &global_class, NULL, NULL);

JS_InitStandardClasses(cx, glob)

JS_DefineFunctions(cx, glob, shell_functions)

<o:p> </o:p>

ok,现在来看一下，运行时和上下文环境是解释引擎的初始化，可以先跳过，哈，我们真正关心的肯定是从glob开始的那3句了：glob是ECMA262中要求的内置全局对象，这里有我们比较感兴趣的NewObject方法;紧接其后的，将是对其他内置对象的创建过程（JS_InitStandardClasses）;最后，我们可以看看全局对象global都有哪些方法。

<o:p> </o:p>

JS_NewObject的函数声明，被定义在jsobj.h中，函数定义在jsobj.c中：

：

extern JSObject *

js_NewObject(JSContext *cx, JSClass *clasp, JSObject *proto, JSObject *parent);

记住，因为是要初始化glob对象，我们在传递参数是，proto和parent都传递了NULL。这样，有效传递到函数体中的，就只有刚刚创建的上下文环境（cx）和clasp了。clasp的值被赋予了global_class,这是个全局变量，定义在js.c中

<o:p> </o:p>

JSClass global_class = {

    "global", JSCLASS_NEW_RESOLVE | JSCLASS_GLOBAL_FLAGS,

    JS_PropertyStub,  JS_PropertyStub,

    JS_PropertyStub,  JS_PropertyStub,

    global_enumerate, (JSResolveOp) global_resolve,

    JS_ConvertStub,   JS_FinalizeStub,

    JSCLASS_NO_OPTIONAL_MEMBERS

};

<o:p> </o:p>

在这个变量中，我们发现了“global”这个单词，结合JSClass这名字，再根据MFC等框架的经验，很容易的我们就可以联想到，这是用来做动态生成和RTTI的类名。

要想看懂这个结构体，一点也不难，只需到jsapi.h中找JSClass的定义即可。里面也没有什么太多的玩意，只是有一堆的函数指针，我们只需简单留意其中的强制非空部分即可。

<o:p> </o:p>

struct JSClass {

    const char          *name;

    uint32              flags;

<o:p> </o:p>

    /* Mandatory non-null function pointer members. */

    JSPropertyOp        addProperty;

    JSPropertyOp        delProperty;

    JSPropertyOp        getProperty;

    JSPropertyOp        setProperty;

    JSEnumerateOp       enumerate;

    JSResolveOp         resolve;

    JSConvertOp         convert;

    JSFinalizeOp        finalize;

<o:p> </o:p>

    /* Optionally non-null members start here. */

    JSGetObjectOps      getObjectOps;

    JSCheckAccessOp     checkAccess;

    JSNative            call;

    JSNative            construct;

    JSXDRObjectOp       xdrObject;

    JSHasInstanceOp     hasInstance;

    JSMarkOp            mark;

    JSReserveSlotsOp    reserveSlots;

};

放眼望去，偶的老天，原来类的属性操作（增加属性，删除属性，查询和设置属性都是在这定义的啊）。要知道，在javascript中，所有的attributes和方法都是属性啊。按下不表。

还是跳回到newObject

<o:p> </o:p>

/* Bootstrap the ur-object, and make it the default prototype object. */

    if (!proto) {

        if (!js_GetClassId(cx, clasp, &id))

            return NULL;

        if (!js_GetClassPrototype(cx, parent, id, &proto))

            return NULL;

        if (!proto &&

            !js_GetClassPrototype(cx, parent, INT_TO_JSID(JSProto_Object),

                                  &proto)) {

            return NULL;

        }

    }

先看这段代码，简而言之，想做的事情是，找到要创建对象的原型，如果实在找不到，就使用缺省的原型对象。跳过。

接下来的代码，

/* Always call the class's getObjectOps hook if it has one. */

    ops = clasp->getObjectOps

          ? clasp->getObjectOps(cx, clasp)

          : &js_ObjectOps;

只是想找一个对象的操作方法集，因为我们在定义global_class全局对象时，使用了JSCLASS_NO_OPTIONAL_MEMBERS宏，可以很轻松的判定这个表达式如同：

ops = &js_ObjectOps;

<o:p> </o:p>

继续向后：

/*

     * Allocate a zeroed object from the GC heap.  Do this *after* any other

     * GC-thing allocations under js_GetClassPrototype or clasp->getObjectOps,

     * to avoid displacing the newborn root for obj.

     */

    obj = (JSObject *) js_NewGCThing(cx, GCX_OBJECT, sizeof(JSObject));

    if (!obj)

        return NULL;

从注释中，我们可以轻松的看出，按照ECMAScript的说法，对象被分配到heap中，已经得到了实现了。

被定义在了jsgc.c中，我们不想太多的去看堆的alloc分配，只要知道这里生成了一个空的JSObject对象即可。

void *

js_NewGCThing(JSContext *cx, uintN flags, size_t nbytes)

再接着，是一大段的判断条件，想法很简单，既而是已经在heap中创建了对象，就要给对象的map和slot进行赋值了：一种做法是判断了若干条件后，用原型的map；另一种可能，是创建新的map。

<o:p> </o:p>

你会问map里面都存放了什么？呵呵。好问题。且听下回分解吧。