typeof 检查未声明变量不报错，直接返回"undefined"，是ECMAScript规范特许的安全探测机制；它跳过作用域查找，适用于环境探测与API兼容性判断。
直接用 typeof 检查一个根本没声明过的变量，不会报错，而是稳稳返回字符串 "undefined"。这是它最特别也最实用的地方——别的操作（比如读取、赋值、传参）碰到未声明变量立刻抛 ReferenceError，唯独 typeof 被规范特许“睁一只眼”，属于 JavaScript 中极少数能绕过词法环境查找就给出结果的操作符。
为什么它不报错？
这不是巧合，是 ECMAScript 规范明文规定的：当 typeof 的操作数是一个未声明的标识符时，引擎跳过常规的作用域查找流程，直接判定“不存在”，并返回 "undefined"。它本质上是个编译期友好的探测工具，设计初衷就是用来做安全兜底。
- 它不依赖变量是否在当前作用域中注册过
- 不需要提前
var/let/const声明 - 也不关心是不是在暂时性死区（
let/const声明前）
怎么用才真正“安全”？
典型写法是配合严格相等判断，避免隐式转换陷阱：
-
if (typeof myVar === 'undefined') { ... }✅ 推荐，无副作用 -
if (!myVar)❌ 危险，未声明就报错 -
if (myVar == undefined)❌ 同样报错，且undefined可被重写（老环境） -
if (window.myVar === undefined)❌ 局部变量不适用，全局变量也受限于执行环境
它的边界在哪？
安全 ≠ 万能。typeof 返回 "undefined" 只说明“值是 undefined 或变量压根没声明”，但无法告诉你到底是哪一种：
-
let a;→typeof a是"undefined"（已声明，未赋值） -
typeof b→ 也是"undefined"（完全没声明） - 想区分二者？得用
try/catch或检查作用域对象（如hasOwnProperty），但成本高、场景窄
适合哪些真实场景？
它最常用于环境探测和可选功能开关：
- 判断调试模式：
if (typeof DEBUG !== 'undefined' && DEBUG) { ... } - 检测浏览器 API 是否可用：
if (typeof fetch === 'function') { ... } - 兼容旧版运行时：
if (typeof Promise !== 'undefined') { ... }
这些地方你不能预知变量是否存在，又必须避免脚本中断——typeof 就是为此而生的。
