17370845950

严格模式禁止未声明变量赋值、delete全局变量、with语句、arguments.callee等隐式行为，强制显式声明变量并报错而非静默失败。

严格模式下哪些隐式行为会被禁止

JavaScript 严格模式（"use strict"）不是新语言，而是对执行环境的约束增强。它直接禁用一批“看似能跑、实则危险”的隐式行为，比如：

"use strict";
var a = 1;
delete a; // TypeError: Cannot delete property 'a' of global object
with ({x: 1}) { console.log(x); } // SyntaxError: Strict mode code may not include a with statement
function f() { return this; }
f(); // undefined（非严格下是 global / window）

这些不是“语法错误”，而是运行时或解析时明确报错，强制你暴露问题。

为什么 "use strict" 必须写在函数顶部或脚本开头

严格模式是词法作用域级别的开关，不是运行时开关。一旦在某个作用域中启用，该作用域内所有代码都受约束。

"use strict";
function foo() {
  // ✅ 正确：整个函数体在严格模式下
}
function bar() {
  "use strict"; // ✅ 也可放函数第一行
  eval("var x = 1"); // ❌ 报错：严格模式中 eval 不创建变量
}

• 放在函数中间（如第二行）会被忽略，整个函数仍为非严格模式
• 通过 eval() 动态执行的字符串代码，只有在调用方处于严格模式且字符串以 "use strict" 开头时，才进入严格模式
• 模块（.mjs 或 import 加载的脚本）默认启用严格模式，无需手动声明

严格模式如何帮你提前发现变量误用

最常被忽视的隐式错误是未声明变量赋值（a = 42），非严格模式下会自动挂到全局对象上；严格模式下直接抛 ReferenceError：

"use strict";
function buggy() {
  missingVar = "oops"; // ❌ Uncaught ReferenceError: missingVar is not defined
  let x = 1;
  x = 2; // ✅ 正确：显式声明后赋值
  y = 3;   // ❌ 同样报错，哪怕 y 在别处声明过但此处没 let/const/var
}

这迫使你必须用 let、const 或 var 显式声明——而现代代码中，var 已基本被 let/const 取代，进一步减少变量提升和作用域混淆。

严格模式不解决的问题，得靠其他手段

严格模式不会捕获类型错误（如 null.toString()）、逻辑错误（如条件写反）、或异步错误（如 Promise rejection 未 catch）。它只管“语言层面的隐式宽松规则”。真正避免隐式错误，还需：

• 启用 TypeScript 或 JSDoc + IDE 类型检查（例如 /** @type {string} */）
• 用 ESLint 配置 no-implicit-globals、no-with、no-eval 等规则，比运行时更早拦截
• 测试中覆盖边界值（undefined、null、空字符串），因为严格模式不阻止你传错参数

换句话说："use strict" 是安全带，不是自动驾驶——它防止你把车开下悬崖，但不替你选路。