JavaScript 嚴(yán)格模式

概述

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

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

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

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

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

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

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

"use strict";

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

如何調(diào)用

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

（1） 針對(duì)整個(gè)腳本文件

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

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

<script>

"use strict";

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

</script>

<script>

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

</script>

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

（2）針對(duì)單個(gè)函數(shù)

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

function strict(){

  "use strict";

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

function notStrict() {

    return "這是正常模式。";

}

（3）腳本文件的變通寫(xiě)法

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

(function (){

    "use strict";

    // some code here

 })();

語(yǔ)法和行為改變

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

全局變量顯式聲明

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

"use strict";

v = 1; // 報(bào)錯(cuò)，v未聲明

for(i = 0; i < 2; i++) { // 報(bào)錯(cuò)，i未聲明
}

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

靜態(tài)綁定

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

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

具體來(lái)說(shuō)，涉及以下幾個(gè)方面。

（1）禁止使用with語(yǔ)句

因?yàn)閣ith語(yǔ)句無(wú)法在編譯時(shí)就確定，某個(gè)屬性到底歸屬哪個(gè)對(duì)象，從而影響了編譯效果。

"use strict";

var v  = 1;

with (o){ // 語(yǔ)法錯(cuò)誤 

    v = 2;

}

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

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

正常模式下，eval語(yǔ)句的作用域，取決于它處于全局作用域，還是函數(shù)作用域。嚴(yán)格模式下，eval語(yǔ)句本身就是一個(gè)作用域，不再能夠生成全局變量了，它所生成的變量只能用于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)鍵字指向全局對(duì)象

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

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

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

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

f();// 報(bào)錯(cuò)，this未定義

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

function f1(){

  "use strict";

  f1.caller;    // 報(bào)錯(cuò)
  f1.arguments; // 報(bào)錯(cuò)

}

f1();

禁止刪除變量

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

"use strict";

var x;

delete x; // 語(yǔ)法錯(cuò)誤

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

delete o.x; // 刪除成功

顯式報(bào)錯(cuò)

嚴(yán)格模式下，設(shè)置字符串的length屬性，會(huì)報(bào)錯(cuò)。

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

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

"use strict";

var o = {};

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

o.v = 2; // 報(bào)錯(cuò)

嚴(yán)格模式下，對(duì)一個(gè)使用getter方法讀取的屬性進(jìn)行賦值，會(huì)報(bào)錯(cuò)。

"use strict";

var o = {

    get v() { return 1; } 

};

o.v = 2; // 報(bào)錯(cuò)

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

"use strict";

var o = {};

Object.preventExtensions(o);

o.v = 1; // 報(bào)錯(cuò)

嚴(yán)格模式下，刪除一個(gè)不可刪除的屬性，會(huì)報(bào)錯(cuò)。

"use strict";

delete Object.prototype; // 報(bào)錯(cuò)

重名錯(cuò)誤

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

（1）對(duì)象不能有重名的屬性

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

"use strict";

var o = {
    p: 1,
    p: 2
}; // 語(yǔ)法錯(cuò)誤

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

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

"use strict";

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

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

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

"use strict";

var n = 0100; // 語(yǔ)法錯(cuò)誤

arguments對(duì)象的限制

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

（1）不允許對(duì)arguments賦值

"use strict";

arguments++; // 語(yǔ)法錯(cuò)誤

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

try { } catch (arguments) { }  // 語(yǔ)法錯(cuò)誤

function arguments() { }  // 語(yǔ)法錯(cuò)誤

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

（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

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

"use strict";

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

f(); // 報(bào)錯(cuò)

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

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

"use strict";

if (true) {
  function f1() { } // 語(yǔ)法錯(cuò)誤
}

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

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

保留字

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

使用這些詞作為變量名將會(huì)報(bào)錯(cuò)。

function package(protected) { // 語(yǔ)法錯(cuò)誤

  "use strict";

  var implements; // 語(yǔ)法錯(cuò)誤

}

此外，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