Javascript 严格模式 strict mode（转）

一、概述

除了正常运行模式，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")); // 5
　　console.info(x); // 2

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"就是false

　　function 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