简介
咱们都晓得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的博客
欢送关注我的公众号:「程序那些事」最艰深的解读,最粗浅的干货,最简洁的教程,泛滥你不晓得的小技巧等你来发现!