typeof检查未声明变量不报错，直接返回"undefined"，是ECMAScript规范强制规定的安全探测机制；它跳过词法环境查找，专为环境兼容性判断和运行时兜底设计，但无法区分未声明与已声明未赋值。
typeof 在检查未声明变量时不会报错，直接返回字符串 "undefined"，这是 ECMAScript 规范明确允许的“安全探测”行为，专为环境兼容性判断和运行时兜底设计。
为什么它不报错
这不是偶然或兼容性补丁，而是规范强制要求：当操作数是未声明的标识符时，引擎跳过词法环境查找流程，不进入作用域解析阶段，直接返回 "undefined"。它本质上是一个编译期友好的类型标签读取操作，不依赖变量是否被 var、let 或 const 声明，也不受暂时性死区影响。
怎么用才真正安全
关键在于避免副作用和误判，推荐写法需同时满足“不报错”和“逻辑可靠”：
-
✅ 正确：用严格相等判断
typeof myVar === "undefined"—— 无异常、无隐式转换、跨环境稳定 -
❌ 危险：直接访问
myVar（如if (myVar)或myVar == undefined）—— 未声明即抛ReferenceError -
❌ 不通用：用
window.myVar === undefined—— 局部变量无效，且全局对象在非浏览器环境（如 Node.js、Web Worker）中不一定是window
它的能力边界在哪
安全 ≠ 精准。typeof 返回 "undefined" 只能说明“值为 undefined 或变量根本没声明”，但无法区分二者：
-
let a;→typeof a是 "undefined"（已声明，未赋值） -
typeof b→ 也是 "undefined"（完全未声明） - 若需区分，对全局属性可用
"b" in window或Object.hasOwn(window, "b")（ES2022）
典型安全使用场景
它最常用于渐进增强和兼容性保障，前提是目标是“是否存在可用接口”，而非“变量是否初始化”：
- 检测全局 API：
if (typeof fetch !== "undefined") { /* 使用 fetch */ } - 判断库是否加载：
if (typeof jQuery !== "undefined" && typeof jQuery.fn.on === "function") { /* jQuery 就绪 */ } - 条件启用调试逻辑：
if (typeof DEBUG !== "undefined" && DEBUG) { console.log(...); }
