TLDR

undefined是JavaScript中的一个基本值，表示一个值的隐式缺失。未初始化的变量自动具有此值，而没有显式返回语句的函数则返回undefined。

null也是JavaScript中的一个基本值。它表示有意不存在对象值。JavaScript中的null被设计用来实现与Java的互操作性。

typeof null返回“object”，这是由于语言设计的特殊性，源于JavaScript与Java可互操作的需求。它并不意味着null是一个对象的实例。这意味着:给定JavaScript中的原语类型树，null是“对象类型原语”子树的一部分。下面将更详细地解释这一点。

细节

Undefined是一个基本值，表示一个值的隐式缺失。注意，直到1998年的JavaScript 1.3版本才可以直接访问undefined。这告诉我们，null是程序员在显式表示缺少某个值时使用的值。未初始化的变量的值自动为undefined。undefined是ECMAScript规范中独一无二的类型。

Null是一个基本值，表示对象值的故意缺失。null也是ECMAScript规范中独一无二的类型。

JavaScript中的null是为了实现与Java的互操作性而设计的，无论是从“外观”的角度还是从编程的角度(例如计划于1996年实现的LiveConnect Java/JS桥)。Brendan Eich和其他人都表达了对包含两个“缺少值”值的厌恶，但在1995年，Eich奉命“让[JavaScript]看起来像Java”。

布兰达:服从指令

如果我没有从管理层那里得到“让它看起来像Java”的命令， 而且我有更多的时间(很难理清这两个因果因素)，那么我就会更喜欢一个自我式的“一切都是一个对象”。 方法:没有布尔，数字，字符串包装。没有undefined和null。 叹息。

为了适应Java的null概念，由于Java的强类型性质，它只能被分配给类型为引用类型的变量(而不是原语)，Eich选择将特殊的null值定位在对象原型链的顶部(即引用类型的顶部)，并将null类型作为“对象类型原语”集的一部分。

typeof运算符随后在1996年8月19日发布的JavaScript 1.1中加入。

来自V8博客:

Typeof null返回对象，而不是null，尽管null是一个 自己的类型。要理解为什么，考虑所有的集合 JavaScript类型分为两组: 对象(即对象类型) 原语(即任何非对象值) 因此，null意味着“没有对象值”，而undefined意味着“没有” 价值”。

按照这个思路，Brendan Eich设计了JavaScript 使typeof为右边的所有值返回'object'， 即所有对象和空值，在Java的精神。这就是为什么 Typeof null === 'object'，尽管规范有一个单独的null类型。

因此，Eich设计了基元类型的层次结构，以实现与Java的互操作性。这导致他将null与层次结构中的“对象类型原语”一起定位。为了反映这一点，当typeof不久后被添加到语言中时，他选择typeof null来返回“object”。

JavaScript开发人员对typeof null === "object"表示惊讶，这是弱类型语言(JavaScript)和另一种强类型语言(Java)之间的阻抗不匹配(或抽象泄漏)的结果，弱类型语言(JavaScript)同时具有null和未定义，而另一种强类型语言(Java)只有null，其中null被严格定义为引用类型(而不是基本类型)。

请注意，这一切都是合乎逻辑的、合理的、站得住脚的。typeof null === "object"不是bug，而是必须适应Java互操作性的二阶效应。

出现了许多不完善的反向合理化和/或惯例，包括undefined表示隐式缺少值，null表示有意缺少值;或者，undefined是一个值的缺失，null是一个具体的对象值的缺失。

与Brendan Eich的相关对话，为后人截屏:

null和undefined的主要区别在于null表示 一个缺失的对象，而undefined表示变量的未初始化状态。

你可以认为null是一个未定义的对象，但未定义只是未定义的 因为它的类型没有定义。

let a; 
console.log(a); //undefined, since it is declared but not initialized

console.log(null == undefined) //true
console.log(null === undefined) // false

console.log(typeof null) //object
console.log(typeof undefined) //undefined

看看这个:

   <script>
function f(a){
  alert(typeof(a));
  if (a==null) alert('null');
  a?alert(true):alert(false);
}
</script>
                                          //return:
<button onclick="f()">nothing</button>    //undefined    null    false
<button onclick="f(null)">null</button>   //object       null    false
<button onclick="f('')">empty</button>    //string               false
<button onclick="f(0)">zero</button>      //number               false
<button onclick="f(1)">int</button>       //number               true
<button onclick="f('x')">str</button>     //string               true

下面的函数说明了原因，并能够计算出差异:

function test() {
        var myObj = {};
        console.log(myObj.myProperty);
        myObj.myProperty = null;
        console.log(myObj.myProperty);
}

如果你打电话

test();

你要

未定义的 零

第一个console.log(…)尝试在myObj尚未定义时从myProperty获取myProperty -因此它返回“未定义”。在将其赋值为null后，第二个console.log(…)显然返回“null”，因为myProperty存在，但它的值为null。

为了能够查询这种差异，JavaScript有null和undefined:而null就像在其他语言中是一个对象一样，undefined不能是一个对象，因为没有可用的实例(甚至不是空实例)。

什么是类型?

类型是对值进行分类的一种方式。下面是一个包含有问题的类型及其typeof结果的表格。

null不是一个对象，它是一个null类型的值。

typeof操作符在说谎!它返回“object”为空在JavaScript语言中是一个错误。

我在我的开源电子书中写了一章。你可以在这里阅读https://github.com/carltheperson/advanced-js-objects

一些精度:

Null和undefined是两个不同的值。一个表示没有名称的值，另一个表示没有名称。

对于if(o)， if中发生的事情如下所示:

括号o中的表达式被求值，然后if语句开始对括号中的表达式的值进行类型强制——在我们的例子中是o。

JavaScript中的Falsy(将被强制为false)值为:"，null, undefined, 0和false。