为什么typeof null 返回 "object" ？

typeof null 返回 "object" 的历史原因

这是一个非常好的问题！让我为你详细解释这个JavaScript历史上著名的"bug"：

历史背景

JavaScript 的早期实现

• JavaScript 最初由 Brendan Eich 在1995年用10天时间开发
• 为了快速实现，JavaScript 的值在底层用 类型标签 + 实际值 表示
• 类型标签存储在值的低几位中

类型标签系统

000: object   - 对象
001: integer  - 整数
010: double   - 浮点数  
011: string   - 字符串
100: boolean  - 布尔值
101: null     - null
110: undefined - undefined
111: symbol   - 符号 (ES6新增)

问题的根源

null 的特殊表示

• null 在大多数JavaScript引擎中被表示为 全零的机器码 (0x00)
• 在32位系统中：00000000 00000000 00000000 00000000

类型检查机制

• typeof 操作符通过检查 类型标签 来判断类型
• 但检查类型标签时，它查看的是值的低1-3位

值: [类型标签(3位)][实际数据(29位)]
     ↑
     typeof 检查这里

关键问题

• null 的机器码是全零：00000000...
• 当 typeof 检查 null 的低3位时：000
• 000 对应的类型标签正是 object

技术细节演示

// 伪代码展示 typeof 的内部逻辑
function _typeof(value) {
    const typeTag = getLowBits(value); // 获取低3位
    
    switch(typeTag) {
        case 0b000: return "object";    // null 落在这里!
        case 0b001: return "number";
        case 0b010: return "number";
        case 0b011: return "string";
        case 0b100: return "boolean";
        case 0b101: return "null";      // 理论上应该在这里
        case 0b110: return "undefined";
        case 0b111: return "symbol";
    }
}

为什么不能修复

兼容性问题

// 大量现有代码依赖这个"错误"行为
if (typeof value === "object" && value !== null) {
    // 处理真正的对象
}

// 如果修复，这些代码会全部出错

历史包袱

• 这个行为在1997年的ECMAScript 1规范中就被标准化
• 所有浏览器引擎都遵循这个规范
• 改变会破坏整个Web生态

正确的检测方法

1. 严格相等

value === null

2. 组合检查

typeof value === "object" && value !== null

3. 使用 Object.prototype.toString

Object.prototype.toString.call(null) // "[object Null]"

有趣的事实

其他语言的类似情况

// C语言中，NULL指针也经常被当作特殊情况处理
#define NULL ((void*)0)

JavaScript 规范的态度

• ECMAScript 规范明确说明这是有意保留的行为
• 在规范中被称为 "故意的错误" (intentional bug)
• 目的是保持与旧代码的兼容性

总结笔记

typeof null === "object" 问题解析

原因:
✓ 历史遗留 - JavaScript早期10天开发期的设计
✓ 技术实现 - null用全零表示，类型标签被误判为object
✓ 类型系统 - 低3位类型标签检查机制

为什么不能修复:
✓ 兼容性 - 大量现有代码依赖此行为
✓ 标准化 - 1997年ECMAScript 1规范已确定
✓ 生态影响 - 改变会破坏整个Web

正确检测方法:
✓ value === null
✓ Object.prototype.toString.call(value)

这个"bug"现在已经成为JavaScript的标志性特征之一，体现了编程语言设计中"错误一旦成为标准就不再是错误"的有趣现象！