【轉】Javascript 嚴格模式詳解

ref: http://www.ruanyifeng.com/blog/2013/01/javascript_strict_mode.html

一、概述

除了正常運作模式，ECMAscript 5添加了第二種運作模式："嚴格模式"（strict mode）。顧名思義，這種模式使得Javascript在更嚴格的條件下運作。

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

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

　　- 消除代碼運作的一些不安全之處，保證代碼運作的安全；

　　- 提高編譯器效率，增加運作速度；

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

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

另一方面，同樣的代碼，在"嚴格模式"中，可能會有不一樣的運作結果；一些在"正常模式"下可以運作的語句，在"嚴格模式"下将不能運作。掌握這些内容，有助于更細緻深入地了解Javascript，讓你變成一個更好的程式員。

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

二、進入标志

進入"嚴格模式"的标志，是下面這行語句：

　　"use strict";

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

三、如何調用

"嚴格模式"有兩種調用方法，适用于不同的場合。

3.1 針對整個腳本檔案

将"use strict"放在腳本檔案的第一行，則整個腳本都将以"嚴格模式"運作。如果這行語句不在第一行，則無效，整個腳本以"正常模式"運作。如果不同模式的代碼檔案合并成一個檔案，這一點需要特别注意。

(嚴格地說，隻要前面不是産生實際運作結果的語句，"use strict"可以不在第一行，比如直接跟在一個空的分号後面。)

　　<script>

　　　　"use strict";

　　　　console.log("這是嚴格模式。");

　　</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.

上面的代碼表示，一個網頁中依次有兩段Javascript代碼。前一個script标簽是嚴格模式，後一個不是。

3.2 針對單個函數

将"use strict"放在函數體的第一行，則整個函數以"嚴格模式"運作。

　　function strict(){

　　　　return "這是嚴格模式。";

　　}

　　function notStrict() {

　　　　return "這是正常模式。";

3.3 腳本檔案的變通寫法

因為第一種調用方法不利于檔案合并，是以更好的做法是，借用第二種方法，将整個腳本檔案放在一個立即執行的匿名函數之中。

　　(function (){

　　　　// 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語句無法在編譯時就确定，屬性到底歸屬哪個對象。

　　var v = 1;

　　with (o){ // 文法錯誤 

　　　　v = 2;

（2）創設eval作用域

正常模式下，Javascript語言有兩種變量作用域（scope）：全局作用域和函數作用域。嚴格模式創設了第三種作用域：eval作用域。

正常模式下，eval語句的作用域，取決于它處于全局作用域，還是處于函數作用域。嚴格模式下，eval語句本身就是一個作用域，不再能夠生成全局變量了，它所生成的變量隻能用于eval内部。

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

　　// 傳回true，因為嚴格模式下，this的值為undefined，是以"!this"為true。

是以，使用構造函數時，如果忘了加new，this不再指向全局對象，而是報錯。

　　　　this.a = 1;

　　};

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

（2）禁止在函數内部周遊調用棧

　　function f1(){

　　　　f1.caller; // 報錯

　　　　f1.arguments; // 報錯

　　f1();

4.4 禁止删除變量

嚴格模式下無法删除變量。隻有configurable設定為true的對象屬性，才能被删除。

　　var x;

　　delete x; // 文法錯誤

　　var o = Object.create(null, {'x': {

　　　　　　value: 1,

　　　　　　configurable: true

　　}});

　　delete o.x; // 删除成功

4.5 顯式報錯

正常模式下，對一個對象的隻讀屬性進行指派，不會報錯，隻會默默地失敗。嚴格模式下，将報錯。

　　var o = {};

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

　　o.v = 2; // 報錯

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

　　var o = {

　　　　get v() { return 1; }

嚴格模式下，對禁止擴充的對象添加新屬性，會報錯。

　　Object.preventExtensions(o);

　　o.v = 1; // 報錯

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

　　delete Object.prototype; // 報錯

4.6 重名錯誤

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

（1）對象不能有重名的屬性

正常模式下，如果對象有多個重名屬性，最後指派的那個屬性會覆寫前面的值。嚴格模式下，這屬于文法錯誤。

　　　　p: 1,

　　　　p: 2

　　}; // 文法錯誤

（2）函數不能有重名的參數

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

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

　　　　return ;

4.7 禁止八進制表示法

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

　　var n = 0100; // 文法錯誤

4.8 arguments對象的限制

arguments是函數的參數對象，嚴格模式對它的使用做了限制。

（1）不允許對arguments指派

　　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]

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

（3）禁止使用arguments.callee

這意味着，你無法在匿名函數内部調用自身了。

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

　　f(); // 報錯

4.9 函數必須聲明在頂層

将來Javascript的新版本會引入"塊級作用域"。為了與新版本接軌，嚴格模式隻允許在全局作用域或函數作用域的頂層聲明函數。也就是說，不允許在非函數的代碼塊内聲明函數。

　　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) { // 文法錯誤

　　　　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