JavaScript严格模式(use strict)语法限制与作用说明

JavaScript 严格模式（Strict Mode）是 ECMAScript 5 引入的受限运行上下文，通过在脚本或函数顶部声明 "use strict"; 开启。它的核心任务是将原本容易滋生隐患的静默失败显式抛错、修正可能导致意外全局污染的词法缺陷、约束歧义语法并提供更可预测的作用域，从而提升代码运行安全性与 JavaScript 引擎执行效率。

一、严格模式的核心价值与设计动机

JavaScript 诞生早期秉承“宽松优先”的容错原则，许多语义错误（如给未声明的变量赋值、修改只读属性）在运行时并不会报错，而是静默失败或隐式产生全局变量。这种设计在代码量小的小脚本中容易编写，但进入复杂系统开发后，极易掩盖关键业务逻辑漏洞。

严格模式主要承担四项核心作用：

• 消除静默失败，将隐藏错误转为主动抛错：对不可写属性、不可配置对象、重复形参等以往被忽略的错误操作，严格模式会立即抛出 TypeError 或 SyntaxError，使隐患在发生处即刻暴露。
• 修正不安全的作用域与变量查找：阻断未声明变量自动升为全局对象（window 或 globalThis）属性的行为，避免多个模块间同名变量串扰。
• 规范调用语义，优化引擎执行效能：禁用诸如 with 这样在运行时动态修改作用域链的语法，解除 arguments 与形参的动态绑定，使 V8 等现代 JavaScript 引擎能执行更彻底的词法分析与 JIT 编译优化。
• 保留未来 ECMAScript 关键字：预留新语法特性的命名空间，为 ES6 及后续引入的 let、class、interface、yield 等现代特性铺平道路。

二、如何正确启用严格模式：范围与操作步骤

严格模式是一个基于词法范围（Lexical Scope）生效的指令。必须使用字符串字面量 "use strict";（单引号或双引号均可），且该指令必须位于当前脚本或函数体的第一条可执行语句之前（前面仅允许存在空白字符或注释）。若声明写在变量定义或函数调用之后，指令将被视为一条普通的无害字符串表达式而无法激活严格模式。

1. 针对单个脚本文件开启（全局脚本级）

在独立脚本文件最顶端添加指令：

// 位于 script 文件第一行
"use strict";

let score = 100;
console.log("当前文件在严格模式下运行");

2. 针对单个函数开启（局部函数级）

若需对存量项目进行逐步重构，可将指令放置在特定函数体内部的首行。此时严格模式只在该函数及其嵌套的内部函数中生效，不波及外层作用域：

function legacyCalculation() {
  // 此处处于宽松模式
  implicitVar = 10; // 不报错
}

function safeCalculation() {
  "use strict"; // 仅对 safeCalculation 及内部生效
  let validVar = 20;
  // forbiddenVar = 30; // 将直接抛出 ReferenceError
}

3. 安全工程实践：立即执行函数（IIFE）封装

在没有现代打包模块化工具的原生 Web 环境中，推荐使用 IIFE 闭包将模块逻辑包装，实现无副作用的严格模式隔离：

(function() {
  "use strict";

  // 内部所有逻辑均受到严格模式保护
  const appVersion = "1.0.0";
  window.myApp = { version: appVersion };
})();

4. 现代 ES6 模块与类的自动严格模式

在现代 JavaScript 规范中，所有通过 <script type="module"> 加载的代码、ES 模块（使用 import / export 语法的 .mjs 或工程文件），以及所有 ES6 class 的类声明内部（包含构造函数、方法及静态字段），默认且强制在严格模式下运行，无需开发者再手动编写 "use strict"; 指令。

三、运行上下文机制变化与作用域防护

严格模式不仅在编译时增加了语法校验，还在运行期对执行上下文的绑定、动态作用域求值机制以及参数对象进行了深度净化。

1. this 指向的安全性修正

在非严格模式下，当普通函数作为独立函数被调用时，其内部的 this 会自动回退（Fallback）并绑定到全局对象（浏览器环境为 window，Node.js 环境为 global）。此外，若使用 call 或 apply 传入原始类型（如数字、字符串），this 会被自动装箱（Boxing）为对应的包装对象。

在严格模式下，这两种隐式行为被彻底废除：

"use strict";

function checkThis() {
  console.log(this);
}

checkThis(); // 示例输出：undefined（不再指向全局对象）

function showType() {
  console.log(typeof this);
}

showType.call("hello"); // 示例输出："string"（保持原始值，不被自动包装为 [Object String]）

2. eval 作用域的安全沙盒化

在宽松模式下，在代码中调用 eval() 会将其内部声明的变量直接注入到调用方所在的作用域链中，这破坏了词法作用域的静态确定性。严格模式为 eval() 创建了独立的子作用域（Eval Lexical Scope），其内部声明的变量和函数不会泄漏到外部环境中：

"use strict";

eval("var evaluatedSecret = 999;");

// 外部尝试访问：
console.log(typeof evaluatedSecret); 
// 示例输出："undefined"
// 直接调用 evaluatedSecret 会抛出：ReferenceError: evaluatedSecret is not defined

3. arguments 对象的解耦与安全性加固

在非严格模式下，如果函数体内修改了形参变量，arguments 数组对应的索引值会同步变化；反之修改 arguments[i] 也会改变形参，这种双向动态绑定增加了引擎理解变量寿命的复杂度。

严格模式将 arguments 还原为函数被调用那一刻的不可变参数快照，阻断联动：

function processParams(value) {
  "use strict";
  value = 50;
  console.log(arguments[0]); // 依然输出初始传入的值 10，并不被联动修改为 50
}

processParams(10);

同时，严格模式禁止访问 arguments.callee 和 arguments.caller（读取时抛出 TypeError）。这杜绝了函数通过调用栈反射自身或调用方内部引用的通道，增强了封装安全并允许引擎内联优化递归。

四、关键语法限制与运行时抛错详解

严格模式对一系列既有代码书写习惯建立了严格的语法规则。了解这些具体的报错场景，是排查严格模式报错与编写高质量代码的基础。

1. 禁止未声明变量直接赋值

打错变量名是前端开发中最常见的 Bug 之一。非严格模式下，任何未声明的赋值操作都会被隐式定义在全局对象上；严格模式下将中断执行并抛出引用异常：

"use strict";

userName = "Alice"; 
// 示例抛错：ReferenceError: userName is not defined

2. 禁止对不可写属性、Getter 属性或不可扩展对象赋值

当对象通过 Object.defineProperty 设置了只读属性、仅包含 Getter 访问器，或者通过 Object.preventExtensions()、Object.freeze() 冻结后，对其进行写操作在宽松模式下仅静默失败（赋值表达式返回赋入值但对象属性不变）。严格模式则主动抛错：

"use strict";

const config = Object.freeze({ timeout: 5000 });
config.timeout = 10000;
// 示例抛错：TypeError: Cannot assign to read only property 'timeout' of object '#<Object>'

const user = {
  get role() { return "member"; }
};
user.role = "admin";
// 示例抛错：TypeError: Cannot set property role of #<Object> which has only a getter

3. 禁止删除不可删除的属性与普通变量

使用 delete 操作符删除直接变量标识符（如 let x、var y），或删除 configurable: false 的不可配置属性时，严格模式会在语法解析期或运行时抛出异常：

"use strict";

let count = 10;
delete count; 
// 语法解析阶段报错：SyntaxError: Delete of an unqualified identifier in strict mode.

delete Object.prototype;
// 运行时抛错：TypeError: Cannot delete property 'prototype' of function Object() { [native code] }

4. 禁止函数参数列表中出现重名参数

在宽松模式下，函数可以定义重名参数（如 function sum(a, a)），调用时后一个参数会覆盖前一个同名参数的值。严格模式直接认定此种函数签名为语法错误：

"use strict";

function calculate(a, b, a) {
  return a + b;
}
// 语法解析阶段报错：SyntaxError: Duplicate parameter name not allowed in this context

5. 彻底禁用 with 语句

with 语句能够在运行时动态将一个对象的属性直接引入作用域链，导致编译器在编译期完全无法预测某个变量名究竟属于当前局部作用域还是来自 with 绑定的对象。这种不可预测性极大拖慢了解释器与 JIT 引擎的寻址速度。严格模式从语法层面将其完全废除：

"use strict";

const dimensions = { width: 100, height: 200 };
with (dimensions) {
  console.log(width);
}
// 语法解析阶段报错：SyntaxError: Strict mode code may not include a with statement

6. 禁止以 0 开头的传统八进制字面量与转义符

以数字 0 开头的传统八进制表示法（例如 0755）极易与普通以零开头的数字或输入混淆。严格模式强制要求使用 ES6 标准的 0o 前缀表示八进制：

"use strict";

const modeLegacy = 0755; 
// 语法解析阶段报错：SyntaxError: Octal literals are not allowed in strict mode.

const modeModern = 0o755; // 规范写法，正常通过

7. 保护保留关键字与核心标识符

严格模式禁止使用 eval 或 arguments 作为变量名、函数名、参数名或 catch 语句的异常变量名。同时预留了未来语言演进的关键字，禁止将其用作标识符变量名：

• implements
• interface
• let（在声明语句外禁止用作变量名）
• package
• private
• protected
• public
• static
• yield

"use strict";

let interface = "Network"; 
// 语法解析阶段报错：SyntaxError: Unexpected strict mode reserved word

五、严格模式限制与行为对比汇总

下表归纳了非严格模式与严格模式在日常编码主要维度的核心差异与对应报错类型：

六、工程迁移与现代项目注意事项

在维护遗留脚本或搭建现代前端构建工程时，建议注意以下实施要点：

1. 老项目改造采用函数级切入：不要直接在全局 HTML 模板或打包入口顶层暴力追加 "use strict";。优先针对新编写的业务函数、模块或 IIFE 闭包启用严格模式，避免老旧第三方插件因隐式全局变量或 arguments.callee 报错瘫痪。
2. 配合静态代码分析工具（ESLint）：虽然严格模式能在运行时提供即时报错，但借助 ESLint 的 "strict": ["error", "global"] 或项目标准规则集，可以在编辑器编码和 CI 阶段在代码执行前捕获未声明变量与非法 delete。
3. 现代脚手架无需重复声明：使用 Vite、Webpack、Rollup 以及 Babel / TypeScript 编译现代模块时，输出的 Bundle 文件默认工作于严格模式，因此在标准 ESM 组件和 TS 文件中无需人工书写 "use strict"; 指令。