跳到主要内容

词法作用域和动态作用域

From AI

JavaScript 中的作用域指的是代码中声明变量的可见性和访问权限。在 JavaScript 中,作用域可以分为词法作用域和动态作用域两种。

词法作用域(也称为静态作用域)

词法作用域是指在编写代码时定义的作用域,也就是在代码中声明变量的位置所确定的作用域。在词法作用域中,变量的作用域由代码的结构决定,而不是代码的执行顺序决定。

举个例子,下面的代码中,变量 a 的作用域是在 foo 函数内部:

function foo() {
var a = 1;
console.log(a);
}

foo(); // 输出 1
console.log(a); // 报错,a 未定义

在这个例子中,a 在 foo 函数内部声明,因此它的作用域只在 foo 函数内部生效。如果在函数外部使用 a,会导致因为 a 未定义而报错。

动态作用域

动态作用域是指变量的作用域是由当前执行上下文中的调用链决定的,而不是由代码中声明变量的位置所确定的。在动态作用域中,变量的作用域在函数被调用时才确定。

下面是一个使用动态作用域的例子:

var a = 1;

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

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

bar(); // 输出 1

在这个例子中,bar 函数中声明了变量 a,但是在调用 foo 函数时,foo 函数中的 console.log(a) 输出的却是全局变量 a 的值。这是因为 foo 函数是在全局作用域中调用的,而全局作用域中的变量 a 的值为 1。

总的来说,词法作用域是 JavaScript 中常用的作用域规则。而动态作用域一般不被使用,因为它会导致代码的可读性和维护性变得很差,而且也容易出现意外的行为。

作用域

作用域是指程序源代码中定义变量的区域。

作用域规定了如何查找变量,也就是确定当前执行代码对变量的访问权限。

JavaScript 采用词法作用域(lexical scoping),也就是静态作用域。

静态作用域与动态作用域

因为 JavaScript 采用的是词法作用域,函数的作用域在函数定义的时候就决定了。

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

让我们认真看个例子就能明白之间的区别:

var value = 1;

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

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

bar();

// 结果是 ???

假设JavaScript采用静态作用域,让我们分析下执行过程: 执行 foo 函数,先从 foo 函数内部查找是否有局部变量 value,如果没有,就根据书写的位置,查找上面一层的代码,也就是 value 等于 1,所以结果会打印 1。

假设JavaScript采用动态作用域,让我们分析下执行过程:

执行 foo 函数,依然是从 foo 函数内部查找是否有局部变量 value。如果没有,就从调用函数的作用域,也就是 bar 函数内部查找 value 变量,所以结果会打印 2。

前面我们已经说了,JavaScript采用的是静态作用域,所以这个例子的结果是 1。

动态作用域

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

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() 时依然有效。

但是在这里真正想让大家思考的是:

虽然两段代码执行的结果一样,但是两段代码究竟有哪些不同呢?

如果要回答这个问题,就要牵涉到很多的内容,词法作用域只是其中的一小部分,让我们期待下一篇文章————《JavaScript深入之执行上下文栈》。

文章来源

作者:冴羽

链接:https://github.com/mqyqingfeng/Blog/issues/3

著作权归原作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。