除了正常的運(yùn)行模式，JavaScript 還有第二種運(yùn)行模式：嚴(yán)格模式（strict mode）。顧名思義，這種模式采用更加嚴(yán)格的 JavaScript 語(yǔ)法。

同樣的代碼，在正常模式和嚴(yán)格模式中，可能會(huì)有不一樣的運(yùn)行結(jié)果。一些在正常模式下可以運(yùn)行的語(yǔ)句，在嚴(yán)格模式下將不能運(yùn)行。

設(shè)計(jì)目的

早期的 JavaScript 語(yǔ)言有很多設(shè)計(jì)不合理的地方，但是為了兼容以前的代碼，又不能改變老的語(yǔ)法，只能不斷添加新的語(yǔ)法，引導(dǎo)程序員使用新語(yǔ)法。

嚴(yán)格模式是從 ES5 進(jìn)入標(biāo)準(zhǔn)的，主要目的有以下幾個(gè)。

• 明確禁止一些不合理、不嚴(yán)謹(jǐn)?shù)恼Z(yǔ)法，減少 JavaScript 語(yǔ)言的一些怪異行為。
• 增加更多報(bào)錯(cuò)的場(chǎng)合，消除代碼運(yùn)行的一些不安全之處，保證代碼運(yùn)行的安全。
• 提高編譯器效率，增加運(yùn)行速度。
• 為未來(lái)新版本的 JavaScript 語(yǔ)法做好鋪墊。

總之，嚴(yán)格模式體現(xiàn)了 JavaScript 更合理、更安全、更嚴(yán)謹(jǐn)?shù)陌l(fā)展方向。

啟用方法

進(jìn)入嚴(yán)格模式的標(biāo)志，是一行字符串use strict。

'use strict';

老版本的引擎會(huì)把它當(dāng)作一行普通字符串，加以忽略。新版本的引擎就會(huì)進(jìn)入嚴(yán)格模式。

嚴(yán)格模式可以用于整個(gè)腳本，也可以只用于單個(gè)函數(shù)。

（1） 整個(gè)腳本文件

use strict放在腳本文件的第一行，整個(gè)腳本都將以嚴(yán)格模式運(yùn)行。如果這行語(yǔ)句不在第一行就無(wú)效，整個(gè)腳本會(huì)以正常模式運(yù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è)不是。

如果use strict寫(xiě)成下面這樣，則不起作用，嚴(yán)格模式必須從代碼一開(kāi)始就生效。

<script>
  console.log('這是正常模式');
  'use strict';
</script>

（2）單個(gè)函數(shù)

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

function strict() {
  'use strict';
  return '這是嚴(yán)格模式';
}

function strict2() {
  'use strict';
  function f() {
    return '這也是嚴(yán)格模式';
  }
  return f();
}

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

有時(shí)，需要把不同的腳本合并在一個(gè)文件里面。如果一個(gè)腳本是嚴(yán)格模式，另一個(gè)腳本不是，它們的合并就可能出錯(cuò)。嚴(yán)格模式的腳本在前，則合并后的腳本都是嚴(yán)格模式；如果正常模式的腳本在前，則合并后的腳本都是正常模式。這兩種情況下，合并后的結(jié)果都是不正確的。這時(shí)可以考慮把整個(gè)腳本文件放在一個(gè)立即執(zhí)行的匿名函數(shù)之中。

(function () {
  'use strict';
  // some code here
})();

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

嚴(yán)格模式使得 JavaScript 的語(yǔ)法變得更嚴(yán)格，更多的操作會(huì)顯式報(bào)錯(cuò)。其中有些操作，在正常模式下只會(huì)默默地失敗，不會(huì)報(bào)錯(cuò)。

只讀屬性不可寫(xiě)

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

'use strict';
'abc'.length = 5;
// TypeError: Cannot assign to read only property 'length' of string 'abc'

上面代碼報(bào)錯(cuò)，因?yàn)?code>length是只讀屬性，嚴(yán)格模式下不可寫(xiě)。正常模式下，改變length屬性是無(wú)效的，但不會(huì)報(bào)錯(cuò)。

嚴(yán)格模式下，對(duì)只讀屬性賦值，或者刪除不可配置（non-configurable）屬性都會(huì)報(bào)錯(cuò)。

// 對(duì)只讀屬性賦值會(huì)報(bào)錯(cuò)
'use strict';
Object.defineProperty({}, 'a', {
  value: 37,
  writable: false
});
obj.a = 123;
// TypeError: Cannot assign to read only property 'a' of object #<Object>

// 刪除不可配置的屬性會(huì)報(bào)錯(cuò)
'use strict';
var obj = Object.defineProperty({}, 'p', {
  value: 1,
  configurable: false
});
delete obj.p
// TypeError: Cannot delete property 'p' of #<Object>

只設(shè)置了取值器的屬性不可寫(xiě)

嚴(yán)格模式下，對(duì)一個(gè)只有取值器（getter）、沒(méi)有存值器（setter）的屬性賦值，會(huì)報(bào)錯(cuò)。

'use strict';
var obj = {
  get v() { return 1; }
};
obj.v = 2;
// Uncaught TypeError: Cannot set property v of #<Object> which has only a getter

上面代碼中，obj.v只有取值器，沒(méi)有存值器，對(duì)它進(jìn)行賦值就會(huì)報(bào)錯(cuò)。

禁止擴(kuò)展的對(duì)象不可擴(kuò)展

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

'use strict';
var obj = {};
Object.preventExtensions(obj);
obj.v = 1;
// Uncaught TypeError: Cannot add property v, object is not extensible

上面代碼中，obj對(duì)象禁止擴(kuò)展，添加屬性就會(huì)報(bào)錯(cuò)。

eval、arguments 不可用作標(biāo)識(shí)名

嚴(yán)格模式下，使用eval或者arguments作為標(biāo)識(shí)名，將會(huì)報(bào)錯(cuò)。下面的語(yǔ)句都會(huì)報(bào)錯(cuò)。

'use strict';
var eval = 17;
var arguments = 17;
var obj = { set p(arguments) { } };
try { } catch (arguments) { }
function x(eval) { }
function arguments() { }
var y = function eval() { };
var f = new Function('arguments', "'use strict'; return 17;");
// SyntaxError: Unexpected eval or arguments in strict mode

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

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

function f(a, a, b) {
  'use strict';
  return a + b;
}
// Uncaught SyntaxError: Duplicate parameter name not allowed in this context

禁止八進(jìn)制的前綴0表示法

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

'use strict';
var n = 0100;
// Uncaught SyntaxError: Octal literals are not allowed in strict mode.

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

嚴(yán)格模式增強(qiáng)了安全保護(hù)，從語(yǔ)法上防止了一些不小心會(huì)出現(xiàn)的錯(cuò)誤。

全局變量顯式聲明

正常模式中，如果一個(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 未聲明
  // ...
}

function f() {
  x = 123;
}
f() // 報(bào)錯(cuò)，未聲明就創(chuàng)建一個(gè)全局變量

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

禁止 this 關(guān)鍵字指向全局對(duì)象

正常模式下，函數(shù)內(nèi)部的this可能會(huì)指向全局對(duì)象，嚴(yán)格模式禁止這種用法，避免無(wú)意間創(chuàng)造全局變量。

// 正常模式
function f() {
  console.log(this === window);
}
f() // true

// 嚴(yán)格模式
function f() {
  'use strict';
  console.log(this === undefined);
}
f() // true

上面代碼中，嚴(yán)格模式的函數(shù)體內(nèi)部this是undefined。

這種限制對(duì)于構(gòu)造函數(shù)尤其有用。使用構(gòu)造函數(shù)時(shí)，有時(shí)忘了加new，這時(shí)this不再指向全局對(duì)象，而是報(bào)錯(cuò)。

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

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

嚴(yán)格模式下，函數(shù)直接調(diào)用時(shí)（不使用new調(diào)用），函數(shù)內(nèi)部的this表示undefined（未定義），因此可以用call、apply和bind方法，將任意值綁定在this上面。正常模式下，this指向全局對(duì)象，如果綁定的值是非對(duì)象，將被自動(dòng)轉(zhuǎn)為對(duì)象再綁定上去，而null和undefined這兩個(gè)無(wú)法轉(zhuǎn)成對(duì)象的值，將被忽略。

// 正常模式
function fun() {
  return this;
}

fun() // window
fun.call(2) // Number {2}
fun.call(true) // Boolean {true}
fun.call(null) // window
fun.call(undefined) // window

// 嚴(yán)格模式
'use strict';
function fun() {
  return this;
}

fun() //undefined
fun.call(2) // 2
fun.call(true) // true
fun.call(null) // null
fun.call(undefined) // undefined

上面代碼中，可以把任意類(lèi)型的值，綁定在this上面。

禁止使用 fn.callee、fn.caller

函數(shù)內(nèi)部不得使用fn.caller、fn.arguments，否則會(huì)報(bào)錯(cuò)。這意味著不能在函數(shù)內(nèi)部得到調(diào)用棧了。

function f1() {
  'use strict';
  f1.caller;    // 報(bào)錯(cuò)
  f1.arguments; // 報(bào)錯(cuò)
}

f1();

禁止使用 arguments.callee、arguments.caller

arguments.callee和arguments.caller是兩個(gè)歷史遺留的變量，從來(lái)沒(méi)有標(biāo)準(zhǔn)化過(guò)，現(xiàn)在已經(jīng)取消了。正常模式下調(diào)用它們沒(méi)有什么作用，但是不會(huì)報(bào)錯(cuò)。嚴(yán)格模式明確規(guī)定，函數(shù)內(nèi)部使用arguments.callee、arguments.caller將會(huì)報(bào)錯(cuò)。

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

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

禁止刪除變量

嚴(yán)格模式下無(wú)法刪除變量，如果使用delete命令刪除一個(gè)變量，會(huì)報(bào)錯(cuò)。只有對(duì)象的屬性，且屬性的描述對(duì)象的configurable屬性設(shè)置為true，才能被delete命令刪除。

'use strict';
var x;
delete x; // 語(yǔ)法錯(cuò)誤

var obj = Object.create(null, {
  x: {
    value: 1,
    configurable: true
  }
});
delete obj.x; // 刪除成功

靜態(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è)方面。

禁止使用 with 語(yǔ)句

嚴(yán)格模式下，使用with語(yǔ)句將報(bào)錯(cuò)。因?yàn)?code>with語(yǔ)句無(wú)法在編譯時(shí)就確定，某個(gè)屬性到底歸屬哪個(gè)對(duì)象，從而影響了編譯效果。

'use strict';
var v  = 1;
var obj = {};

with (obj) {
  v = 2;
}
// Uncaught SyntaxError: Strict mode code may not include a with statement

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

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

正常模式下，eval語(yǔ)句的作用域，取決于它處于全局作用域，還是函數(shù)作用域。嚴(yán)格模式下，eval語(yǔ)句本身就是一個(gè)作用域，不再能夠在其所運(yùn)行的作用域創(chuàng)設(shè)新的變量了，也就是說(shuō)，eval所生成的變量只能用于eval內(nèi)部。

(function () {
  'use strict';
  var x = 2;
  console.log(eval('var x = 5; x')) // 5
  console.log(x) // 2
})()

上面代碼中，由于eval語(yǔ)句內(nèi)部是一個(gè)獨(dú)立作用域，所以?xún)?nèi)部的變量x不會(huì)泄露到外部。

注意，如果希望eval語(yǔ)句也使用嚴(yán)格模式，有兩種方式。

// 方式一
function f1(str){
  'use strict';
  return eval(str);
}
f1('undeclared_variable = 1'); // 報(bào)錯(cuò)

// 方式二
function f2(str){
  return eval(str);
}
f2('"use strict";undeclared_variable = 1')  // 報(bào)錯(cuò)

上面兩種寫(xiě)法，eval內(nèi)部使用的都是嚴(yán)格模式。

arguments 不再追蹤參數(shù)的變化

變量arguments代表函數(shù)的參數(shù)。嚴(yán)格模式下，函數(shù)內(nèi)部改變參數(shù)與arguments的聯(lián)系被切斷了，兩者不再存在聯(lián)動(dòng)關(guān)系。

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]

上面代碼中，改變函數(shù)的參數(shù)，不會(huì)反應(yīng)到arguments對(duì)象上來(lái)。

向下一個(gè)版本的 JavaScript 過(guò)渡

JavaScript 語(yǔ)言的下一個(gè)版本是 ECMAScript 6，為了平穩(wěn)過(guò)渡，嚴(yán)格模式引入了一些 ES6 語(yǔ)法。

非函數(shù)代碼塊不得聲明函數(shù)

ES6 會(huì)引入塊級(jí)作用域。為了與新版本接軌，ES5 的嚴(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ù)，ES5 環(huán)境會(huì)報(bào)錯(cuò)。

注意，如果是 ES6 環(huán)境，上面的代碼不會(huì)報(bào)錯(cuò)，因?yàn)?ES6 允許在代碼塊之中聲明函數(shù)。

保留字

為了向?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ò)誤
}

參考鏈接

• 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