如果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'。

正如已经指出的，规范是这么说的。但是，由于JavaScript的实现早于ECMAScript规范的编写，并且该规范小心翼翼地没有纠正最初实现的缺点，因此仍然存在一个合理的问题，即为什么要以这种方式完成。道格拉斯·克罗克福德称这是一个错误。Kiro Risk认为这是有道理的:

这背后的原因是，与undefined相比，null在对象出现的地方经常被使用(现在仍然是)。换句话说，null通常用于表示对对象的空引用。当Brendan Eich创建JavaScript时，他遵循了同样的范式，返回“object”是有意义的(可以说)。事实上，ECMAScript规范将null定义为表示有意缺少任何对象值的原语值(ECMA-262, 11.4.11)。

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

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

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

来自YDKJS这本书

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

在JavaScript中，null是“nothing”。它应该是不存在的东西。不幸的是，在JavaScript中，null的数据类型是一个对象。你可以认为typeof null是一个对象是JavaScript的错误。它应该是空的。

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

ECMAScript规范标识了这些语言数据类型:

6.1.1未定义类型 6.1.2 Null类型 6.1.3布尔类型 6.1.4字符串类型 6.1.5符号类型 6.1.6数字类型 6.1.6.1号码类型 6.1.6.2 BigInt类型 6.1.7对象类型

由于历史原因，typeof操作符在以下两种情况下与此分类不一致:

Typeof null == "object":这是不幸的，但我们必须忍受。 函数对象的typeof值为"function"，即使根据规范，它的数据类型为object。

另一个操作符——instanceof——可以用来知道一个对象是否继承了某个原型。例如，[1,2]instanceof Array将求值为true。

确定一个值是否为对象的一种方法是使用object函数:

if (Object(value) === value) // then it is an object; i.e., a non-primitive

++作者的答案是:

我认为现在修复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第一版遗留下来的bug。

“这是一个错误，不幸的是无法修复，因为它会破坏现有的代码。”

参考和更多信息:https://2ality.com/2013/10/typeof-null.html