如果null是一个原语，为什么typeof(null)返回“object”?

因为规范是这么说的。

11.4.3 typeof操作符 生成的UnaryExpression: typeof UnaryExpression的计算如下: 设val为对UnaryExpression求值的结果。 如果Type(val)是Reference，则 a.如果IsUnresolvableReference(val)为真，返回"undefined"。 b.设val为GetValue(val)。 返回一个由Type(val)根据表20确定的字符串。

来自MDN页面关于typeof操作符的行为:

零 //这是从JavaScript开始的 Typeof null === 'object'; 在JavaScript的第一个实现中，JavaScript值被表示为一个类型标签和一个值。对象的类型标记为0。null表示为null指针(在大多数平台中为0x00)。因此，null以0作为类型标记，因此返回值为“object”类型。(参考) 针对ECMAScript提出了一个修正(通过选择加入)，但被拒绝了。这将导致typeof null === 'null'。

来自YDKJS这本书

这是JS中一个长期存在的错误，但它可能永远不会消失 待修复。Web上有太多的代码依赖于这个bug，因此 修复它会导致更多的bug !

如果null是一个原语，为什么typeof(null)返回“object”?

简而言之:它是ECMAScript中的bug，类型应该是null

参考:https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/null

++作者的答案是:

我认为现在修复typeof已经太迟了。typeof null的修改将破坏现有代码

太迟了。自从微软创建了自己的JavaScript引擎并复制了第一个引擎版本的所有功能和错误后，所有后续引擎都复制了这个错误，现在修复它已经为时已晚。

JS_TypeOfValue(JSContext *cx, jsval v)
{
    JSType type = JSTYPE_VOID;
    JSObject *obj;
    JSObjectOps *ops;
    JSClass *clasp;

    CHECK_REQUEST(cx);
    if (JSVAL_IS_VOID(v)) {
        type = JSTYPE_VOID;
    } else if (JSVAL_IS_OBJECT(v)) {
        obj = JSVAL_TO_OBJECT(v);
        if (obj &&
            (ops = obj->map->ops,
                ops == &js_ObjectOps
                ? (clasp = OBJ_GET_CLASS(cx, obj),
                clasp->call || clasp == &js_FunctionClass)
                : ops->call != 0)) {
            type = JSTYPE_FUNCTION;
        } else {
            type = JSTYPE_OBJECT;
        }
    } else if (JSVAL_IS_NUMBER(v)) {
        type = JSTYPE_NUMBER;
    } else if (JSVAL_IS_STRING(v)) {
        type = JSTYPE_STRING;
    } else if (JSVAL_IS_BOOLEAN(v)) {
        type = JSTYPE_BOOLEAN;
    }
    return type;
}

在JavaScript中，typeof null是'object'，这错误地表明null是一个对象。这是一个错误，不幸的是无法修复，因为它会破坏现有的代码。