javascript词法作用域和动态作用域

词法环境

词法环境：是一种规范类型，用于根据ECMAScript代码的词法嵌套结构来定义标识符与特定变量和函数的关联。

通俗来说，词法环境就是一套约定的规则。写代码时，应该按照这个规则来，js引擎对源码进行词法分析。因此，词法环境在我们写代码的时候就已经确定了。

词法环境其实就是作用域，也称词法作用域,也是所说的静态作用域。

静态作用域与动态作用域

因为javascript采用的是词法作用域，函数的作用域在函数定义的时候就决定了（我们写代码的时候就已经存在了）；

而与词法作用域相对的是动态作用域，函数的作用域是在函数调用的时候才决定的。

作用的有两种工作型
词法作用域（函数声明时所处的位置决定）
动态作用域（函数调用的时候才决定的）

结合代码

var value = 1;
function foo() {
  console.log(value)
}
const bar = function () {
  var value = 2
  foo()
}
bar()
// 结果是1

var value=1是确定了全局变量value为1；

var value=2是确定了bar中的局部变量value为2；

执行 foo 函数时，会先从 foo 函数内部查找是否有局部变量 value，如果没有，就根据书写的位置，查找上面一层的代码，也就是 value 等于 1，所以结果会打印 1。

let value = 1;
function foo() {
  console.log(value)
}
const bar = function () {
  value = 2
  foo()
}
bar()
// 结果是2

var value=1是确定了全局变量value为1；

而bar函数中的 value=2是改变了全局变量value为2；

因此：

JavaScript采用的是静态作用域

静态作用域示例总结

式一

var x = 21;
let y = 11;
function thinkOf() {
  console.log(x, y);
  y = 10;
}
thinkOf();//21，11

式二

var x = 21;
let y = 11;
function thinkOf() {
  console.log(x, y);
  var x = 20;
  y = 10;
}
thinkOf();//undefined，11

式一中：函数thinkOf执行时，会先从函数thinkOf执行时函数内部查找是否有局部变量 x, y；如果没有，就根据书写的位置，查找上面一层的代码，也就是 x 等于 21， y 等于 11.

式二中：函数thinkOf执行时，会先从函数thinkOf执行时函数内部查找是否有局部变量 x、y，而函数的内部重新声明了x，也就找到了x,但是没有找到值，也就输出了undefined；y还是未找到，也就查找上一层代码，输出y等于11

动态作用域

也许你会好奇什么语言是动态作用域？

bash 就是动态作用域，不信的话，把下面的脚本存成例如 scope.bash，然后进入相应的目录，用命令行执行 bash ./scope.bash，看看打印的值是多少。

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

这个文件也可以在 Github 博客仓库中找到。

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

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()();

猜猜两段代码各自的执行结果是多少？

这里直接告诉大家结果，两段代码都会打印：local scope。

原因也很简单，因为JavaScript采用的是词法作用域，函数的作用域基于函数创建的位置。

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

JavaScript 函数的执行用到了作用域链，这个作用域链是在函数定义的时候创建的。嵌套的函数 f() 定义在这个作用域链里，其中的变量 scope 一定是局部变量，不管何时何地执行函数 f()，这种绑定在执行 f() 时依然有效。