简介

我们都知道 javascript 是一个弱类型语言，在 ES5 之前，javascript 的程序编写具有很强的随意性，我可以称之为懒散模式（sloppy mode）。比如可以使用未定义的变量，可以给对象中的任意属性赋值并不会抛出异常等等。

在 ES5 中，引入了 strict 模式，我们可以称之为严格模式。相应的 sloppy mode 就可以被称为非严格模式。

严格模式并不是非严格模式的一个子集，相反的严格模式在语义上和非严格模式都发生了一定的变化，所以我们在使用过程中，一定要经过严格的测试。以保证在严格模式下程序的执行和非严格模式下的执行效果一致。

使用 Strict mode

strict mode 会改变 javascript 的一些表现，我们将会在下一节中进行详细的讲解。

这里先来看一下，怎么使用 strict mode。

Strict mode 主要用在一个完整的脚本或者 function 中，并不适用于 block {}。 如果在 block 中使用 strict mode 是不会生效的。

除此之外，eval 中的代码，Function 代码，event handler 属性和传递给 WindowTimers.setTimeout()的 string 都可以看做是一个完整的脚本。我们可以在其中使用 Strict mode。

如果是在 script 脚本中使用 strict 模式，可以直接在脚本的最上面加上”use strict”：

// 整个脚本的strict模式'use strict';var v = "Hi! I'm a strict mode script!";

同样的我们也可以在 function 中使用 strict 模式：

function strict() {  // 函数的strict模式  'use strict';  function nested() { return 'And so am I!'; }  return "Hi!  I'm a strict mode function!  " + nested();}function notStrict() { return "I'm not strict."; }

如果使用的是 ES6 中引入的 modules，那么 modules 中默认就已经是 strict 模式了，我们不需要再额外的使用”use strict”：

function myModule() {    // 默认就是strict模式}export default myModule;

strict mode 的新特性

strict mode 在语法和运行时的表现上面和非严格模式都发生了一定的变化，接下来，我们一一来看。

强制抛出异常

在 js 中，有很多情况下本来可能是错误的操作，但是因为语言特性的原因，并没有抛出异常，从而导致最终运行结果并不是所期待的。

如果使用 strict 模式，则会直接抛出异常。

比如在 strict 模式中，不允许使用未定义的全局变量：

'use strict';
globalVar = 10; //ReferenceError: globalVar is not defined

这样实际上可以避免手误导致变量名字写错而导致的问题。

我再看一些其他的例子：

'use strict';
// 赋值给不可写的全局变量，var undefined = 5; // throws a TypeErrorvar Infinity = 5; // throws a TypeError
// 赋值给不可写的属性var obj1 = {};Object.defineProperty(obj1, 'x', { value: 42, writable: false });obj1.x = 9; // throws a TypeError
// 赋值给一个get方法var obj2 = { get x() { return 17; } };obj2.x = 5; // throws a TypeError
// 赋值给一个禁止扩展的对象var fixed = {};Object.preventExtensions(fixed);fixed.newProp = 'ohai'; // throws a TypeError

Strict 模式可以限制删除不可删除的属性，比如构造函数的 prototype：

'use strict';delete Object.prototype; // throws a TypeError

禁止对象和函数参数中的重复属性：

'use strict';var o = { p: 1, p: 2 }; // Duplicate declaration
function sum(a, a, c) { // Duplicate declaration    'use strict';    return a + a + c;}

禁止设置基础类型的属性：

(function() {'use strict';
false.true = '';         // TypeError(14).sailing = 'home';   // TypeError'with'.you = 'far away'; // TypeError
})();

简化变量的使用

使用 Strict 模式可以简化变量的使用，让程序代码可读性更强。

首先，strict 模式禁止使用 with。

with 很强大，我们可以通过将对象传递给 with，从而影响变量查找的 scope chain。也就是说当我们在 with block 中需要使用到某个属性的时候，除了在现有的 scope chain 中查找之外，还会在 with 传递的对象中查找。

with (expression)  statement

使用 with 通常是为了简化我们的代码，比如：

var a, x, y;var r = 10;
with (Math) {  a = PI * r * r;  x = r * cos(PI);  y = r * sin(PI / 2);}

上面的例子中，PI 是 Math 对象中的变量，但是我们可以在 with block 中直接使用。有点像 java 中的 import 的感觉。

下面的例子将会展示 with 在使用中的问题：

function f(x, o) {  with (o) {    console.log(x);  }}

我们在 with block 中输出 x 变量，从代码可以看出 f 函数传入了一个 x 变量。但是如果 with 使用的对象中如果也存在 x 属性的话，就会出现意想不到的问题。

所以，在 strict 模式中，with 是禁止使用的。

其次是对 eval 的改动。

传统模式中，eval 中定义的变量，将会自动被加入到包含 eval 的 scope 中。我们看个例子：

var x = 17;var evalX = eval("var x = 42; x;");console.log(x);

因为 eval 中引入了新的变量 x，这个 x 的值将会覆盖最开始定义的 x=17. 最后我们得到结果是 42.

如果加入 use strict，eval 中的变量将不会被加入到现有的 Scope 范围中，我们将会得到结果 17.

var x = 17;var evalX = eval("'use strict'; var x = 42; x;");console.log(x);

这样做的好处是为了避免 eval 对现有程序逻辑的影响。

在 strict 模式下面，还不允许 delete name：

'use strict';
var x;delete x; // !!! syntax error
eval('var y; delete y;'); // !!! syntax error~~

简化 arguments

在 js 中，arguments 代表的是参数数组，首先在 Strict 模式下，arguments 是不能作为变量名被赋值的：

'use strict';arguments++;var obj = { set p(arguments) { } };try { } catch (arguments) { }function arguments() { }var f = new Function('arguments', "'use strict'; return 17;");

上面执行都会报错。

另外，在普通模式下，arguments 是和命名参数相绑定的，并且 arguments[0]和 arg 同步变化，都表示的是第一个参数。

但是如果在 strict 模式下，arguments 表示的是真正传入的参数。

我们举个例子：

function f(a) {    a = 42;    return [a, arguments[0]];}var pair = f(17);console.log(pair[0]);  // 42console.log(pair[1]);  // 42

上面的例子中，arguments[0]是和命名参数 a 绑定的，不管 f 传入的是什么值，arguments[0]的值最后都是 42.

如果换成 strict 模式：

function f(a) {    'use strict';    a = 42;    return [a, arguments[0]];}var pair = f(17);console.log(pair[0]); // 42console.log(pair[1]);  // 17

这个模式下 arguments[0]接收的是实际传入的参数，我们得到结果 17.

在 Strict 模式下，arguments.callee 是被禁用的。通常来说 arguments.callee 指向的是当前执行的函数，这会阻止虚拟机对内联的优化，所以在 Strict 模式下是禁止的。

让 javascript 变得更加安全

在普通模式下，如果我们在一个函数 f()中调用 this，那么 this 指向的是全局对象。在 strict 模式下，这个 this 的值是 undefined。

如果我们是通过 call 或者 apply 来调用的话，如果传入的是 primitive value（基础类型），在普通模式下 this 会自动指向其 box 类（基础类型对应的 Object 类型，比如 Boolean，Number 等等）。如果传入的是 undefined 和 null，那么 this 指向的是 global Object。

而在 strict 模式下，this 指向的是传入的值，并不会做转换或变形。

下面的值都是 true：

'use strict';function fun() { return this; }console.assert(fun() === undefined);console.assert(fun.call(2) === 2);console.assert(fun.apply(null) === null);console.assert(fun.call(undefined) === undefined);console.assert(fun.bind(true)() === true);

为什么会安全呢？这就意味着，在 strict 模式下，不能通过 this 来指向 window 对象，从而保证程序的安全性。

另外，在普通模式下，我们可以通过 fun.caller 或者 fun.arguments 来获取到函数的调用者和参数，这有可能会访问到一些 private 属性或者不安全的变量，从而造成安全问题。

在 strict 模式下，fun.caller 或者 fun.arguments 是禁止的。

function restricted() {  'use strict';  restricted.caller;    // throws a TypeError  restricted.arguments; // throws a TypeError}function privilegedInvoker() {  return restricted();}privilegedInvoker();

保留关键字和 function 的位置

为了保证 JS 标准的后续发展，在 strict 模式中，不允许使用关键字作为变量名，这些关键字包括 implements, interface, let, package, private, protected, public, static 和 yield 等。

function package(protected) { // !!!  'use strict';  var implements; // !!!
  interface: // !!!  while (true) {    break interface; // !!!  }
  function private() { } // !!!}function fun(static) { 'use strict'; } // !!!

而对于 function 来说，在普通模式下，function 是可以在任何位置的，在 strict 模式下，function 的定义只能在脚本的顶层或者 function 内部定义：

'use strict';if (true) {  function f() { } // !!! syntax error  f();}
for (var i = 0; i < 5; i++) {  function f2() { } // !!! syntax error  f2();}
function baz() { // kosher  function eit() { } // also kosher}

总结

Strict 模式为 JS 的后续发展和现有编程模式的规范都起到了非常重要的作用。但是如果我们在浏览器端使用的话，还是需要注意浏览器的兼容性，并做好严格的测试。

本文作者：flydean 程序那些事

本文链接：http://www.flydean.com/js-use-strict/

本文来源：flydean 的博客

欢迎关注我的公众号:「程序那些事」最通俗的解读，最深刻的干货，最简洁的教程，众多你不知道的小技巧等你来发现！