深刻学习js之——词法做用域和动态做用域

开篇

当咱们在开始学习任何一门语言的时候，都会接触到变量的概念，变量的出现实际上是为了解决一个问题，为的是存储某些值，进而，存储某些值的目的是为了在以后对这个值进行访问或者修改，正是这种存储和访问变量的能力将状态给了程序。咱们的程序中处处都充斥着对于状态的判断，根据不一样的状态执行不一样的逻辑。

咱们试想一下，若是没有状态这个概念，程序虽然也可以执行一些简单的任务，可是它会受到不少的限制，所能完成的功能是有限制的，举个例子，没有状态你是如何执行循环语句？没有状态如何更加优雅地使用逻辑结构？

仔细想一想，好像是步履维艰，固然引入变量后帮咱们解决了这个问题。

可是，引入变量和状态的概念以后会引发几个问题：这些变量住在哪里？换句话说，它们存储在哪里？最重要的是，程序须要它们的时候如何找到它们？

今天咱们就一块儿学习一下这套存储和查找变量的规则，这套规则咱们称之为：做用域。

做用域

咱们来拆解一下这个词语,所谓的“域”咱们能够理解为：范围、区域，加上“做用”两个字所要表述的问题就是做用的范围、区域，好比国家的行政区域划分是为了便于管理，类比到程序源代码中做用域的出现也是为了便于对于变量作管理。

好，这里咱们简单作一下总结：

• 定义：做用域是指程序源代码中定义变量的区域。
• 做用：做用域规定了如何查找变量，也就是肯定当前执行代码对变量的访问权限。
• 在javaScript中的应用 ：JavaScript采用词法做用域(lexical scoping)，也就是静态做用域。

那什么又是 词法做用域或者静态做用域呢？

请继续往下看

静态做用域与动态做用域

由于javaScript采用的是词法做用域,函数的做用域在函数定义的时候就决定了。
而词法做用域相对的是动态做用域,函数的做用域是在函数调用的时候才决定的。
让咱们看一个例子来理解词法做用域和动态做用域之间的区别：

var value = 1;

function foo() {
  console.log(value);
}

function bar() {
  var value = 2;
  foo();
}

bar();
// 结果是 ???

上面的代码中：

• 1.咱们首先定义了一个value，并赋值为1；
• 2.声明一个函数foo，函数的功能是打印 value 这个变量的值;
• 3.声明一个函数bar，函数内部从新建立了一个变量 value 这个变量赋值为2；
  在函数内部执行了 foo() 这个函数；
• 4.执行 bar() 这个函数

假设javaScript采用静态做用域，让咱们分析下执行过程：

执行foo函数,首先从 foo 函数内部查找是否有变量 value ,若是没有
就根据书写的位置，查找上面一层的代码，咱们发现value等于1，因此结果会打印 1。

假设javaScript采用动态做用域，让咱们分析下执行过程：

执行foo函数，依然是从 foo 函数内部查找是否有局部变量 value。若是没有，
就从调用函数的做用域，也就是 bar 函数内部查找 value 变量，因此结果会打印 2。

上面在区分静态做用于和动态做用域的时候,咱们已经说了若是是静态做用域，那么函数在书写定义的时候已经肯定了，而动态做用域是函数执行过程当中才肯定的。

JavaScript采用的是静态做用域，因此这个例子的结果是 1。
咱们在控制台中输入执行上面的函数，检验一下执行结果果真是 1。

动态做用域

那什么语言是采用的动态的做用域呢? 其实bash 就是动态做用域，
咱们能够新建一个 scope.bash 文件将下列代码放进去，执行一下这个脚本文件：

value=1
function foo () {
    echo $value;
}
function bar () {
  local value=2;
  foo;
}
bar

上面代码运行的结果输出2很好解释，虽然在代码最上层定义了 value并赋值为1，可是在调用foo函数的时候,在查找 foo 内部没有 value 变量后，会在foo 函数执行的环境中继续查找，也就是在bar 函数中查找，很幸运咱们找到了。

思考

最后，让咱们看一个《JavaScript权威指南》中的例子：

// 例1：
var scope = "global scope";
function checkscope(){
  var scope = "local scope";
  function f(){
    return scope;
  }
  return f();
}
checkscope();

// 例2：
var scope = "global scope";
function checkscope(){
  var scope = "local scope";
  function f(){
    return scope;
  }
  return f;
}
checkscope()();

让咱们来分析一下上面例1的代码:

• 一、定义一个变量 scope 并赋值 global scope；
• 二、声明一个函数 checkscope ,在这个函数中 定义一个变量 scope 并赋值 local scope；
• 三、在checkscope 函数中 又定义一个函数 f ,这个函数 只作了一件事：返回scope 这个变量；
• 四、最后返回并执行 f 这个函数；
• 五、调用checkscope

按照咱们上面解释的javaScript中静态做用域理解，在执行 checkscope 这个函数的时候在函数内部执行的是f 这个函数，首先在 f 这个函数内部查找 scope 这个变量发现没有，继续在定义函数f的上面一层查找，发如今checkscope 这个函数做用域内 找到了scope的值 直接返回，至于 checkscope外面定义的scope没有理睬。

让咱们来分析一下上面例2的代码:

• 一、定义一个变量 scope 并赋值 global scope；
• 二、声明一个函数 checkscope 在这个函数中 定义一个变量 scope 并赋值 local scope；
• 三、在checkscope 函数中 又定义一个函数 f 这个函数 只作了一件事：返回scope 这个变量；
• 四、最后单纯的返回 f 这个函数；
• 五、调用checkscope

按照咱们上面解释的javaScript中静态做用域理解，在执行 checkscope 这个函数的时候在函数内返回了函数f实际是在最外面调用的f可是因为javaScript是采用的词法做用域，所以函数的做用域基于函数建立的位置。

而引用《JavaScript权威指南》的回答就是：

JavaScript 函数的执行用到了做用域链，这个做用域链是在函数定义的时候建立的。嵌套的函数 f() 定义在这个做用域链里，其中的变量 scope 必定是局部变量，无论什么时候何地执行函数 f()，这种绑定在执行 f() 时依然有效。

可是在这里真正想让你们思考的是：

虽然两段代码执行的结果同样，可是两段代码究竟有哪些不一样呢？

敬请期待下面一篇关于javaScript 中的执行上下文栈的相关内容。

参考：

• 一、《你不知道的Javascript上卷》
• 二、JavaScript深刻之词法做用域和动态做用域

来源：http://www.javashuo.com/article/p-aysbuqab-dv.html