JavaScript 数据类型：undefined、null、NaN 的判断

JavaScript 引擎在处理空值与非法运算时，会返回 undefined、null 和 NaN 三种特殊状态。错误地混合判断这些值会导致隐式类型转换污染、条件分支误入以及不可追踪的运行时崩溃。直接执行以下标准化检测流程，可构建零缺陷的防御链路。

第一阶段：精准拦截 undefined

1. 扫描 代码作用域内的变量生命周期。定位所有仅声明（如 let result;）但未显式初始化，或函数体内部缺失 return 语句的执行路径，此类场景的内存槽位默认填充 undefined。
2. 调用 typeof 一元操作符进行前置探测。编写 typeof 目标变量 === 'undefined' 表达式。该操作符在底层直接读取 V8 引擎的类型标签（Type Tag），不会对未声明的标识符抛出 ReferenceError，适用于全局变量或动态模块加载场景。
3. 阻断 宽松等于运算符 == 的自动类型转换。在已确认变量存在于当前作用域的前提下，替换 所有 变量 == undefined 为 变量 === undefined。严格相等运算符会跳过 ToPrimitive 转换协议，确保仅当内存指针完全指向 undefined 原始值时返回真值。

// 步骤 2 执行示例：安全探测未声明或跨模块变量
if (typeof globalConfig === 'undefined') {
  globalConfig = {};
}

// 步骤 3 执行示例：作用域内精确比对
function fetchData(url) {
  let response; // 隐式初始化为 undefined
  // 错误写法：if (response == undefined) { ... }
  if (response === undefined) {
    throw new Error('数据未初始化');
  }
}

第二阶段：彻底锁定 null

1. 确认 null 的底层类型标识。在 JavaScript 历史实现中，typeof null 会错误返回字符串 'object'，这是早期字节码将空指针误标记为对象类型的遗留缺陷。现代调试中忽略 该操作符对 null 的反馈。
2. 启用 严格全等运算符 === 执行单点比对。直接编写 引用变量 === null 进行条件拦截。该写法在引擎层面执行指针地址比对，可彻底切断 0、''、false、undefined 等假值（Falsy Values）的干扰路径。
3. 剔除 冗余的类型防御代码。早期开发常使用 val !== null && typeof val !== 'undefined' 作为安全网，在启用严格模式及现代构建工具（如 ESLint）的项目中，此类写法属于无效开销。删除 所有嵌套类型校验逻辑。

function resolveDatabaseRecord(record) {
  // 步骤 2 正确执行路径
  if (record === null) {
    return { id: 0, name: 'DEFAULT', status: 'EMPTY' };
  }

  // 步骤 3 清理后的干净分支
  return record;
}

第三阶段：专门捕获 NaN

1. 验证 数学运算的溢出边界。当代码执行非法算术操作（如负数开平方 Math.sqrt(-1)）或字符串解析失败（如 parseInt('abc')）时，引擎会分配 NaN（Not a Number）标记。该标记具有全局唯一性，且满足 NaN !== NaN 的反逻辑特性。
2. 调用 ES6 规范方法 Number.isNaN()。传入 待校验参数，该函数内部首先执行 typeof 类型守卫，确认参数为原始数字类型后，才进行值比对。此机制能精准过滤非数值类型，避免将合法字符串或对象误判为非法数字。
3. 清理 全局函数 isNaN() 的隐式转换陷阱。老旧代码库广泛使用的全局 isNaN('100px') 会触发内部的 Number() 强制转换协议，因字符串无法转为有效数字而返回 true。全局搜索 并替换 所有遗留调用，消除类型污染源头。

核心判断逻辑对比如下：

第四阶段：工程化组合防御

1. 封装 统一类型校验工具模块。将分散的检测逻辑收敛至 src/utils/validators.js 文件中，导出 checkDataType(input) 函数。函数内部执行 顺序拦截链：优先判定 typeof 输出 'undefined'，次级判定 === null，末级判定 Number.isNaN()，确保高优先级状态不被后续分支吞没。
2. 配置 空值合并运算符 ?? 实施降级回退。在数据装配层编写 const safeValue = rawInput ?? fallbackValue 表达式。该语法严格限定左侧仅在严格等于 null 或 undefined 时触发右侧求值，完美避开数字 0、布尔值 false 或空字符串 '' 被意外覆盖的工程隐患。
3. 执行 自动化边界测试用例覆盖。在单元测试文件中注入 包含 undefined 占位符、显式 null 指针、非法计算结果 NaN 以及合法边界值 0 的断言数组。运行测试框架并核对 控制台输出状态码，验证拦截函数在各分支下的布尔返回值符合预期矩阵。

// 步骤 1 工具函数实现
export function detectSpecialValue(input) {
  if (typeof input === 'undefined') {
    return 'UNDEFINED_SLOT';
  }
  if (input === null) {
    return 'NULL_POINTER';
  }
  if (Number.isNaN(input)) {
    return 'NOT_A_NUMBER';
  }
  return 'VALID_TYPE';
}

// 步骤 2 降级策略部署
function parseUserAge(rawData) {
  const parsed = Number(rawData);
  // 使用 ?? 而非 || 防止 age 为 0 时被回退
  return Number.isNaN(parsed) ? null : parsed;
}

// 步骤 3 测试断言执行
const testMatrix = [
  { input: undefined, expect: 'UNDEFINED_SLOT' },
  { input: null, expect: 'NULL_POINTER' },
  { input: Math.acos(2), expect: 'NOT_A_NUMBER' },
  { input: 42, expect: 'VALID_TYPE' }
];

testMatrix.forEach(({ input, expect }) => {
  console.assert(detectSpecialValue(input) === expect, `断言失败: ${input}`);
});