typeof对未声明变量不报错，是因为ECMAScript规范特许其跳过引用查找、直接返回"undefined"；它适用于环境探测与API兼容性判断，但无法区分未声明与已声明未赋值。
JavaScript 中 typeof 对未声明变量不报错，是因为它被设计为**唯一能在不引用变量值的前提下安全检测类型的操作符**——当操作数是未声明的标识符时，引擎会跳过常规的“引用检查”，直接返回字符串 "undefined"。
为什么 typeof 不抛 ReferenceError？
普通访问未声明变量（如 console.log(foo)）会触发“标识符解析”阶段的引用查找，找不到就抛 ReferenceError。而 typeof 是一个特殊语法：ECMAScript 规范明确要求，当其右侧是**未声明的标识符**时，不执行引用获取，直接返回 "undefined"，从而绕过错误机制。
哪些情况能安全使用？
-
检查全局变量是否存在：比如
typeof jQuery !== "undefined"，避免在未引入库时出错 -
检测浏览器 API 兼容性：如
typeof fetch === "function"或typeof AbortController === "function" -
判断模块/环境变量是否注入：例如
typeof __DEV__ === "boolean"（某些构建工具注入）
注意边界和陷阱
-
仅对纯标识符有效：写成
typeof obj.prop或typeof window.foo会先求值左侧，若obj或window.foo不存在仍会报错 -
不能区分“未声明”和“已声明但赋值为 undefined”：两者都返回
"undefined"，需结合其他手段（如hasOwnProperty或in操作符）进一步判断 -
严格模式下行为一致：即使在严格模式中，
typeof undeclaredVar依然安全，不改变该特性
替代方案对比
如果需要更精确判断“是否真正声明过”，可考虑：
-
"varName" in window（仅限全局变量，且需注意原型链污染） -
typeof window.varName !== "undefined"（显式查全局对象，但依赖window存在） - 用
try/catch包裹访问（冗余，不推荐）
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
