严格模式不是语法糖，而是启用更严谨的解析执行模式，提前报错、明确作用域、规范this绑定、禁止危险操作，为引擎优化提供确定性前提。
严格模式（"use strict"）不是语法糖，而是告诉 JavaScript 引擎切换到更严谨的解析和执行模式。它不改变语言核心，但显著影响词法分析、变量绑定、错误抛出时机和运行时行为，让引擎能做更多静态检查和优化。
提前捕获常见错误
在非严格模式下，很多错误会被静默忽略或产生意外行为；严格模式让它们在解析或执行初期就报错，便于调试：
- 未声明直接赋值（
x = 1）→ 报ReferenceError，而非隐式创建全局变量 - 重复参数名（
function f(a, a) {}）→ 解析阶段报SyntaxError - 对象字面量中重复属性名（
{a: 1, a: 2}）→ 在 ES5 严格模式下报SyntaxError（ES6+ 已统一为允许，但部分旧引擎仍受限） - 对只读属性赋值（如
NaN = 1或Object.defineProperty(obj, 'x', {writable: false})后再改）→ 立即抛TypeError
明确变量作用域与绑定规则
严格模式强制使用显式声明，使引擎能更准确地构建作用域链和进行变量提升分析：
-
with语句被禁止 → 消除动态作用域带来的解析歧义，引擎无需在运行时临时扩展作用域链 -
eval不再能引入新变量到外层作用域 → 其内部声明仅限于自身作用域，利于引擎静态推断变量生命周期 - 函数声明不再被“提升”到包含块顶部（如
if块内）→ 实际上是规范要求所有环境都应如此，但非严格模式下某些引擎存在兼容性松动；严格模式确保行为一致，方便引擎按标准做编译优化
支持更安全的 this 绑定与调用检查
严格模式让引擎在函数调用时能更早识别上下文异常，减少隐式转换带来的不确定性：
- 独立函数调用（
f()）中，this为undefined而非全局对象 → 避免误用this导致静默失败，引擎可据此优化this绑定逻辑 - 禁止删除不可配置属性（
delete obj.x）→ 若x是不可配置的，立即报TypeError，而非返回false；引擎可据此信任属性描述符的稳定性 - 禁止八进制字面量（
010）→ 解析阶段报错，避免因数字前导零引发的歧义，简化词法分析器逻辑
为引擎优化提供确定性前提
虽然严格模式本身不“开启优化”，但它消除了大量动态、不可预测的行为，使 JIT 编译器更容易做出安全假设：
- 无
with和无eval作用域污染 → 引擎可对作用域做更激进的内联缓存（IC）和变量逃逸分析 - 明确的
this值类型（不会意外变成对象）→ 减少运行时类型检查分支，利于生成更紧凑的机器码 - 禁止静默失败的操作 → 引擎无需预留“兜底路径”，可移除冗余错误处理逻辑
严格模式本质是开发者与引擎之间的契约：你承诺写更规范的代码，引擎则回报以更强的错误提示、更可预测的行为，以及潜在的性能收益。现代开发中，建议默认启用——无论是通过文件级指令，还是模块自动严格模式（ES6 模块默认严格）。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
