作用域
作用域是指程序源代碼中定義變量的區域。
作用域規定了如何查找變量,也就是確定當前執行代碼對變量的訪問權限。
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深入之執行上下文棧》。