转 浅析JS运行机制

先看一个例子

var i=10;
function test(){
    alert(i);
    var i = 5;
}
test();//输出undefined

//预解析将 全局i和 test里面的i 都初始化为 undefined。 所以当 去掉test里面的 i 变量 将输出 10

如果你认为这个输出有问题的话，就有必要继续看下去了。

输出结果是undefined, 这种现象被称成“预解析”：JavaScript引擎会优先解析var变量和function定义。在预解析完成后，才会执行代码。如果一个文档流中包含多个script代码段（用script标签分隔的js代码或引入的js文件），运行顺序是：

step1. 读入第一个代码段，JavaScript执行引擎并非一行一行地执行程序，而是一段一段地分析执行的（以<\script\>标签来分割）

step2. 做语法分析，有错则报语法错误（比如括号不匹配等），并跳转到step5

step3. 对var变量做声明（初始为undefined）和function定义做“预解析”（永远不会报错的，因为只解析正确的声明）

step4. 执行代码段，有错则报错（比如变量未定义）

step5. 如果还有下一个代码段，则读入下一个代码段，重复step2

step6. 结束

在看几个小例子

alert(i);
var i = 1;

弹出undefined。预编译的时候，声明了变量i；执行到alert(i)这行代码的时候，i尚未被赋值，所以弹出undefined

alert(test1);//弹出function test1(){} 
function test1(){}

alert(test2);//弹出undefined
var test2 =function(){};

对var变量做声明（初始为undefined）和function定义做“预解析”

下面看几个特殊的例子

alert(i);
i=10;

执行报错，i未定义。

alert(i);
eval("var i = 5;");

执行报错，i未定义。

小结
step3中所谓的“预解析”，其实是在step2的语法分析阶段完成，并存储在语法树中。当执行到函数实例时，会将varDelcs和funcDecls从语法树中复制到执行环境的scriptObject上。

step4中，未定义变量意味着在scriptObject的变量表中找不到，JS引擎会沿着scriptObject的upvalue往上寻找，如果都没找到，对于写操作i = 1; 最后就会等价为 window.i = 1; 给window对象新增了一个属性。对于读操作，如果一直追溯到全局执行环境的scriptObject上都找不到，就会产生运行期错误。

但需要注意，with和eval的语义无法仅通过静态技术实现，实际上，只能说JS的作用域机制非常接近lexical scope.

原文地址
http://leeldy.blog.163.com/blog/static/13985306201061325918669/
http://hi.baidu.com/lcgg110/blog/item/27c18bfa2a96908359ee908a.html

评论

1 楼 woshiheihao2011 2011-08-11  

不错..学习下