简介

咱们都晓得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 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模式禁止应用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 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的博客

欢送关注我的公众号:「程序那些事」最艰深的解读,最粗浅的干货,最简洁的教程,泛滥你不晓得的小技巧等你来发现!