严格模式

Posted 2020-08-18

原文地址：https://wangdoc.com/javascript/
除了正常模式，javascript还有第二种运行模式：严格模式。

设计目的

严格模式是从ES5进入标准的，主要目的有以下几个。

• 明确禁止一些不合理、不严谨的语法，减少JavaScript语言的一些怪异行为。
• 增加更多报错的场合，消除代码运行的一些不安全之处，保证代码运行的安全。
• 提高编译器效率，增加运行速度。

• 为未来新版本的JavaScript语法做好铺垫。

  启动方法

"use strict"

严格模式可以用于整个脚本，也可以只用于单个函数。
（1）整个脚本
use strict放在脚本文件第一行，整个脚本都将以严格模式运行。
如果use strict写成下面这样，则不起作用。

console.log("...");
"use strict";

（2）单个函数
use strict放在函数体的第一行，则整个函数以严格模式运行。
有时候需要把不同的脚本合并在一个文件里面，如果一个脚本时严格模式，另一个脚本不是，它们合并就可能出错。严格模式在前，合并的脚本就是严格模式。这种情况下，我们可以考虑将整个脚本放在一个立即执行的匿名函数之中。

显式报错

只读属性不可写

严格模式下，对只读属性赋值，或者删除不可配置属性都会报错。

只设置了取值器的属性不可写

严格模式下，对一个只有取值器（getter）、没有存值器（setter）的属性赋值，会报错。

禁止扩展的对象不可扩展

在严格模式下，对禁止扩展的对象添加属性，会报错

"use strict";
var obj = {};
Object.preventExtensions(obj);
obj.v = 1;
// Uncaught TypeError: Can not add property v, object is not extensible

eval、arguments不可用作标识名

严格模式下，使用eval或者arguments作为标识名，会报错。

"use strict";
var eval = 17 // Error
var arguments = 17 // Error
function arguments() {} // Error

函数不能用重名的参数

正常模式下，如果函数有多个重名的参数，可以用arguments[i]读取。严格模式下，这属于语法错误。

禁止八进制的前缀0表示法

正常模式下，整数的第一位如果是0，表示这是八进制，比如0100等于十进制的64。严格模式禁止这种写法，整数第一位为0，将报错。

增强的安全措施

全局变量显式声明

正常模式中，如果一个变量没有声明就赋值，默认是全局变量。严格模式禁止这种用法，全局变量必须显式声明。

"use strict";
v = 1; // Error

禁止this关键字指向全局对象

// 正常模式
function f() {
    console.log(this === window);
}
f() // true

// 严格模式
function f() {
    console.log(this === undefined)
}
f() // true

上面代码中，严格模式的函数内部this是undefined。
这种限制对于构造函数尤其有用。使用构造函数时，有时忘了加new，这时this不再指向全局对象，而是报错。

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

f() // Error

可以用call、apply和bind方法，将任意值绑定在this上面。

// 正常模式
function fun() {
    return this;
}
fun() // window
fun.call(2) // Number {2}
fun.call(true) // Boolean {true}
fun.call(null) // window
fun.call(undefined) // window

// 严格模式
"use strict";
function fun() {
    return this;
}

fun() // undefined
fun.call(2) // 2
fun.call(true) // true
fun.call(null) // null
fun.call(undefined) // undefined

禁止使用fn.callee、fn.caller、fn.arguments

函数内部不得使用fn.caller、fn.callee、fn.arguments，否则会报错。

禁止使用arguments.callee、arguments.caller

arguments.callee和arguments.caller是两个历史遗留的变量，从来没有标准化过，现在已经取消了。正常模式下调用它们没有什么作用，但不会报错，严格模式会报错。

禁止删除变量

严格模式下，无法删除变量，如果使用delete命令删除一个变量，会报错。只有对象的属性，且属性描述对象的configurable属性设置为true，才能被delete命令删除。

静态绑定

JavaScript语言的一个特点就是允许动态绑定，即某些属性和方法到底属于哪一个对象，不是在编译时确定的，而是在运行时确定的。
严格模式对动态绑定做了一些限制。某些情况下，只允许静态绑定。也就是说，属性和方法到底归属那个对象，必须在编译阶段就确定。
具体来说涉及以下几个方面。

禁止使用with语句

严格模式下，使用with会报错。因为with语句无法在编译时就确定，某个属性到底属于哪个对象，从而影响了编译效果。

"use strict";
var v = 1;
var obj = {};
with (obj) { // Error
    v = 2;
}

创设eval作用域

正常模式下，JavaScript语言有两种变量作用域，全局和函数作用域。严格模式创设了第三种作用域：eval作用域。
正常模式下，eval语句作用域取决于它处于全局作用域还是函数作用域。严格模式下，eval语句本身就是一个作用域，不再能够在其所运行的作用域创设新的变量，也就是说，eval所生成的变量只能用于eval内部。

(function () {
    "use strict";
    var x = 2;
    console.log(eval("var x = 5; x")); // 5
    console.log(x) // 2
})();

注意，如果希望eval语句执行参数语句时也使用严格模式，有两种方式。

// 方式1
function f1(str) {
    "use strict";
    return eval(str);
}
f1("undeclared_variable = 1"); /Error
// 方式2
function f2(str) {
    return eval(str);
}
f2(‘"use strict"; undeclared_variable = 1‘) // Error

arguments不在追踪参数的变化

变量arguments代表函数的参数。严格模式下，函数内部改变参数与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]

向下个版本的JavaScript过渡

非函数代码块不得声明函数

ES6会引入块级作用域。为了与新版本接轨，ES5的严格模式只允许在全局作用域或函数作用域声明函数。也就是说，不允许在非函数的代码块内声明函数。

"use strict";
if (true) {
    function f1() {} // Error
}

保留字

为了向将来JavaScript的新版本过渡，严格模式新增了一些保留字（implements、interface、let、package、private、protected、public、static、yield等），这些词作为变量名将会报错。