Javascript 嚴格模式詳解

阮一峰發表於2013-01-14

一、概述

除了正常執行模式,ECMAscript 5新增了第二種執行模式:"嚴格模式"(strict mode)。顧名思義,這種模式使得Javascript在更嚴格的條件下執行。

Javascript 嚴格模式詳解

設立"嚴格模式"的目的,主要有以下幾個:

  - 消除Javascript語法的一些不合理、不嚴謹之處,減少一些怪異行為;

  - 消除程式碼執行的一些不安全之處,保證程式碼執行的安全;

  - 提高編譯器效率,增加執行速度;

  - 為未來新版本的Javascript做好鋪墊。

"嚴格模式"體現了Javascript更合理、更安全、更嚴謹的發展方向,包括IE 10在內的主流瀏覽器,都已經支援它,許多大專案已經開始全面擁抱它。

另一方面,同樣的程式碼,在"嚴格模式"中,可能會有不一樣的執行結果;一些在"正常模式"下可以執行的語句,在"嚴格模式"下將不能執行。掌握這些內容,有助於更細緻深入地理解Javascript,讓你變成一個更好的程式設計師。

本文將對"嚴格模式"做詳細介紹。

二、進入標誌

進入"嚴格模式"的標誌,是下面這行語句:

  "use strict";

老版本的瀏覽器會把它當作一行普通字串,加以忽略。

三、如何呼叫

"嚴格模式"有兩種呼叫方法,適用於不同的場合。

3.1 針對整個指令碼檔案

將"use strict"放在指令碼檔案的第一行,則整個指令碼都將以"嚴格模式"執行。如果這行語句不在第一行,則無效,整個指令碼以"正常模式"執行。如果不同模式的程式碼檔案合併成一個檔案,這一點需要特別注意。

(嚴格地說,只要前面不是產生實際執行結果的語句,"use strict"可以不在第一行,比如直接跟在一個空的分號後面。)

  <script>
    "use strict";
    console.log("這是嚴格模式。");
  </script>

  <script>
    console.log("這是正常模式。");kly, it's almost 2 years ago now. I can admit it now - I run it on my school's network that has about 50 computers.
  </script>

上面的程式碼表示,一個網頁中依次有兩段Javascript程式碼。前一個script標籤是嚴格模式,後一個不是。

3.2 針對單個函式

將"use strict"放在函式體的第一行,則整個函式以"嚴格模式"執行。

  function strict(){
    "use strict";
    return "這是嚴格模式。";
  }

  function notStrict() {
    return "這是正常模式。";
  }

3.3 指令碼檔案的變通寫法

因為第一種呼叫方法不利於檔案合併,所以更好的做法是,借用第二種方法,將整個指令碼檔案放在一個立即執行的匿名函式之中。

  (function (){

    "use strict";

    // some code here

   })();

四、語法和行為改變

嚴格模式對Javascript的語法和行為,都做了一些改變。

4.1 全域性變數顯式宣告

在正常模式中,如果一個變數沒有宣告就賦值,預設是全域性變數。嚴格模式禁止這種用法,全域性變數必須顯式宣告。

"use strict";

  v = 1; // 報錯,v未宣告

  for(i = 0; i < 2; i++) { // 報錯,i未宣告
  }

因此,嚴格模式下,變數都必須先用var命令宣告,然後再使用。

4.2 靜態繫結

Javascript語言的一個特點,就是允許"動態繫結",即某些屬性和方法到底屬於哪一個物件,不是在編譯時確定的,而是在執行時(runtime)確定的。

嚴格模式對動態繫結做了一些限制。某些情況下,只允許靜態繫結。也就是說,屬性和方法到底歸屬哪個物件,在編譯階段就確定。這樣做有利於編譯效率的提高,也使得程式碼更容易閱讀,更少出現意外。

具體來說,涉及以下幾個方面。

(1)禁止使用with語句

因為with語句無法在編譯時就確定,屬性到底歸屬哪個物件。

  "use strict";

  var v = 1;

  with (o){ // 語法錯誤
    v = 2;
  }

(2)創設eval作用域

正常模式下,Javascript語言有兩種變數作用域(scope):全域性作用域和函式作用域。嚴格模式創設了第三種作用域:eval作用域。

正常模式下,eval語句的作用域,取決於它處於全域性作用域,還是處於函式作用域。嚴格模式下,eval語句本身就是一個作用域,不再能夠生成全域性變數了,它所生成的變數只能用於eval內部。

  "use strict";

  var x = 2;

  console.info(eval("var x = 5; x")); // 5

  console.info(x); // 2

4.3 增強的安全措施

(1)禁止this關鍵字指向全域性物件

  function f(){
    return !this;
  }
  // 返回false,因為"this"指向全域性物件,"!this"就是false

  function f(){
    "use strict";
    return !this;
  }
  // 返回true,因為嚴格模式下,this的值為undefined,所以"!this"為true。

因此,使用建構函式時,如果忘了加new,this不再指向全域性物件,而是報錯。

  function f(){

    "use strict";

    this.a = 1;

  };

  f();// 報錯,this未定義

(2)禁止在函式內部遍歷呼叫棧

  function f1(){

    "use strict";

    f1.caller; // 報錯

    f1.arguments; // 報錯

  }

  f1();

4.4 禁止刪除變數

嚴格模式下無法刪除變數。只有configurable設定為true的物件屬性,才能被刪除。

  "use strict";

  var x;

  delete x; // 語法錯誤

  var o = Object.create(null, {'x': {
      value: 1,
      configurable: true
  }});

  delete o.x; // 刪除成功

4.5 顯式報錯

正常模式下,對一個物件的只讀屬性進行賦值,不會報錯,只會默默地失敗。嚴格模式下,將報錯。

  "use strict";

  var o = {};

  Object.defineProperty(o, "v", { value: 1, writable: false });

  o.v = 2; // 報錯

嚴格模式下,對一個使用getter方法讀取的屬性進行賦值,會報錯。

  "use strict";

  var o = {

    get v() { return 1; }

  };

  o.v = 2; // 報錯

嚴格模式下,對禁止擴充套件的物件新增新屬性,會報錯。

  "use strict";

  var o = {};

  Object.preventExtensions(o);

  o.v = 1; // 報錯

嚴格模式下,刪除一個不可刪除的屬性,會報錯。

  "use strict";

  delete Object.prototype; // 報錯

4.6 重名錯誤

嚴格模式新增了一些語法錯誤。

(1)物件不能有重名的屬性

正常模式下,如果物件有多個重名屬性,最後賦值的那個屬性會覆蓋前面的值。嚴格模式下,這屬於語法錯誤。

  "use strict";

  var o = {
    p: 1,
    p: 2
  }; // 語法錯誤

(2)函式不能有重名的引數

正常模式下,如果函式有多個重名的引數,可以用arguments[i]讀取。嚴格模式下,這屬於語法錯誤。

  "use strict";

  function f(a, a, b) { // 語法錯誤

    return ;

  }

4.7 禁止八進位制表示法

正常模式下,整數的第一位如果是0,表示這是八進位制數,比如0100等於十進位制的64。嚴格模式禁止這種表示法,整數第一位為0,將報錯。

  "use strict";

  var n = 0100; // 語法錯誤

4.8 arguments物件的限制

arguments是函式的引數物件,嚴格模式對它的使用做了限制。

(1)不允許對arguments賦值

  "use strict";

  arguments++; // 語法錯誤

  var obj = { set p(arguments) { } }; // 語法錯誤

  try { } catch (arguments) { } // 語法錯誤

  function arguments() { } // 語法錯誤

  var f = new Function("arguments", "'use strict'; return 17;"); // 語法錯誤

(2)arguments不再追蹤引數的變化

  function f(a) {

    a = 2;

    return [a, arguments[0]];

  }

  f(1); // 正常模式為[2,2]

  function f(a) {

    "use strict";

    a = 2;

    return [a, arguments[0]];

  }

  f(1); // 嚴格模式為[2,1]

(3)禁止使用arguments.callee

這意味著,你無法在匿名函式內部呼叫自身了。

  "use strict";

  var f = function() { return arguments.callee; };

  f(); // 報錯

4.9 函式必須宣告在頂層

將來Javascript的新版本會引入"塊級作用域"。為了與新版本接軌,嚴格模式只允許在全域性作用域或函式作用域的頂層宣告函式。也就是說,不允許在非函式的程式碼塊內宣告函式。

  "use strict";

  if (true) {

    function f() { } // 語法錯誤

  }

  for (var i = 0; i < 5; i++) {

    function f2() { } // 語法錯誤

  }

4.10 保留字

為了向將來Javascript的新版本過渡,嚴格模式新增了一些保留字:implements, interface, let, package, private, protected, public, static, yield。

使用這些詞作為變數名將會報錯。

  function package(protected) { // 語法錯誤

    "use strict";

    var implements; // 語法錯誤

  }

此外,ECMAscript第五版本身還規定了另一些保留字(class, enum, export, extends, import, super),以及各大瀏覽器自行增加的const保留字,也是不能作為變數名的。

五、參考連結

- MDN, Strict mode
- Dr. Axel Rauschmayer,JavaScript's strict mode: a summary
- Douglas Crockford, Strict Mode Is Coming To Town

(完)

相關文章