关于JavaScript没有块级作用域的分析

问题

在其他类C语言中，由花括号封闭的代码块都有自己的作用域（ECMAScript叫做自己的执行环境），但是JavaScript没有块级作用域

例如：

  if(true){
        var color = "blue";
    }
    alert(color);

结果

分析

1、JavaScript执行环境的类型只有两种——全局和局部

在Web浏览器中，全局执行环境被认为是window对象，因此所有全局变量和函数都是作为window对象的属性和方法创建的，而局部执行环境可以理解为函数的执行环境

2、循环结构和判断结构等都不会独立一块作用域。如何判断所属作用域范围呢？就看这个结构是在全局所定义还是在函数中定义

例如：

判断结构

  if(true){
        var color = "blue";
    }
        alert(color);  //"bule"

循环结构

  for(var i=0;i<10;i++){

    }
    alert(i);

3、作用域控制着变量与参数的可见性与生命周期。但是JavaScript没有块级作用域，所以变量的生命周期不是由花括号决定，而是根据它所在的执行环境决定的。

原理

JavaScript中，循环结构和判断结构的变量声明都会添加到当前的执行环境。如果不是函数的执行环境，自然就添加到全局的执行环境，所以花括号没有起到块级作用域的作用

声明变量

使用var声明的变量会自动添加到最接近的环境中

例如：

  function add(sum1,sum2) {
            var sum = sum1+sum2;
            return sum;
        }
        var result= add(10,20);
        alert(sum);  //报错

此时sum是函数内部环境的变量，外部环境访问不到它。但是如果把var关键字去掉，它会自动添加到全局环境，则函数的外部环境可以访问到它

例如：

function add(sum1, sum2) {
            sum = sum1 + sum2;
            return sum;
        }
        var result = add(10, 20);
        alert(sum);

结果

查询标识符

定义

当在某个环境中为了读取或写入而引入一个标识符时，必须通过搜索来确定该标识符实际代表什么。

特点

（1）搜索过程从作用域链前端开始，向上逐级查询与给定名字匹配的标识符。

（2）如果在局部环境找到，搜索过程就停止，否则一直搜索直到全局环境的变量对象。如果还没找到，则意味着该变量未声明

例如：

（1）局部环境没有color变量

  var color = "blue";
        function getColor() {
            return color;
        }
        alert(getColor());

结果

分析：getColor()局部环境找不到color，则沿着作用域链搜索到全局环境，此时发现有color变量，则结束搜索

（2）局部环境有color变量

  var color = "blue";
        function getColor() {
            var color = "red";
            return color;
        }
        alert(getColor());

结果

分析：getColor()局部环境找到color，结束搜索，此时任何位于局部变量color的声明之后的代码，如果不使用window.color，都无法访问全局color变量

（3）访问局部变量要比访问全局变量更快，因为不用向上搜索作用域链

参考

《JavaScript高级程序设计（第3版）》

关于执行环境及作用域，可以参考我的另一篇博客：执行环境及作用域——JavaScript
http://blog.csdn.net/iamcgt/article/details/72956444