目录

• 简介
• 使用Strict mode
• strict mode的新特性强制抛出异常

简介

我们都知道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\';56c// 赋值给不可写的全局变量，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 declarationfunction 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模式15b0禁止使用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 erroreval(\'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 TypeErrorrestricted.arguments; // throws a TypeError}function privilegedInvoker() {return restricted();}privilegedInvoker();

保留关键字和function的位置

为了保证JS标准的后续发展，在strict模式中，不允许使用关键字作为变量名，这些关键字包括implements, interface, let, package, pad0rivate, 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 errorf();}for (var i = 0; i < 5; i++) {function f2() { } // !!! syntax errorf2();}function baz() { // kosherfunction eit() { } // also kosher}

总结

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

本文作者：flydean程序那些事

本文链接：JavaScript/

本文来源：flydean的博客

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