JavaScript 严格模式详解：语法限制与行为规范

JavaScript 严格模式概述

正如大家所了解到的，JavaScript 具有极高的灵活性。然而，这种灵活性也伴随着诸多陷阱，其中部分甚至属于设计层面的缺陷。例如：

若变量未声明直接赋值，该变量默认成为全局变量，例如：

(function () {
 a = 3;
})();
console.log(window.a); // 输出3

当对象中存在多个同名属性时，最后一次赋值的属性会覆盖之前的值。例如：

var obj = {
 c: 3,
 c: 4
}
// obj 为 {c:4}

此外，诸如 == 和 typeof 等操作符也存在不少易错点，此类问题不胜枚举。毕竟 JavaScript 之父设计这门语言仅耗时一周，这也在情理之中。

什么是 JavaScript 的严格模式

在 JavaScript 的严格模式下，对代码的书写方式施加了特定限制。若在严格模式下违反这些限制，代码执行时将抛出错误。

一、概述

除了常规的运行模式外，ECMAscript 5 引入了第二种运行模式：“严格模式”（strict mode）。正如其名，该模式使 JavaScript 在更为严格的约束条件下运行。

设立“严格模式”的目的主要包含以下几点：

- 消除 JavaScript 语法中不合理或不严谨的部分，减少怪异行为；

- 消除代码运行时的安全隐患，确保代码执行的安全性；

- 提升编译器效率，从而增加代码运行速度；

- 为未来新版本的 JavaScript 做好铺垫。

“严格模式”体现了 JavaScript 更加合理、安全且严谨的发展方向。包括 IE 10 在内的主流浏览器均已支持该模式，许多大型项目已开始全面采用。

另一方面，相同的代码在“严格模式”下的运行结果可能与正常模式不同；一些在“正常模式”下可运行的语句，在“严格模式”下将无法执行。掌握这些内容，有助于更细致深入地理解 JavaScript，助你成为更优秀的程序员。

本文将详细介绍“严格模式”。

严格模式的启用方式

二、进入标志

进入“严格模式”的标志是以下语句：

"use strict";

老版本的浏览器会将其视为普通字符串并忽略。

三、如何调用

“严格模式”有两种调用方法，适用于不同场景。

3.1 针对整个脚本文件

将“use strict”置于脚本文件的第一行，则整个脚本将以“严格模式”运行。若该语句不在第一行，则无效，整个脚本仍以“正常模式”运行。若将不同模式的代码文件合并为一个文件，需特别注意此点。

<script>
  "use strict";
  console.log("这是严格模式。");
</script>
<script>
  console.log("这是正常模式。");
</script>

上述代码表示，一个网页中依次包含两段 JavaScript 代码。前一个 script 标签内为严格模式，后一个则不是。

3.2 针对单个函数

将“use strict”置于函数体的第一行，则整个函数将以“严格模式”运行。

function strict(){
  "use strict";
  return "这是严格模式。";
}
function notStrict() {
  return "这是正常模式。";
}

3.3 脚本文件的变通写法

由于第一种调用方法不利于文件合并，因此更好的做法是借用第二种方法，将整个脚本文件置于一个立即执行的匿名函数中。

(function (){
  "use strict";
// some code here
})();

严格模式的语法与行为变更

四、语法和行为改变

严格模式对 JavaScript 的语法和行为均做出了一些改变。

4.1 全局变量显式声明

在正常模式中，若变量未声明直接赋值，默认成为全局变量。严格模式禁止此用法，全局变量必须显式声明。

"use strict";
v = 1; 
// 报错，v未声明
for(i = 0; i < 2; i++) { 
// 报错，i未声明
}

因此，在严格模式下，变量都必须先使用 var 命令声明，然后再使用。

4.2 静态绑定

JavaScript 语言的一个特点是允许“动态绑定”，即某些属性和方法究竟属于哪个对象，并非在编译时确定，而是在运行时（runtime）确定。

严格模式不允许动态绑定，仅允许静态绑定。也就是说，属性和方法究竟归属哪个对象，必须在编译阶段就确定。此举有利于提高编译效率，并使代码更易阅读，减少意外发生。

具体而言，涉及以下几个方面。

（1）禁止使用 with 语句

因为 with 语句无法在编译时确定属性究竟归属哪个对象。

"use strict";
var v = 1;
with (o){ 
// 语法错误
  v = 2;
}

（2）创设 eval 作用域

正常模式下，JavaScript 语言存在两种变量作用域（scope）：全局作用域和函数作用域。严格模式创设了第三种作用域：eval 作用域。

正常模式下，eval 语句的作用域取决于其处于全局作用域还是函数作用域。严格模式下，eval 语句本身即是一个作用域，不再能生成全局变量，其所生成的变量仅可用于 eval 内部。

"use strict";
var x = 2;
console.info(eval("var x = 5; x")); 
// 5
console.info(x); 
// 2

4.3 增强的安全措施

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

function f(){
  return !this;
}
// 返回false，因为"this"指向全局对象，"!this"就是false
function f(){
  "use strict";
  return !this;
}

// 返回true，因为严格模式下，this的值为undefined，所以"!this"为true。

因此，使用构造函数时，若忘记加 new，this 不再指向全局对象，而是报错。

function f(){
  "use strict";
  this.a = 1;
};
f();
// 报错，this未定义

（2）禁止在函数内部遍历调用栈

function f1(){
  "use strict";
  f1.caller; 
// 报错
  f1.arguments; 
// 报错
}
f1();

4.4 禁止删除变量

严格模式下无法删除变量。只有 configurable 设置为 true 的对象属性，才能被删除。

"use strict";
var x;
delete x; 
// 语法错误
var o = Object.create(null, 'x', {
  value: 1,
  configurable: true
});
delete o.x; 
// 删除成功

4.5 显式报错

正常模式下，对对象的只读属性进行赋值不会报错，只会默默失败。严格模式下，将报错。

"use strict";
var o = {};
Object.defineProperty(o, "v", { value: 1, writable: false });
o.v = 2; 
// 报错

严格模式下，对使用 getter 方法读取的属性进行赋值，会报错。

"use strict";
var o = {
get v() { return 1; }
};
o.v = 2; 
// 报错

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

"use strict";
var o = {};
Object.preventExtensions(o);
o.v = 1; 
// 报错

严格模式下，删除一个不可删除的属性，会报错。

"use strict";
delete Object.prototype; 
// 报错

4.6 重名错误

严格模式新增了一些语法错误。

（1）对象不能有重名的属性

正常模式下，若对象有多个重名属性，最后赋值的属性会覆盖前面的值。严格模式下，这属于语法错误。

"use strict";
var o = {
  p: 1,
  p: 2
}; 
// 语法错误

（2）函数不能有重名的参数

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

"use strict";
function f(a, a, b) { 
// 语法错误
  return ;
}

4.7 禁止八进制表示法

正常模式下，整数若以 0 开头，表示这是八进制数，例如 0100 等于十进制的 64。严格模式禁止此表示法，整数第一位为 0，将报错。

"use strict";
var n = 0100; 
// 语法错误

4.8 arguments 对象的限制

arguments 是函数的参数对象，严格模式对其使用做出了限制。

（1）不允许对 arguments 赋值

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

（2）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]

（3）禁止使用 arguments.callee

这意味着，你无法在匿名函数内部调用自身了。

"use strict";
var f = function() { return arguments.callee; };
f(); 
// 报错

4.9 函数必须声明在顶层

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

"use strict";
if (true) {
  function f() { } 
// 语法错误
}
for (var i = 0; i < 5; i++) {
  function f2() { } 
// 语法错误
}

4.10 保留字

为了向将来 JavaScript 的新版本过渡，严格模式新增了一些保留字：implements, interface, let, package, private, protected, public, static, yield。

使用这些词作为变量名将会报错。

function package(protected) { 
// 语法错误
  "use strict";
  var implements; 
// 语法错误
}

此外，ECMAscript 第五版本身还规定了另一些保留字：class, enum, export, extends, import, super。它们也是不能使用的。

以上内容是小编给大家介绍的关于JavaScript严格模式详解的全部内容，希望大家喜欢。