除了正常的運(yùn)行模式,JavaScript還有第二種運(yùn)行模式:“嚴(yán)格模式”(strict mode)末秃。顧名思義伸但,這種模式采用更加嚴(yán)格的JavaScript語法。
同樣的代碼枚尼,在”正常模式“和”嚴(yán)格模式“中贴浙,可能會(huì)有不一樣的運(yùn)行結(jié)果。一些在”正常模式”下可以運(yùn)行的語句署恍,在”嚴(yán)格模式”下將不能運(yùn)行崎溃。掌握這些內(nèi)容,有助于更細(xì)致深入地理解JavaScript盯质,讓你變成一個(gè)更好的程序員袁串。
設(shè)計(jì)目的
設(shè)立”嚴(yán)格模式“的目的,主要有以下幾個(gè)呼巷。
- 明確禁止一些不合理囱修、不嚴(yán)謹(jǐn)?shù)恼Z法,減少JavaScript的一些怪異行為王悍。
- 增加更多報(bào)錯(cuò)的場合破镰,消除代碼運(yùn)行的一些不安全之處,保證代碼運(yùn)行的安全压储。
- 提高編譯器效率鲜漩,增加運(yùn)行速度。
- 為未來新版本的JavaScript做好鋪墊渠脉。
“嚴(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)行霞溪。如果這行語句不在第一行就無效孵滞,整個(gè)腳本會(huì)以“正常模式”運(yùn)行。(嚴(yán)格地說鸯匹,只要前面不是產(chǎn)生實(shí)際運(yùn)行結(jié)果的語句坊饶,use strict
可以不在第一行,比如直接跟在一個(gè)空的分號后面殴蓬,或者跟在注釋后面匿级。)
<script>
'use strict';
console.log('這是嚴(yán)格模式');
</script>
<script>
console.log('這是正常模式');
</script>
上面的代碼表示,一個(gè)網(wǎng)頁文件中依次有兩段JavaScript代碼染厅。前一個(gè)<script>
標(biāo)簽是嚴(yán)格模式痘绎,后一個(gè)不是。
如果字符串use strict
出現(xiàn)在代碼中間肖粮,則不起作用孤页,即嚴(yán)格模式必須從代碼一開始就生效。
(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 '這是正常模式';
}
(3)腳本文件的變通寫法
兩個(gè)不同模式的腳本合并成一個(gè)文件,如果嚴(yán)格模式的腳本在前凌净,則合并后的腳本都是”嚴(yán)格模式“悲龟;如果正常模式的腳本在前,則合并后的腳本都是”正常模式“冰寻⌒虢蹋總之,這兩種情況下斩芭,合并后的結(jié)果都是不正確的轻腺。
正確的做法是,使用前面第二種方法划乖,將整個(gè)腳本文件放在一個(gè)立即執(zhí)行的匿名函數(shù)之中贬养。
(function () {
'use strict';
// some code here
})();
顯式報(bào)錯(cuò)
嚴(yán)格模式使得JavaScript的語法變得更嚴(yán)格,更多的操作會(huì)顯式報(bào)錯(cuò)琴庵。其中有些操作误算,在正常模式下只會(huì)默默地失敗仰美,不會(huì)報(bào)錯(cuò)。
只讀屬性不可寫
嚴(yán)格模式下儿礼,設(shè)置字符串的length
屬性咖杂,會(huì)報(bào)錯(cuò)。
'use strict';
'abc'.length = 5;
// TypeError: Cannot assign to read only property 'length' of string 'abc'
這是因?yàn)?code>length是只讀屬性蚊夫。
var str = Object('abc');
Object.getOwnPropertyDescriptor(str, 'length')
// Object {
// value: 3,
// writable: false,
// enumerable: false,
// configurable: false
// }
嚴(yán)格模式下诉字,對只讀屬性賦值,或者刪除不可配置(nonconfigurable)屬性都會(huì)報(bào)錯(cuò)知纷。
// 對只讀屬性賦值會(huì)報(bào)錯(cuò)
'use strict';
var o = {};
Object.defineProperty(o, 'a', {
value: 37,
writable: false
});
o.a = 123;
// TypeError: Cannot assign to read only property 'a' of object #<Object>
// 刪除不可配置的屬性會(huì)報(bào)錯(cuò)
'use strict';
var o = Object.defineProperty({}, 'p', {
value: 1,
configurable: false
});
delete o.p
// TypeError: Cannot delete property 'p' of #<Object>
只設(shè)置了賦值器的屬性不可寫
嚴(yán)格模式下壤圃,對一個(gè)只設(shè)置了賦值器(getter)的屬性賦值,會(huì)報(bào)錯(cuò)琅轧。
'use strict';
var o = {
get v() { return 1; }
};
o.v = 2; // 報(bào)錯(cuò)
禁止擴(kuò)展的對象不可擴(kuò)展
嚴(yán)格模式下伍绳,對禁止擴(kuò)展的對象添加新屬性,會(huì)報(bào)錯(cuò)鹰晨。
'use strict';
var o = {};
Object.preventExtensions(o);
o.v = 1; // 報(bào)錯(cuò)
eval墨叛、arguments不可用作標(biāo)識(shí)名
嚴(yán)格模式下,使用eval
或者arguments
作為標(biāo)識(shí)名模蜡,將會(huì)報(bào)錯(cuò)漠趁。
下面的語句都會(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)格模式下卤妒,這屬于語法錯(cuò)誤甥绿。
function f(a, a, b) { // 語法錯(cuò)誤
'use strict';
return a + b;
}
禁止八進(jìn)制的前綴0表示法
正常模式下,整數(shù)的第一位如果是0
则披,表示這是八進(jìn)制數(shù)共缕,比如0100
等于十進(jìn)制的64。嚴(yán)格模式禁止這種表示法士复,整數(shù)第一位為0
图谷,將報(bào)錯(cuò)。
"use strict";
var n = 0100; // SyntaxError
增強(qiáng)的安全措施
嚴(yán)格模式增強(qiáng)了安全保護(hù)阱洪,從語法上防止了一些不小心會(huì)出現(xiàn)的錯(cuò)誤便贵。
全局變量顯式聲明
在正常模式中,如果一個(gè)變量沒有聲明就賦值冗荸,默認(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)格模式下出嘹,變量都必須先用var
命令聲明席楚,然后再使用咬崔。
禁止this關(guān)鍵字指向全局對象
正常模式下,函數(shù)內(nèi)部的this
可能會(huì)指向全局對象烦秩,嚴(yán)格模式禁止這種用法垮斯,避免無意間創(chuàng)造全局變量。
// 正常模式
function f() {
console.log(this === window);
}
f() // true
// 嚴(yán)格模式
function f() {
'use strict';
console.log(this === undefined);
}
f() // true
這種限制對于構(gòu)造函數(shù)尤其有用只祠。使用構(gòu)造函數(shù)時(shí)兜蠕,有時(shí)忘了加new
,這時(shí)this
不再指向全局對象抛寝,而是報(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
上面。
'use strict';
function fun() {
return this;
}
fun() //undefined
fun.call(2) // 2
fun.apply(null) // null
fun.call(undefined) // undefined
fun.bind(true)() // true
禁止使用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è)歷史遺留的變量萄焦,從來沒有標(biāo)準(zhǔn)化過控轿,現(xiàn)在已經(jīng)取消了。正常模式下調(diào)用它們沒有什么作用楷扬,但是不會(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)格模式下無法刪除變量,如果使用delete
命令刪除一個(gè)變量镣衡,會(huì)報(bào)錯(cuò)霜定。只有對象的屬性档悠,且屬性的描述對象的configurable
屬性設(shè)置為true
,才能被delete
命令刪除望浩。
'use strict';
var x;
delete x; // 語法錯(cuò)誤
var o = Object.create(null, {
x: {
value: 1,
configurable: true
}
});
delete o.x; // 刪除成功
靜態(tài)綁定
JavaScript語言的一個(gè)特點(diǎn)辖所,就是允許“動(dòng)態(tài)綁定”,即某些屬性和方法到底屬于哪一個(gè)對象磨德,不是在編譯時(shí)確定的缘回,而是在運(yùn)行時(shí)(runtime)確定的。
嚴(yán)格模式對動(dòng)態(tài)綁定做了一些限制典挑。某些情況下酥宴,只允許靜態(tài)綁定。也就是說您觉,屬性和方法到底歸屬哪個(gè)對象拙寡,必須在編譯階段就確定。這樣做有利于編譯效率的提高琳水,也使得代碼更容易閱讀肆糕,更少出現(xiàn)意外。
具體來說在孝,涉及以下幾個(gè)方面诚啃。
禁止使用with語句
嚴(yán)格模式下,使用with
語句將報(bào)錯(cuò)浑玛。因?yàn)?code>with語句無法在編譯時(shí)就確定绍申,某個(gè)屬性到底歸屬哪個(gè)對象,從而影響了編譯效果顾彰。
'use strict';
var v = 1;
with (o) { // SyntaxError
v = 2;
}
創(chuàng)設(shè)eval作用域
正常模式下极阅,JavaScript語言有兩種變量作用域(scope):全局作用域和函數(shù)作用域。嚴(yán)格模式創(chuàng)設(shè)了第三種作用域:eval
作用域涨享。
正常模式下筋搏,eval
語句的作用域,取決于它處于全局作用域厕隧,還是函數(shù)作用域奔脐。嚴(yán)格模式下,eval
語句本身就是一個(gè)作用域吁讨,不再能夠在其所運(yùn)行的作用域創(chuàng)設(shè)新的變量了髓迎,也就是說,eval
所生成的變量只能用于eval
內(nèi)部建丧。
(function () {
'use strict';
var x = 2;
console.log(eval('var x = 5; x')) // 5
console.log(x) // 2
})()
上面代碼中排龄,由于eval
語句內(nèi)部是一個(gè)獨(dú)立作用域,所以內(nèi)部的變量x
不會(huì)泄露到外部翎朱。
注意橄维,如果希望eval
語句也使用嚴(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ò)
上面兩種寫法争舞,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
對象上來。
向下一個(gè)版本的JavaScript過渡
JavaScript語言的下一個(gè)版本是ECMAScript 6福澡,為了平穩(wěn)過渡,嚴(yán)格模式引入了一些ES6語法驹马。
非函數(shù)代碼塊不得聲明函數(shù)
JavaScript的新版本ES6會(huì)引入“塊級作用域”革砸。為了與新版本接軌,嚴(yán)格模式只允許在全局作用域或函數(shù)作用域聲明函數(shù)糯累。也就是說算利,不允許在非函數(shù)的代碼塊內(nèi)聲明函數(shù)。
'use strict';
if (true) {
function f1() { } // 語法錯(cuò)誤
}
for (var i = 0; i < 5; i++) {
function f2() { } // 語法錯(cuò)誤
}
上面代碼在if
代碼塊和for
代碼塊中聲明了函數(shù)泳姐,在嚴(yán)格模式下都會(huì)報(bào)錯(cuò)效拭。
保留字
為了向?qū)鞪avaScript的新版本過渡,嚴(yán)格模式新增了一些保留字:implements, interface, let, package, private, protected, public, static, yield胖秒。
使用這些詞作為變量名將會(huì)報(bào)錯(cuò)缎患。
function package(protected) { // 語法錯(cuò)誤
'use strict';
var implements; // 語法錯(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