JavaScript 词法作用域 分析

var str = "global";   
function scopeTest(){   
    print(str);   
    var str = "local";   
    print(str);   
}   

scopeTest();  

上面示例正确的输出结果：
undefined
local

分析：
例子非常有迷惑性，可以讲得更深入点。因为提到“词法作用域”，就必须得同时提到“作用域链”，两者结合才能有效理解。
对此例我的解释如下：
第1行的str（global）在定义时首先被存入作用域链的头部即全局作用域；
在调用scopeTest时，js解释器生成1个调用对象（call object），并将scopeTest内通过var定义的str设为它的一个属性，然后再把这个对象加到作用域链的最前端，通俗理解即具有最优先的访问权。
在访问str时，首先查询scopeTest的调用对象，如果从中没找到str则查询仅挨该对象的上一个作用域，以此类推直至全局作用域。
此例中从调用对象中即可查到str，因此全局对象中的str被覆盖：第3行，调用对象中有str定义但未赋值，因此为undefined;第4行，赋值；第5行，有值，所以是local。

var str = "global";      
function scopeTest(){      
    print(str);    //global     
}      

scopeTest();   

var str = "global";   
function scopeTest(){   
    print(str);    //global  
}   

scopeTest(); 

为什么这里是global？因为scopeTest的调用对象里没有str的定义，因此必须查询全局作用域，所以得出global。
为什么“词法作用域”的效果是“函数在定义它的作用域中执行，而不是执行它的环境”？那是因为函数始终只能沿着定义它时就确定了的“作用域链”逐级访问变量，与外界执行环境无关：

var str = "global";      
function scopeTest(){      
    alert(str);       
}   
(function(){   
   var str="aaa";   
   scopeTest();//global   
})();     

var str = "global";   
function scopeTest(){   
    alert(str);    
}
(function(){
   var str="aaa";
   scopeTest();//global
})();   

个人理解：“词法分析”的作用是确定函数的上级作用域链，这点待求证。