一、概述
除了正常运行模式,ECMAscript 5添加了第二种运行模式:"严格模式"(strict mode)。顾名思义,这种模式使得Javascript在更严格的条件下运行。
设立"严格模式"的目的,主要有以下几个:
- - 消除Javascript语法的一些不合理、不严谨之处,减少一些怪异行为;
- - 消除代码运行的一些不安全之处,保证代码运行的安全;
- - 提高编译器效率,增加运行速度;
- - 为未来新版本的Javascript做好铺垫。
"严格模式"体现了Javascript更合理、更安全、更严谨的发展方向,包括IE 10在内的主流浏览器,都已经支持它,许多大项目已经开始全面拥抱它。
另一方面,同样的代码,在"严格模式"中,可能会有不一样的运行结果;一些在"正常模式"下可以运行的语句,在"严格模式"下将不能运行。掌握这些内容,有助于更细致深入地理解Javascript,让你变成一个更好的程序员。
严格模式下的JavaScript有很多处改变。首先要说说的是,严格模式下的JavaScript会表现得没那么多陷阱,该报错的时候就报错。另外,严 格模式修复了JavaScript中的一些错误,使得JavaScript解释器更好地进行代码优化,也就是说严格模式下的代码运行地会快一些。同时,严 格模式还阻止开发者使用一些可能会用于以后ECMAScript中的语法。
二、进入标志
进入"严格模式"的标志,是下面这行语句: "use strict";
老版本的浏览器会把它当作一行普通字符串,加以忽略。
三、如何调用
"严格模式"有两种调用方法,适用于不同的场合。
3.1 针对整个脚本文件
将"use strict"放在脚本文件的第一行,则整个脚本都将以"严格模式"运行。如果这行语句不在第一行,则无效,整个脚本以"正常模式"运行。如果不同模式的代码文件合并成一个文件,这一点需要特别注意。
(严格地说,只要前面不是产生实际运行结果的语句,"use strict"可以不在第一行,比如直接跟在一个空的分号后面。)
<script>
"use strict";
console.log("这是严格模式。");
</script> <script>
console.log("这是正常模式。");
</script>
上面的代码表示,一个网页中依次有两段Javascript代码。前一个script标签是严格模式,后一个不是。
3.2 针对单个函数
将"use strict"放在函数体的第一行,则整个函数以"严格模式"运行。
function strict(){
"use strict";
return "这是严格模式。";
} function notStrict() {
return "这是正常模式。";
}
3.3 脚本文件的变通写法
因为第一种调用方法不利于文件合并,所以更好的做法是,借用第二种方法,将整个脚本文件放在一个立即执行的匿名函数之中。
(function (){
"use strict";
// 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语句无法在编译时就确定,属性到底归属哪个对象。
"use strict";
var v = 1;
with (o){ // 语法错误
v = 2;
}
(2)创设eval作用域
正常模式下,Javascript语言有两种变量作用域(scope):全局作用域和函数作用域。严格模式创设了第三种作用域:eval作用域。
正常模式下,eval语句的作用域,取决于它处于全局作用域,还是处于函数作用域。严格模式下,eval语句本身就是一个作用域,不再能够生成全局变量了,它所生成的变量只能用于eval内部。
"use strict";
var x = 2;
console.info(eval("var x = 5; x")); //
console.info(x); //
4.3 增强的安全措施
(1)禁止this关键字指向全局对象
function f(){
return !this;
}
// 返回false,因为"this"指向全局对象,"!this"就是false
function f(){
"use strict";
return !this;
}
// 返回true,因为严格模式下,this的值为undefined,所以"!this"为true。
因此,使用构造函数时,如果忘了加new,this不再指向全局对象,而是报错。
function f(){
"use strict";
this.a = 1; };
f();// 报错,this未定义
说明——”安全的“JavaScript
严格模式让开发者更容易编写“安全的”JavaScript。有些网站可以让用户编写JavaScript,这些脚本会被其他用户的浏览器或网站运 行。浏览器中的JavaScript将能够访问到用户的私密信息,所以这段JavaScript能被部分地在运行前转变,去连接被禁止的功能。为了做到 “安全的”JavaScript,需要有多次的运行时检查灵活多变的JavaScript代码。但是多次的运行时检查可能带来大量的性能损失。在严格模式 下的一些调整,用户提交的JavaScript代码会以某种方式执行,有效的减少了运行时检查的需要。
首先,在严格模式下,当值作为this
传入一个方法时(调用call
, apply
, bind
方法时),不会被装箱成一个对象。非严格模式下,对于一个方法来说,如果作为this
传入的值是一个对象,那么方法中的this
就是一个对象;如果传入的是Boolean
,string
,number
类型的话,方法中的this
就是装箱之后的值;如果传入的值是undefined
或者null
,那么方法中的this
就是全局对象。自动装箱会造成性能损失,而且暴露出来的浏览器全局对象又会造成安全隐患,因为全局对象可以连接功能“安全的”JavaScript环境,这是需要被限制的。因此,对于一个严格模式下的方法,指定的this
被视为未改变的:
'use strict';
function fun () { return this; }
assert(fun() === undefined); // this is unchanged, before is global variable
assert(fun.call(2) === 2);
assert(fun.apply(null) === null);
assert(fun.call(undefined) === undefined);
assert(fun.bind(true)() === true);
(2)禁止在函数内部遍历调用栈
function f1(){
"use strict";
f1.caller; // 报错
f1.arguments; // 报错
}
f1();
说明:
严格模式下不能使用ECMAScript的通用实现的扩展去“查看”JavaScript的堆栈。通常实现的扩展程序中,当方法fun
被另一个方法调用时,fun.caller
指向了最近调用fun
的方法,fun.arguments
指向了fun
方法调用时候的参数。两个属性的访问都时被严格模式限制的,因为它们允许“安全的”代码访问“特权函数”及其(有隐患的)参数。如果fun
处于严格模式下,fun.caller
和fun.arguments
都是不可删除的属性,在设值和取值的时候会抛出异常:
function restricted () {
'use restrict';
restricted.caller; // throws a TypeError
restricted.arguments; // throws a TypeError
} function privilegedInvoker () {
return restricted();
}
privilegedInvoker();
4.4 禁止删除变量
严格模式下无法删除变量。只有configurable设置为true的对象属性,才能被删除。
"use strict";
var x;
delete x; // 语法错误
var o = Object.create(null, 'x', {
value: 1,
configurable: true
});
delete o.x; // 删除成功
4.5 显式报错
正常模式下,对一个对象的只读属性进行赋值,不会报错,只会默默地失败。严格模式下,将报错。
"use strict";
var o = {};
Object.defineProperty(o, "v", { value: 1, writable: false });
o.v = 2; // 报错
严格模式下,对一个使用getter方法读取的属性进行赋值,会报错。
"use strict";
var o = {
get v() { return 1; }
};
o.v = 2; // 报错
严格模式下,对禁止扩展的对象添加新属性,会报错。
"use strict";
var o = {};
Object.preventExtensions(o);
o.v = 1; // 报错
严格模式下,删除一个不可删除的属性,会报错。
"use strict";
delete Object.prototype; // 报错
4.6 重名错误
严格模式新增了一些语法错误。
(1)对象不能有重名的属性
正常模式下,如果对象有多个重名属性,最后赋值的那个属性会覆盖前面的值。严格模式下,这属于语法错误。
"use strict";
var o = {
p: 1,
p: 2
}; // 语法错误
(2)函数不能有重名的参数
正常模式下,如果函数有多个重名的参数,可以用arguments[i]读取。严格模式下,这属于语法错误。
"use strict";
function f(a, a, b) { // 语法错误
return ;
}
4.7 禁止八进制表示法
正常模式下,整数的第一位如果是0,表示这是八进制数,比如0100等于十进制的64。严格模式禁止这种表示法,整数第一位为0,将报错。
"use strict";
var n = 0100; // 语法错误
4.8 arguments对象的限制
arguments是函数的参数对象,严格模式对它的使用做了限制。在严格模式下,方法的arguments
不能访问到方法调用时的变量。
(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不再追踪参数的变化
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); // 严格模式为[2,1]
(3)禁止使用arguments.callee
这意味着,你无法在匿名函数内部调用自身了。
"use strict";
var f = function() { return arguments.callee; };
f(); // 报错
说明:
在较老版本的ECMAScript实现的arguments.caller
是一个对象,对象的属性是指向了该方法调用时参数的别名。这也是一个安全隐患,因为它不能通过方法抽象来隐藏特权值;也会给解释器优化带来困难。目前来说,还没有近代浏览器实现它。因为一些历史原因,严格模式下的方法中arguments.caller
是一个不可被删除的属性,并且设值和取值时都会抛出异常:
'use strict';
function fun (a, b) {
'use strict';
var v = 12;
return arguments.caller; // throws a TypeError
}
fun(1, 2); // doesn't expose v (or a or b)
4.9 函数必须声明在顶层
将来Javascript的新版本会引入"块级作用域"。为了与新版本接轨,严格模式只允许在全局作用域或函数作用域的顶层声明函数。也就是说,不允许在非函数的代码块内声明函数。
"use strict";
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) { // 语法错误
"use strict";
var implements; // 语法错误
}
此外,ECMAscript第五版本身还规定了另一些保留字(class, enum, export, extends, import, super),以及各大浏览器自行增加的const保留字,也是不能作为变量名的。
说明——为未来的ECMAScript铺路
在Firefox下有两个特殊的地方:第一,如果你的代码使用的是JavaScript1.7或以上(你使用的时Chrome,或者你使用了正确的<script type="">
),并且使用了严格模式,let
和yield
在它们第一次引入的时候就已经可以使用。但是如果脚本是使用<script src="">
或<script>…</script>
加载的,那么你不可以使用let
/yield
作为标识符。第二,ES5还保留了更多的关键字:class
,enum
,export
,export
,extend
,import
和super
,在Firefox5之前,它们只在严格模式下保留。
另外,严格模式禁止在一段脚本或一个方法内有不标准的方法声明。在非严格模式下,浏览器允许在任何地方声明方法。这种方式并不是来自ES5,甚至不是来自ES3!,它是不同浏览器不同的实现导致的。未来的ECMAScript版本将会为不标准的方法声明定义新的语意。严格模式下禁止了这种方法申明,为未来的ECMAScript标准的定制扫清障碍。
浏览器下的严格模式
浏览起还没有完全实现严格模式,所以不要盲目的依赖它。严格模式会改变脚本的语意。如果浏览器还没有实现某种严格模式下的行为, 依赖这些行为的地方将会导致错误。使用的时候需要保持练习的心态,通过功能测试来保证你使用的严格模式都被浏览器实现了。最后,确保你测试过你的代码在不 支持严格模式的浏览器也是可以运行的,否则,你可能会遇到些问题,反之亦然。
五、参考链接
- Where's Walden? » New ES5 strict mode support: now with poison pills!
- Where's Walden? » New ES5 strict mode requirement: function statements not at top level of a program or function are prohibited
- Where's Walden? » New ES5 strict mode support: new vars created by strict mode eval code are local to that code only
- John Resig - ECMAScript 5 Strict Mode, JSON, and More
- ECMA-262-5 in detail. Chapter 2. Strict Mode.
- Strict mode compatibility table
- - MDN, Strict mode
- - Dr. Axel Rauschmayer,JavaScript's strict mode: a summary
- - Douglas Crockford, Strict Mode Is Coming To Town
转载自:
- http://www.ruanyifeng.com/blog/2013/01/javascript_strict_mode.html
- http://ishouldbeageek.me/2013/06/09/strict-mode/
设立"严格模式"的目的,主要有以下几个:
- 消除Javascript语法的一些不合理、不严谨之处,减少一些怪异行为;
- 消除代码运行的一些不安全之处,保证代码运行的安全;
- 提高编译器效率,增加运行速度;
- 为未来新版本的Javascript做好铺垫。
"严格模式"体现了Javascript更合理、更安全、更严谨的发展方向,包括IE 10在内的主流浏览器,都已经支持它,许多大项目已经开始全面拥抱它。
另一方面,同样的代码,在"严格模式"中,可能会有不一样的运行结果;一些在"正常模式"下可以运行的语句,在"严格模式"下将不能运行。掌握这些内容,有助于更细致深入地理解Javascript,让你变成一个更好的程序员。
本文将对"严格模式"做详细介绍。
二、进入标志
进入"严格模式"的标志,是下面这行语句:
"use strict";
老版本的浏览器会把它当作一行普通字符串,加以忽略。
三、如何调用
"严格模式"有两种调用方法,适用于不同的场合。
3.1 针对整个脚本文件
将"use strict"放在脚本文件的第一行,则整个脚本都将以"严格模式"运行。如果这行语句不在第一行,则无效,整个脚本以"正常模式"运行。如果不同模式的代码文件合并成一个文件,这一点需要特别注意。
(严格地说,只要前面不是产生实际运行结果的语句,"use strict"可以不在第一行,比如直接跟在一个空的分号后面。)
<script>
"use strict";
console.log("这是严格模式。");
</script><script>
console.log("这是正常模式。");
</script>
上面的代码表示,一个网页中依次有两段Javascript代码。前一个script标签是严格模式,后一个不是。
3.2 针对单个函数
将"use strict"放在函数体的第一行,则整个函数以"严格模式"运行。
function strict(){
"use strict";
return "这是严格模式。";
}function notStrict() {
return "这是正常模式。";
}
3.3 脚本文件的变通写法
因为第一种调用方法不利于文件合并,所以更好的做法是,借用第二种方法,将整个脚本文件放在一个立即执行的匿名函数之中。
(function (){
"use strict";
// 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语句无法在编译时就确定,属性到底归属哪个对象。
"use strict";
var v = 1;
with (o){ // 语法错误
v = 2;
}
(2)创设eval作用域
正常模式下,Javascript语言有两种变量作用域(scope):全局作用域和函数作用域。严格模式创设了第三种作用域:eval作用域。
正常模式下,eval语句的作用域,取决于它处于全局作用域,还是处于函数作用域。严格模式下,eval语句本身就是一个作用域,不再能够生成全局变量了,它所生成的变量只能用于eval内部。
"use strict";
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"就是falsefunction f(){
"use strict";
return !this;
}
// 返回true,因为严格模式下,this的值为undefined,所以"!this"为true。
因此,使用构造函数时,如果忘了加new,this不再指向全局对象,而是报错。
function f(){
"use strict";
this.a = 1;
};
f();// 报错,this未定义
(2)禁止在函数内部遍历调用栈
function f1(){
"use strict";
f1.caller; // 报错
f1.arguments; // 报错
}
f1();
4.4 禁止删除变量
严格模式下无法删除变量。只有configurable设置为true的对象属性,才能被删除。
"use strict";
var x;
delete x; // 语法错误
var o = Object.create(null, 'x', {
value: 1,
configurable: true
});delete o.x; // 删除成功
4.5 显式报错
正常模式下,对一个对象的只读属性进行赋值,不会报错,只会默默地失败。严格模式下,将报错。
"use strict";
var o = {};
Object.defineProperty(o, "v", { value: 1, writable: false });
o.v = 2; // 报错
严格模式下,对一个使用getter方法读取的属性进行赋值,会报错。
"use strict";
var o = {
get v() { return 1; }
};
o.v = 2; // 报错
严格模式下,对禁止扩展的对象添加新属性,会报错。
"use strict";
var o = {};
Object.preventExtensions(o);
o.v = 1; // 报错
严格模式下,删除一个不可删除的属性,会报错。
"use strict";
delete Object.prototype; // 报错
4.6 重名错误
严格模式新增了一些语法错误。
(1)对象不能有重名的属性
正常模式下,如果对象有多个重名属性,最后赋值的那个属性会覆盖前面的值。严格模式下,这属于语法错误。
"use strict";
var o = {
p: 1,
p: 2
}; // 语法错误
(2)函数不能有重名的参数
正常模式下,如果函数有多个重名的参数,可以用arguments[i]读取。严格模式下,这属于语法错误。
"use strict";
function f(a, a, b) { // 语法错误
return ;
}
4.7 禁止八进制表示法
正常模式下,整数的第一位如果是0,表示这是八进制数,比如0100等于十进制的64。严格模式禁止这种表示法,整数第一位为0,将报错。
"use strict";
var n = 0100; // 语法错误
4.8 arguments对象的限制
arguments是函数的参数对象,严格模式对它的使用做了限制。
(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不再追踪参数的变化
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); // 严格模式为[2,1]
(3)禁止使用arguments.callee
这意味着,你无法在匿名函数内部调用自身了。
"use strict";
var f = function() { return arguments.callee; };
f(); // 报错
4.9 函数必须声明在顶层
将来Javascript的新版本会引入"块级作用域"。为了与新版本接轨,严格模式只允许在全局作用域或函数作用域的顶层声明函数。也就是说,不允许在非函数的代码块内声明函数。
"use strict";
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) { // 语法错误
"use strict";
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