转 浅析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);//弹出undefinedvar 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]