JavaScript 词法作用域和动态作用域
作用域是指程序源代码中定义变量的区域。
作用域规定了如何查找变量,也就是确定当前执行代码对变量的访问权限。
采用的是词法作用域,也就是静态作用域。
静态作用域(词法作用域)
JavaScript 采用的是词法作用域,所以函数的作用域在函数定义的时候就决定了。JS 中三种作用域(全局,函数,块级)
-
全局变量:声明在函数外部的变量(所有没有 var 直接赋值的变量都属于全局变量)
-
局部变量:声明在函数内部的变量(所有没有 var 直接赋值的变量都属于全局变量)
让我们认真看个例子就能明白之间的区别:
var value = 1;
function foo() {
console.log(value);
}
function bar() {
var value = 2;
foo();
}
bar();
//????
这里使用的是 js 语言所以使用的是静态作用域(词法作用域),让我们分析下执行的过程:
执行 foo 函数,首先在它的内部作用域查找是否有 value 这个局部变量,如果有就会使用这个局部变量; 没有,根据书写的代码就会向上一层寻找,这是我们发现 value 变量存在是 1;
来自小犀牛题目(题 2 我翻车了)
var scope = "global scope";
function checkscope() {
var scope = "local scope";
function f() {
return scope;
}
return f();
}
checkscope();
// ????
var scope = "global scope";
function checkscope() {
var scope = "local scope";
function f() {
return scope;
}
return f;
}
checkscope()();
我觉的 return f 就是将 f 的方法暴露在最外层,执行 checkscope 等于执行 f;间接的以为 checkscope === f ,实际则是 f 方法 存在与 checkscope 的作用域内,执行时返回了 f 方法作用域并没有相互覆盖或者抵消
如果你也翻车了那么你也默默的三遍
JavaScript 采用的是词法作用域,所以函数的作用域在函数定义的时候就决定了;
JavaScript 采用的是词法作用域,所以函数的作用域在函数定义的时候就决定了;
JavaScript 采用的是词法作用域,所以函数的作用域在函数定义的时候就决定了;
引用《JavaScript 权威指南》的回答就是
JavaScript 函数的执行用到了作用域链,这个作用域链是在函数定义的时候创建的。嵌套的函数 f() 定义在这个作用域链里,其中的变量 scope 一定是局部变量,不管何时何地执行函数 f(),这种绑定在执行 f() 时依然有效。
说明一切问题的图
动态作用域(JS 没有采用这种编译模式)
采用动态作用域的语言有 Emacs Lisp、Common Lisp(兼有静态作用域)、Perl(兼有静态作用域)。C/C++的宏中用到的名字,也是动态作用域。
采用动态作用域的变量叫做动态变量。
略略略(1000 字)
作用域链
这种一层一层的关系,就是作用域链下图( 参考脑部洋葱图 )

可以看成是同心圆结构,每一层假设是一个函数,上面都拥有与此层函数关联的变量对象; 假设当执行到最里面那个函数,那么作用域链可以看做是图中一条由内到外的线,最前端的就是它本身,最后端就是全局执行环境。 那么它有什么用呢,就是当你访问一个变量的时候,就会沿着作用域链一层层往外查找,直到找到为止,如果到了最外层即全局执行环境下还没找到则报错。
一般情况下,变量取值到创建这个变量的函数的作用域中取值,但是如果在当前作用域中没有查到值,就会向上级作用域去查,直到查到全局作用域,这么一个查找过程形成的链条就叫做作用域链。
var x = 10;
function fn() {
console.log(x);
}
function show(f) {
var x = 20;
fn();
}
show(); // 10
闭包
定义闭包
JavaScript 中的函数运行在它们被定义的作用域里,而不是它们被执行的作用域里。 《蝴蝶书》
有权访问另一个函数作用域中的变量的函数。《红宝书》
当函数可以记住并访问所在的词法作用域时, 就产生了闭包, 即使函数是在当前词法作用域之外执行 《小黄书》
函数对象可以通过作用域关联起来,函数体内的变量都可以保存在函数作用域内, 这在计算机科学文献中称为“闭包”,所有的 javascirpt 函数都是闭包 《犀牛书》
上面的书中都提到以下三点(特别注意)
-
执行环境:每个函数都有自己的执行环境。当执行函数时,函数的环境就会被推入一个环境栈中。而在函数执行后,栈将其环境弹出,把控制权返回给之前的执行环境。
-
变量对象:每个执行环境都有一个与之关联的变量对象,环境中定义的所有变量和函数都保存在这个对象中。当执行函数时,变量对象会变成活动对象。
-
作用域链:当代码在一个环境中执行时,会创建变量对象的一个作用域链。 作用域链的用途,是保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端,始终都是当前执行的代码所 在环境的变量对象。如果这个环境是函数,则将其活动对象作为变量对象。
举个栗子
function a() {
var text = "呵呵哒";
return function () {
console.log(text);
};
}
var b = a();
b();
当 a() 函数被执行后返回了一个匿名函数,这个匿名函数的作用域链上有引用到 a() 执行环境的活动对象属性 text(不知道活动对象是什么的请看上面变量对象的解释)。
a() 函数执行完就马上被销毁了,但是这个函数的变量对象仍然被 b 所引用,所以它的变量对象不会被垃圾回收机制处理掉,而是会留在内存中。这就形成了一个闭包。
最后执行 b() 依然能读取到已经被销毁的 a 函数的定义的 text 变量。
举个栗子(经典)
function a() {
var i = 0;
return function () {
console.log(i++);
};
}
var b = a();
b(); //0
b(); //1
b(); //2
闭包的作用
好处就是隐藏变量,然后搭起一条沟通的桥,闭包可以间接操作这个隐藏变量;并且让这个变量留在内存中而不会污染到全局变量。
坏处呢消耗内存,如果一直不释放这个闭包就会一直占用着内存。那要怎么释放呢?很简单,和函数一样赋值 null 就可以了。(b = null)