深入理解Javascript作用域與變量提升

2019-11-20 21:30:21

字體：大中小

來源：轉載

供稿：網友

下面的程序是什么結果？

var foo = 1;
function bar() {
 if (!foo) {
  var foo = 10;
 }
 alert(foo);
}
bar();

結果是10；

那么下面這個呢？

復制代碼代碼如下:

var a = 1;
function b() {
 a = 10;
 return;
 function a() {}
}
b();
alert(a);

結果是1.

嚇你一跳吧？發生了什么事情？這可能是陌生的，危險的，迷惑的，同樣事實上也是非常有用和印象深刻的javascript語言特性。對于這種表現行為，我不知道有沒有一個標準的稱呼，但是我喜歡這個術語：“Hoisting (變量提升)”。這篇文章將對這種機制做一個拋磚引玉式的講解，但是，首先讓我們對javascript的作用域有一些必要的理解。

Javascript的作用域

對于Javascript初學者來說，一個最迷惑的地方就是作用域；事實上，不光是初學者。我就見過一些有經驗的javascript程序員，但他們對scope理解不深。javascript作用域之所以迷惑，是因為它程序語法本身長的像C家族的語言，像下面的C程序：

復制代碼代碼如下:

#include <stdio.h>
int main() {
 int x = 1;
 printf("%d, ", x); // 1
 if (1) {
  int x = 2;
  printf("%d, ", x); // 2
 }
 printf("%d/n", x); // 1
}

輸出結果是1 2 1，這是因為C家族的語言有塊作用域，當程序控制走進一個塊，比如if塊，只作用于該塊的變量可以被聲明，而不會影響塊外面的作用域。但是在Javascript里面，這樣不行。看看下面的代碼：

復制代碼代碼如下:

var x = 1;
console.log(x); // 1
if (true) {
 var x = 2;
 console.log(x); // 2
}
console.log(x); // 2

結果會是1 2 2。因為javascript是函數作用域。這是和c家族語言最大的不同。該程序里面的if并不會創建新的作用域。

對于很多C，c++，java程序員來說，這不是他們期望和歡迎的。幸運的是，基于javascript函數的靈活性，這里有可變通的地方。如果你必須創建臨時的作用域，可以像下面這樣：

復制代碼代碼如下:

function foo() {
 var x = 1;
 if (x) {
  (function () {
   var x = 2;
   // some other code
  }());
 }
 // x is still 1.
}

這種方法很靈活，可以用在任何你想創建臨時的作用域的地方。不光是塊內。但是，我強烈推薦你花點時間理解javascript的作用域。它很有用，是我最喜歡的javascript特性之一。如果你理解了作用域，那么變量提升就對你顯得更有意義。

變量聲明，命名，和提升

在javascript，變量有4種基本方式進入作用域：

•1 語言內置：所有的作用域里都有this和arguments；(譯者注：經過測試arguments在全局作用域是不可見的)

•2 形式參數：函數的形式參數會作為函數體作用域的一部分；

•3 函數聲明：像這種形式：function foo(){}；

•4 變量聲明：像這樣：var foo；

函數聲明和變量聲明總是會被解釋器悄悄地被“提升”到方法體的最頂部。這個意思是，像下面的代碼：

復制代碼代碼如下:

function foo() {
 bar();
 var x = 1;
}

實際上會被解釋成：

復制代碼代碼如下:

function foo() {
 var x;
 bar();
 x = 1;
}

無論定義該變量的塊是否能被執行。下面的兩個函數實際上是一回事：

復制代碼代碼如下:

function foo() {
 if (false) {
  var x = 1;
 }
 return;
 var y = 1;
}
function foo() {
 var x, y;
 if (false) {
  x = 1;
 }
 return;
 y = 1;
}

請注意，變量賦值并沒有被提升，只是聲明被提升了。但是，函數的聲明有點不一樣，函數體也會一同被提升。但是請注意，函數的聲明有兩種方式：

復制代碼代碼如下:

function test() {
 foo(); // TypeError "foo is not a function"
 bar(); // "this will run!"
 var foo = function () { // 變量指向函數表達式
  alert("this won't run!");
 }
 function bar() { // 函數聲明 函數名為bar
  alert("this will run!");
 }
}
test();

這個例子里面，只有函數式的聲明才會連同函數體一起被提升。foo的聲明會被提升，但是它指向的函數體只會在執行的時候才被賦值。

上面的東西涵蓋了提升的一些基本知識，它們看起來也沒有那么迷惑。但是，在一些特殊場景，還是有一定的復雜度的。

變量解析順序

最需要牢記在心的是變量解析順序。記得我前面給出的命名進入作用域的4種方式嗎？變量解析的順序就是我列出來的順序。

復制代碼代碼如下:

var a;
function a(){
}
alert(a);//打印出a的函數體
</script>
//但是要注意區分和下面兩個寫法的區別:
<script>
var a=1;
function a(){
}
alert(a);//打印出1
</script>

var a=1;

alert(a);//打印出1
</script>

這里有3個例外：

1 內置的名稱arguments表現得很奇怪，他看起來應該是聲明在函數形式參數之后，但是卻在函數聲明之前。這是說，如果形參里面有arguments，它會比內置的那個有優先級。這是很不好的特性，所以要杜絕在形參里面使用arguments；

2 在任何地方定義this變量都會出語法錯誤，這是個好特性；

3 如果多個形式參數擁有相同的名稱，最后的那個具有優先級，即便實際運行的時候它的值是undefined；

命名函數

你可以給一個函數一個名字。如果這樣的話，它就不是一個函數聲明，同時，函數體定義里面的指定的函數名( 如果有的話,如下面的spam, 譯者注)將不會被提升,　而是被忽略。這里一些代碼幫助你理解：

復制代碼代碼如下:

foo(); // TypeError "foo is not a function"
bar(); // valid
baz(); // TypeError "baz is not a function"
spam(); // ReferenceError "spam is not defined"

var foo = function () {}; // foo指向匿名函數
function bar() {}; // 函數聲明
var baz = function spam() {}; // 命名函數，只有baz被提升，spam不會被提升。

foo(); // valid
bar(); // valid
baz(); // valid
spam(); // ReferenceError "spam is not defined"

怎么寫代碼

現在你理解了作用域和變量提升，那么這對于javascript編碼意味著什么？最重要的一點是，總是用var定義你的變量。而且我強烈推薦，對于一個名稱，在一個作用域里面永遠只有一次var聲明。如果你這么做，你就不會遇到作用域和變量提升問題。

語言規范怎么說

我發現ECMAScript參考文檔總是很有用。下面是我找到的關于作用域和變量提升的部分：

如果變量在函數體類聲明，則它是函數作用域。否則，它是全局作用域（作為global的屬性）。變量將會在執行進入作用域的時候被創建。塊不會定義新的作用域，只有函數聲明和程序（譯者以為，就是全局性質的代碼執行）才會創造新的作用域。變量在創建的時候會被初始化為undefined。如果變量聲明語句里面帶有賦值操作，則賦值操作只有被執行到的時候才會發生，而不是創建的時候。

我期待這篇文章會對那些對javascript比較迷惑的程序員帶來一絲光明。我自己也盡最大的可能去避免帶來更多的迷惑。如果我說錯了什么，或者忽略了什么，請告知。

譯者補充

有位朋友提醒了我發現了IE下全局作用域下命名函數的提升問題:

我翻譯文章的時候是這么測試的:

復制代碼代碼如下:

<script>
functiont(){
spam();
var baz = function spam() {alert('this is spam')};
}
t();
</script>

這種寫法, 即非全局作用域下的命名函數的提升,在ie和ff下表現是一致的. 我改成:

復制代碼代碼如下:

<script>
spam();
var baz = function spam() {alert('this is spam')};
</script>

則ie下是可以執行spam的,ff下不可以. 說明不同瀏覽器在處理這個細節上是有差別的.

這個問題還引導我思考了另2個問題，1:對于全局作用于范圍的變量，var與不var是有區別的. 沒有var的寫法，其變量不會被提升。比如下面兩個程序，第二個會報錯：

復制代碼代碼如下:

<script>
alert(a);
var a=1;
</script>

復制代碼代碼如下:

<script>
alert(a);
a=1;
</script>

2: eval中創建的局部變量是不會被提升的(它也沒辦法做到).

復制代碼代碼如下:

<script>
var a = 1;
function t(){
 alert(a);
 eval('var a = 2');
 alert(a);
}
t();
alert(a);
</script>

上一篇：解析Javascript中難以理解的11個問題

下一篇：Javascript全局變量var與不var的區別深入解析

學習交流

索泰發布一款GTX 1070 Mini迷你版本:小機

索泰發布一款GTX 1070 Mini迷你版本:小機箱大愛...

熱門圖片

猜你喜歡的新聞

猜你喜歡的關注

新聞熱點

榮耀總裁趙明烏鎮演講：榮耀首款5G手機V30下月發布

2019-10-23 09:17:05

搜狐張朝陽：回歸媒體是搜狐重新崛起的關鍵

2019-10-21 09:20:02

華為輪值董事長郭平：虛擬技術創造現實價值

2019-10-21 09:00:12

滴滴英文服務上線兩周年用戶已超200萬

2019-09-26 08:57:12

華為推出全球至快AI訓練集群Atlas900

2019-09-25 08:46:36

馬斯克：特斯拉正組建中國技術團隊

2019-09-25 08:15:43

疑難解答

圖片精選

網友關注