分类

Javascript 严格模式详解

作者: 阮一峰

日期: 2013年1月14日

一、概述

除了正常运行模式,ECMAscript 5添加了第二种运行模式:"严格模式"(strict mode)。顾名思义,这种模式使得Javascript在更严格的条件下运行。

设立"严格模式"的目的,主要有以下几个:

  - 消除Javascript语法的一些不合理、不严谨之处,减少一些怪异行为;

  - 消除代码运行的一些不安全之处,保证代码运行的安全;

  - 提高编译器效率,增加运行速度;

  - 为未来新版本的Javascript做好铺垫。

"严格模式"体现了Javascript更合理、更安全、更严谨的发展方向,包括IE 10在内的主流浏览器,都已经支持它,许多大项目已经开始全面拥抱它。

另一方面,同样的代码,在"严格模式"中,可能会有不一样的运行结果;一些在"正常模式"下可以运行的语句,在"严格模式"下将不能运行。掌握这些内容,有助于更细致深入地理解Javascript,让你变成一个更好的程序员。

本文将对"严格模式"做详细介绍。

二、进入标志

进入"严格模式"的标志,是下面这行语句:

  "use strict";

老版本的浏览器会把它当作一行普通字符串,加以忽略。

三、如何调用

"严格模式"有两种调用方法,适用于不同的场合。

3.1 针对整个脚本文件

将"use strict"放在脚本文件的第一行,则整个脚本都将以"严格模式"运行。如果这行语句不在第一行,则无效,整个脚本以"正常模式"运行。如果不同模式的代码文件合并成一个文件,这一点需要特别注意。

(严格地说,只要前面不是产生实际运行结果的语句,"use strict"可以不在第一行,比如直接跟在一个空的分号后面。)

  <script>
    "use strict";
    console.log("这是严格模式。");
  </script>

  <script>
    console.log("这是正常模式。");kly, it's almost 2 years ago now. I can admit it now - I run it on my school's network that has about 50 computers.
  </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

(完)

珠峰培训

简寻

留言(47条)

Javascript的规矩还真是越来越多了

javascript确实太不严谨了,给新手养成坏的代码编写习惯提供了土壤。

javascript 似乎越来越像 java 了?

js的规矩越多就越脱离他的本色啊

引用sifu的发言:

js的规矩越多就越脱离他的本色啊

JS早就不再是做点页面小效果的简单脚本了。

对于数万甚至数十万行的中大型JS项目来说没有规矩根本不能建立起来。

这一点MS的TypeScript走得更远,我更看好一些。

P.s. 4.2有关静态绑定的说法是错的。strict mode和绑定无关,JS始终是动态绑定的语言。下面两点也只是把以前随意扩大的scope收缩一下而已。

还有什么办法实现匿名函数对自身的调用么?

引用SKY的发言:

还有什么办法实现匿名函数对自身的调用么?

加一个名字:
var funcA = function funcA() {
  funcA();
};

(2)arguments不再追踪参数的变化

function f(a) {

    a = 2;

    return [a, arguments[0]];

  }

  console.log(f(1)); // 正常模式为[2,2]

  function f(a) {

    "use strict";

    a = 2;

    return [a, arguments[0]];

  }

  console.log(f(1)); // 严格模式为[2,1]


IE9下 是【2,2】【2,2】
CHROME和FF下是【2,1】 【2,1】

请问如何测试出[2,2],[2,1]

引用RedNax的发言:

4.2有关静态绑定的说法是错的。strict mode和绑定无关,JS始终是动态绑定的语言。下面两点也只是把以前随意扩大的scope收缩一下而已。

谢谢指出。我已经做了修改。

@jeff:

不要两个函数一起运行,而要一个个分别测试,因为第一个函数的a是全局变量。

另外,IE 9不支持严格模式,所以才会是[2, 2]。

引用sifu的发言:

js的规矩越多就越脱离他的本色啊

我个人也赞成你的说法,我觉得以后javascript走上正式化的道路的话,估计会失去很多这种原有的灵活性啊,很多让人赞叹的写法,hack的手段,都可能走不通了。
对于大项目,我觉得不一定要约束语言本身去办的吧,内部有一套约定成俗的规范,也能够满足吧。

implements, interface, let, package, private, protected, public, static, yield, class, enum, export, extends, import, super这些保留字,也可以看到,如果都用上了当然方便了初学者,特别是有java底子的初学者,不过他们学的就不再是javascript了,而真的有点像java的script了~

当初javascript真正吸引我,正是这种灵活强大有趣的体验,可以用很优雅的方法去写出真正javascript-like的代码,不过最近也看到很多像写java一样去写javascript的代码,感觉有点太可惜了,浪费了这么好的这么有趣一门语言。

我也覺得 JS 硬要加上強型別語言特性(類別、靜態型別)的話,就有點兒失去他原味,
但是強型別的 client 語言倒也是需要的。

我是希望整體發展歷程上,可以變成選用 JS 或另一種強型別語言,透過雙方協作的方向來進行。

有如現在我們可以選用 Java 或 C# 的嚴謹強型別語言來開發後端,
也能選用 php 或 ruby 這類腳本語言來開發後端一樣。

var myfunc = function funcA() {
funcA();
};

在 IE6,7,8 要特別小心其 scope 和其他瀏覽器不一樣。

学习Google的AngularJS上的例子 - phonecat,刚好遇到'use strict'这种用法;
ps,JavaScript算是中约定俗成的写法吧,阮兄为何一直Javascript?

原来是你翻译了《黑客与画家》,不错!!

javascript是要逆天的!

你的博客很干净。。。
不过我对代码不是很感兴趣,对你表示支持吧!

这个不是ES5严格模式所定义的规范. 而是引擎们自己弥补实现的吧?

有几个问题想和 阮老师讨论下.

严格模式指令,并不是只能放在第一行的.举个例子.
function fn(){
'abc';
'use strict';
'def';
}
ES5会把 'abc' 和 'def' 也作为指令序言 的某个指令处理, 只不过引擎不认识这个指令, 只认识 'use strict' 指令, 则同样会进入严格模式.


4.9 函数必须声明在顶层
将来Javascript的新版本会引入"块级作用域"。为了与新版本接轨,严格模式只允许在全局作用域或函数作用域的顶层声明函数。也就是说,不允许在非函数的代码块内声明函数

这个似乎不是ES5 严格模式所约束的东西.似乎是各个引擎自作主张,作为各个引擎在ES3时代,就都没有遵守标准的一种弥补措施..
我是这样看待这个问题的:
无论ES3,还是ES5,实际上都不允许 block 中出现 function declaration .但所有的引擎都没有遵守标准. 而ES5 不可能 在非标准模式就不允许出现的 function declaration. 还要在 严格模式中重复说,这个不允许.. 所以针对这个问题 .ES5只有一段说明,大概意思如下:

已知的绝大多数ES引擎,都支持把函数声明,作为一个语句来处理(实际特指引擎们违背了block , statement中出现function declaration). 而实际上这带来了语意冲突. ES5的建议是禁止这种行为, 或者发出一个警告.. 并且在将来的ES版本中 基于这两种建议中的一个.来作为标准的行为…

so .从标准角度,正确的说法是.一直以来javascript标准都不允许
if(bol){
function fn(){}
}
只不过所有引擎在实现严格模式时,才修正了这个错误.

还有,保留字,似乎漏掉了 "const"


最后, 严格模式的制定,本身就有一些错误, 比如 arguments.calller 的禁用. 因为这东西是IE的一个似有实现. 根本不在ES3,或ES5非严格模式中所定义. 对于一个标准中不存在的东西,去禁用它. 完全是针对 IE的一种歧视 . 当初草案的提出者,绝对要反省!

@franky:

1. 'use strict'应该只能放在函数体的第一行,否则无效。比如,下面的代码不报错。

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

2. 如果函数不声明在顶层,目前在非严格模式下不报错。所以我觉得,这应该也算作严格模式的特点之一。

3. 至于const,“并不是ECMAScript 5标准的一部分,目前只有Firefox和Chrome(V8)支持该特性。”https://developer.mozilla.org/zh-CN/docs/JavaScript/Reference/Statements/const

@阮一峰:

1.
a = 1
'use strict'
这已经破坏了指令序言的语法了. 我所指的是,'use strict' 严格模式指令, 并不一定非要在第一行. 它前面可以出现其他指令的. 比如下面这个情况就不在第一行的.
'abc';
'use strict';
这时候 它在第二行, 仍然会生效. 因为这完全符合指令许言,多指令共存的语法. 所被应用的代码仍然会进入严格模式.


2. 这个问题,我主要想指出主流引擎因历史原因,擅自把这部分放在严格模式中悄悄实现成只在严格模式下不能用. 这本质上和标准并不统一. 而且其行为是不正确的.正确的实现,应该是,无论是否进入严格模式,都禁止这样做. 所以从标准角度,这里不应该属于严格模式的一部分...当然您从引擎实现角度,把它归入 严格模式 是完全正确的.

3. 我是说阮老师在提到保留字时,漏掉了const 这个保留字. -_-!

"此外,ECMAscript第五版本身还规定了另一些保留字:class, enum, export, extends, import, super。它们也是不能使用的"

这里漏掉了const 呀... 非严格模式,ES5有7个保留字...您只提到6个..

@franky:

谢谢你的意见。

1. 已经修改为“严格地说,只要前面不是产生实际运行结果的语句,“use strict”可以不在第一行,比如直接跟在一个空的分号后面。”

2. 因为严格模式与正常模式在这一点上有显著差异,我就不修改原文了。

3. 已经修改为“以及各大浏览器自行增加的const保留字,也是不能作为变量名的”。

其实现在的JS已经很好了,语法简单,容易上手;但正是由于简单,约束少,因此灵活。写几个简单的小效果容易,写出富客户端应用则需要JS大师级的水平,很合理。

大多数合理的,但arguments不能获得callee,这也太严了,真要弄得跟java一样

我覺得大家可以參考看看 Github 對於 javascript 的 code style 建議,第一條就是:

# Write new JS in CoffeeScript.

嚴格規定什麼的這類事情,就交給 CoffeeScript 翻譯器來做就好了 ....

这个不常用吧,现在,第一次在firefox插件开发帮助文档看到这个,百度到这里的,写的很清晰

"use strict";
function b(x, y, a) {
//"use strict"; // 为什么我在全局 添加严格模式 在这里不管用呢?
arguments[2] = 10;
alert(a);
}
b(1, 2, 3);

下面的代码是严格模式,evale中的赋值语句没有声明,却不会报错。
是不是违背了你有关eval所说的那段呢?

(function() {
	"use strict";
	window.eval( 'sigma=1;' );
})();
console.log( sigma );

@Sigma:

问题出在你在匿名函数内部,调用window对象的eval方法,两者的上下文(context)不同。匿名函数内部是严格模式,外部则不是。改成下面的写法就对了。

(function() {"use strict";eval('sigma=1')})();

写的挺好的,博客看着也舒服,呵呵,学习了

好博客,学习了,谢谢你!

out了,最近才知道有这个玩意儿

多写一下文章. 你的博客样式, 看起来特别舒服..

请问您对coffeescript怎么看? 是否推荐coffeescript呢?

@阮一峰:4.4 禁止删除变量 中,Object.create那段是否有误?
在Chrome中测试报错,改成下面这段运行通过。

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

@徐斌:谢谢指出,已经该过来了。

引用ouxingzhi的发言:

大多数合理的,但arguments不能获得callee,这也太严了,真要弄得跟java一样

我也觉得这个可惜了,可是为了运行效率,也只能认了。

引用阮一峰的发言:

@jeff:

不要两个函数一起运行,而要一个个分别测试,因为第一个函数的a是全局变量。

另外,IE 9不支持严格模式,所以才会是[2, 2]。

=A+只是单纯的函数被重写吧

引用SKY的发言:

还有什么办法实现匿名函数对自身的调用么?

函数里有一个内置参数 arguments ,它包含一个 arguments.callee 方法 可调用自身

javascript在慢慢变化

嗯,社会在进步,思想在飞翔!必须的!(明白匿名函数的意思了,谢谢)

4.4 禁止删除变量 严格模式下无法删除变量。只有configurable设置为true的对象属性,才能被删除。

经常拜读阮老师的文章,通俗易懂便于理解。
关于严格模式的全篇结构上很清晰。
不过对于其中一条的描述,个人有一些不同的意见。

ES3的规范,就已经约束了变量是不可删除的。而并非到ES5的严格模式时才特别提出。

例如在ES3的全局环境下执行:

var foo = 'foo'; bar = 'bar';

delete foo; // 静默失败
delete bar; // 成功

区别在于此时 foo 是变量,而 bar 不是。
(这里判断是否变量的依据在于是否存在于Variable Object。bar作为全局对象的一个属性,而非变量的形式存在。)

ES5的严格模式,对于删除变量的这种行为是变得严格,显式地提示语法错误。

4.3 增强的安全措施 (1)禁止this关键字指向全局对象

阮老师在这里的描述不严谨, 会有误导嫌疑。

例如:

'use strict';
(function (global) {
alert(global);
})(this);

其中global指向全局对象的原因,在于匿名函数的调用实参this指向的也是全局对象。

函数执行时才会确定执行上下文的this,this是什么取决于函数调用时的标识符解析结果。全局环境下执行函数调用,类似 `foo.call(null)` 的效果,只不过在ES3标准 [10.2.3 Function Code]中规定了,如果函数执行阶段,this不是一个对象(例如 undefined, null)时,会将this指向全局对象。

[ES5的规范](http://es5.github.io/#x10.4.3) 中修改了描述,仅当非严格模式下才会有 this 指向的转变。
因此并不等同文中标题所写的“this禁止指向全局对象”的表述。不然会给人以this在严格模式下无法再指向全局对象的理解。

大概可以举个反例:

'use strict';
function foo() {
alert(this);
}
foo.call(this);

此时foo执行时this仍然还是指向的全局对象。

对象不能有重名的属性 里面的那个例子在 chrome 中并不适用
是不是chrome 现在并没有完全支持 'use strict'


为什么有禁止过去八进制的表示呢? 那个不是挺好用的吗

阮老师,能否把正确执行的方式写一下尼,如果只是单纯的说错误的方式,对于新人来说甚至有经验的JS码农都无法理解,如果正确的写应该怎么写

js 已经不是以前的js了,整个开发模式都变了,手机应用的爆炸式增长,注定js要成为手机应用主流,reactnative的出现已经是潮流的必然,将来APP的天下岌岌可危了

引用徐斌的发言:

@阮一峰:4.4 禁止删除变量 中,Object.create那段是否有误?
在Chrome中测试报错,改成下面这段运行通过。

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

阮老师您好:
个人感觉这段依然有错误,楼上这段代码只是删除了对象o的属性x;而不是变量x;
下面这段代码 chrome严格模式下configurable: true依然无法删除,会报错;
"use strict";
  var x= new Object();
x.configurable = true
delete x;

如果在我的js里面采用严格模式,而引用的一些别人的js没有完全按照严格模式来写的话,我的js出问题的概率应该挺大的。所以建议大家都采用严格模式。

我要发表看法

«-必填

«-必填,不公开

«-我信任你,不会填写广告链接