A!die Software Studio Welcome to A!Die Software Studio

javascript hacking guide part 4

by
2007-03-26 12:29:47
[摘自] sunshineormer.javaeye.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)

 

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

 

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中

 

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

};

 

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

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

 

struct JSClass {

    const char          *name;

    uint32              flags;

 

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

    JSPropertyOp        addProperty;

    JSPropertyOp        delProperty;

    JSPropertyOp        getProperty;

    JSPropertyOp        setProperty;

    JSEnumerateOp       enumerate;

    JSResolveOp         resolve;

    JSConvertOp         convert;

    JSFinalizeOp        finalize;

 

    /* 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

 

/* 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;

 

继续向后:

/*

     * 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。

 

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

▲评论

X 正在回复:
姓 名: 留下更多信息
性 别:
邮 件:
主 页:
Q Q:
来 自:
职 业:
评 论:
验 证:


Valid HTML 4.01 Strict Valid CSS!
Copyleft.A!die Software Studio.ADSS
Power by webmaster@adintr.com