JavaScript 嚴(yán)格模式

概述

除了正常運(yùn)行模式，ECMAscript 5添加了第二種運(yùn)行模式：“嚴(yán)格模式”（strict mode）。顧名思義，這種模式使得Javascript在更嚴(yán)格的條件下運(yùn)行。

設(shè)立”嚴(yán)格模式“的目的，主要有以下幾個：

• 消除Javascript語法的一些不合理、不嚴(yán)謹(jǐn)之處，減少一些怪異行為;
• 消除代碼運(yùn)行的一些不安全之處，保證代碼運(yùn)行的安全；
• 提高編譯器效率，增加運(yùn)行速度；
• 為未來新版本的Javascript做好鋪墊。

“嚴(yán)格模式”體現(xiàn)了Javascript更合理、更安全、更嚴(yán)謹(jǐn)?shù)陌l(fā)展方向，包括IE 10在內(nèi)的主要瀏覽器，都已經(jīng)支持它，許多大項(xiàng)目已經(jīng)開始全面擁抱它。

另一方面，同樣的代碼，在"嚴(yán)格模式"中，可能會有不一樣的運(yùn)行結(jié)果；一些在"正常模式"下可以運(yùn)行的語句，在"嚴(yán)格模式"下將不能運(yùn)行。掌握這些內(nèi)容，有助于更細(xì)致深入地理解Javascript，讓你變成一個更好的程序員。

進(jìn)入標(biāo)志

進(jìn)入“嚴(yán)格模式”的標(biāo)志，是下面這行語句：

"use strict";

老版本的瀏覽器會把它當(dāng)作一行普通字符串，加以忽略。

如何調(diào)用

“嚴(yán)格模式”有兩種調(diào)用方法，適用于不同的場合。

（1） 針對整個腳本文件

將"use strict"放在腳本文件的第一行，則整個腳本都將以“嚴(yán)格模式”運(yùn)行。如果這行語句不在第一行，則無效，整個腳本以“正常模式”運(yùn)行。如果不同模式的代碼文件合并成一個文件，這一點(diǎn)需要特別注意。

(嚴(yán)格地說，只要前面不是產(chǎn)生實(shí)際運(yùn)行結(jié)果的語句，"use strict"可以不在第一行，比如直接跟在一個空的分號后面。)

<script>

"use strict";

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

</script>

<script>

console.log("這是正常模式。");

</script>

上面的代碼表示，一個網(wǎng)頁文件中依次有兩段Javascript代碼。前一個script標(biāo)簽是嚴(yán)格模式，后一個不是。

（2）針對單個函數(shù)

將“use strict”放在函數(shù)體的第一行，則整個函數(shù)以“嚴(yán)格模式”運(yùn)行。

function strict(){

  "use strict";

  return "這是嚴(yán)格模式。";
}

function notStrict() {

    return "這是正常模式。";

}

（3）腳本文件的變通寫法

因?yàn)榈谝环N調(diào)用方法不利于文件合并，所以更好的做法是，借用第二種方法，將整個腳本文件放在一個立即執(zhí)行的匿名函數(shù)之中。

(function (){

    "use strict";

    // some code here

 })();

語法和行為改變

嚴(yán)格模式對Javascript的語法和行為，都做了一些改變。

全局變量顯式聲明

在正常模式中，如果一個變量沒有聲明就賦值，默認(rèn)是全局變量。嚴(yán)格模式禁止這種用法，全局變量必須顯式聲明。

"use strict";

v = 1; // 報錯，v未聲明

for(i = 0; i < 2; i++) { // 報錯，i未聲明
}

因此，嚴(yán)格模式下，變量都必須先用var命令聲明，然后再使用。

靜態(tài)綁定

Javascript語言的一個特點(diǎn)，就是允許“動態(tài)綁定”，即某些屬性和方法到底屬于哪一個對象，不是在編譯時確定的，而是在運(yùn)行時（runtime）確定的。

嚴(yán)格模式對動態(tài)綁定做了一些限制。某些情況下，只允許靜態(tài)綁定。也就是說，屬性和方法到底歸屬哪個對象，必須在編譯階段就確定。這樣做有利于編譯效率的提高，也使得代碼更容易閱讀，更少出現(xiàn)意外。

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

（1）禁止使用with語句

因?yàn)閣ith語句無法在編譯時就確定，某個屬性到底歸屬哪個對象，從而影響了編譯效果。

"use strict";

var v  = 1;

with (o){ // 語法錯誤 

    v = 2;

}

（2）創(chuàng)設(shè)eval作用域

正常模式下，Javascript語言有兩種變量作用域（scope）：全局作用域和函數(shù)作用域。嚴(yán)格模式創(chuàng)設(shè)了第三種作用域：eval作用域。

正常模式下，eval語句的作用域，取決于它處于全局作用域，還是函數(shù)作用域。嚴(yán)格模式下，eval語句本身就是一個作用域，不再能夠生成全局變量了，它所生成的變量只能用于eval內(nèi)部。

"use strict";

var x = 2;

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

console.info(x); // 2

增強(qiáng)的安全措施

（1）禁止this關(guān)鍵字指向全局對象

// 正常模式
function f(){
    return !this;
} 
// 返回false，因?yàn)椤皌his”指向全局對象，“!this”就是false

// 嚴(yán)格模式
function f(){ 
    "use strict";
    return !this;
} 
// 返回true，因?yàn)閲?yán)格模式下，this的值為undefined，所以"!this"為true。

因此，使用構(gòu)造函數(shù)時，如果忘了加new，this不再指向全局對象，而是報錯。

function f(){ 
    "use strict";
    this.a = 1;
};

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

（2）禁止在函數(shù)內(nèi)部遍歷調(diào)用棧

function f1(){

  "use strict";

  f1.caller;    // 報錯
  f1.arguments; // 報錯

}

f1();

禁止刪除變量

嚴(yán)格模式下無法刪除變量。只有configurable設(shè)置為true的對象屬性，才能被刪除。

"use strict";

var x;

delete x; // 語法錯誤

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

delete o.x; // 刪除成功

顯式報錯

嚴(yán)格模式下，設(shè)置字符串的length屬性，會報錯。

'use strict';
'abc'.length = 5;

正常模式下，對一個對象的只讀屬性進(jìn)行賦值，不會報錯，只會默默地失敗。嚴(yán)格模式下，將報錯。

"use strict";

var o = {};

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

o.v = 2; // 報錯

嚴(yán)格模式下，對一個使用getter方法讀取的屬性進(jìn)行賦值，會報錯。

"use strict";

var o = {

    get v() { return 1; } 

};

o.v = 2; // 報錯

嚴(yán)格模式下，對禁止擴(kuò)展的對象添加新屬性，會報錯。

"use strict";

var o = {};

Object.preventExtensions(o);

o.v = 1; // 報錯

嚴(yán)格模式下，刪除一個不可刪除的屬性，會報錯。

"use strict";

delete Object.prototype; // 報錯

重名錯誤

嚴(yán)格模式新增了一些語法錯誤。

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

正常模式下，如果對象有多個重名屬性，最后賦值的那個屬性會覆蓋前面的值。嚴(yán)格模式下，這屬于語法錯誤。

"use strict";

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

（2）函數(shù)不能有重名的參數(shù)

正常模式下，如果函數(shù)有多個重名的參數(shù)，可以用arguments[i]讀取。嚴(yán)格模式下，這屬于語法錯誤。

"use strict";

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

禁止八進(jìn)制表示法

正常模式下，整數(shù)的第一位如果是0，表示這是八進(jìn)制數(shù)，比如0100等于十進(jìn)制的64。嚴(yán)格模式禁止這種表示法，整數(shù)第一位為0，將報錯。

"use strict";

var n = 0100; // 語法錯誤

arguments對象的限制

arguments是函數(shù)的參數(shù)對象，嚴(yán)格模式對它的使用做了限制。

（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不再追蹤參數(shù)的變化

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); // 嚴(yán)格模式為[2,1]

（3）禁止使用arguments.callee

這意味著，你無法在匿名函數(shù)內(nèi)部調(diào)用自身了。

"use strict";

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

f(); // 報錯

函數(shù)必須聲明在頂層

將來JavaScript的新版本會引入“塊級作用域”。為了與新版本接軌，嚴(yán)格模式只允許在全局作用域或函數(shù)作用域的頂層聲明函數(shù)。也就是說，不允許在非函數(shù)的代碼塊內(nèi)聲明函數(shù)。

"use strict";

if (true) {
  function f1() { } // 語法錯誤
}

for (var i = 0; i < 5; i++) {
  function f2() { } // 語法錯誤
}

上面代碼在if代碼塊和for代碼塊中聲明了函數(shù)，在嚴(yán)格模式下都會報錯。

保留字

為了向?qū)鞪avascript的新版本過渡，嚴(yán)格模式新增了一些保留字：implements, interface, let, package, private, protected, public, static, yield。

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

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

  "use strict";

  var implements; // 語法錯誤

}

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

參考鏈接

• MDN, Strict mode
• Dr. Axel Rauschmayer, JavaScript: Why the hatred for strict mode?
• Dr. Axel Rauschmayer，JavaScript’s strict mode: a summary
• Douglas Crockford, Strict Mode Is Coming To Town
• JavaScript Strict Mode Support