js高程之作用域

我们知道js执行环境有全局环境（window）和局部环境（一般指函数环境）之分。

        var num = 1;
        function calc(){
            var num = 2;
        }

上述代码，虽然有两个num变量，但是他们所在的执行环境却是不同的，第一个num执行环境是全局执行环境（window），第二个执行环境是函数执行环境（calc函数）。

某个执行环境中的所有代码执行完毕后，该环境被销毁，保存在其中的所有变量和函数定义也随之销毁（全局执行环境直到应用程序退 出——例如关闭网页或浏览器——时才会被销毁）。

每个函数都有自己的执行环境。当执行流进入一个函数时，函数的环境就会被推入一个环境栈中。 而在函数执行之后，栈将其环境弹出，把控制权返回给之前的执行环境。

一、环境栈

随着程序按先后顺序执行的时候，会生成各种环境（一个全局环境和n个函数环境），这些环境是由一个环境栈维护的，看代码：

        var sum = 0;
        function a(){
            var sum = 1;
            function b(){
                var sum = 2;
                function c(){
                    var sum = 3;
                    console.log(sum);
                }
                c();
            }
            b();
        }
        a();

对应环境栈：

二、作用域链

当代码在一个环境中执行时，会创建变量对象的一个作用域链（scope chain）。作用域链的用途，是保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端，始终都是当前执行的代码所在环境的变量对象。

比如说，在c函数环境里有一句：

console.log(sum);

这时，会在c函数环境的作用域链中搜索这个标识符（sum），搜索过程始终从作用域链的前端开始， 然后逐级地向后回溯，直至找到标识符为止（如果找不到标识符，通常会导致错误发生）。

很幸运，一次就找到了，c环境里就有sum标识符，那么就直接输出他的值（3）；

如果c环境找不到，会继续依次往下找：

 

比如下面的代码将会输出 1 ：

        var sum = 0;
        function a(){
            var sum = 1;
            function b(){
                function c(){
                    console.log(sum);
                }
                c();
            }
            b();
        }
        a();

三、块级作用域

在ES6之前，是没有块级作用域的，请看代码

        for(var i = 1;i<10;i++){
            /* dosomething() */
        }
        console.log(i);//10


        {
            var name = 'Jack';
        }
        console.log(name);//Jack

        if(true){
            var age = 18;
        }
        console.log(age);//18

如果是在 C、C++或 Java 中：

for 语句初始化变量的表达式所定义的变量，只会存在于循环的环境之中；

由花括号封闭的代码块都有自己的作用域，变量会在 if 语句执行完毕后被销毁；

但是，在JavaScript中：

由 for 语句创建的变量 i 即使在 for 循环执行结束后，也依旧会存在 于循环外部的执行环境中；

if 语句中的变量声明会将变量添加到当前的执行环境。

在ES6之后，提供了块级作用域申明关键字 let ，let申明的变量只能在 { } 所在的作用域内使用 ：

        for(let i = 1;i<10;i++){
            /* dosomething() */
        }
        console.log(i);


        {
            let name = 'Jack';
        }
        console.log(name);

        if(true){
            let age = 18;
        }
        console.log(age);

控制台输出：

四、垃圾收集机制

正如大家所熟知的，我们写的每一个变量都是存在于内存中的（具体是栈内存），但是系统内存毕竟有限，不能一直写一直往内存里面放，这尼玛分分钟内存泄漏。

所以对于那些已经没用的变量（垃圾）需要进行清除处理。

垃圾收集器必须跟踪哪个变量有用哪个变量没用，对于不再有用的变量打上标记，以备将来收 回其占用的内存。

用于标识无用变量的策略可能会因实现而异，但具体到浏览器中的实现，则通常有两 个策略。

Ⅰ.标记清除

当变量进入环境（例如，在函 数中声明一个变量）时，就将这个变量标记为“进入环境”。

而当变量离开环境时，则将其 标记为“离开环境”。

从逻辑上讲，永远不能释放进入环境的变量所占用的内存，因为只要执行流进入相应的环境，就可能会用到它们。