只是为了添加我的观点-

在C++等编译语言的情况下，优化编译器会删除只声明且从不在任何地方使用的变量[或在IDE中标记警告]。这最终意味着变量不存在，因为它的内存从未分配。

在javascript解释器的情况下，[我猜]一个变量仅从被赋予值的那一点起被视为存在。在此之前，它的类型是“undefined”，并且没有为它分配内存。因此，它的名称是undefineed。

javascript中的null是一个表示地址的值，但该地址还没有指向任何内容[不存在的引用]。然而，这是一个价值。

null-它是一个赋值值，与变量一起使用以表示任何值（它是对象）。

undefined-它是一个没有赋值的变量，所以JavaScript会给它赋值一个undefineed（它是一种数据类型）。

未声明-如果根本没有创建变量，则称为未声明。

这两个特殊值都表示为空状态。

主要区别在于undefined表示尚未初始化的变量的值，而null表示有意缺少对象。

但是，变量编号已定义，未分配初始值：

let number;
number; // => undefined

number变量未定义，这明显表示变量未初始化当访问不存在的对象属性时，会发生相同的未初始化概念：

const obj = { firstName: 'Dmitri' };
obj.lastName; // => undefined

由于obj中不存在lastName属性，JavaScript正确地将obj.lastName计算为undefined。

在其他情况下，您知道变量需要保存对象或函数以返回对象。但由于某些原因，您无法实例化对象。在这种情况下，null是丢失对象的有意义的指示符。

例如，clone（）是一个克隆普通JavaScript对象的函数。该函数应返回一个对象：

function clone(obj) {
  if (typeof obj === 'object' && obj !== null) {
    return Object.assign({}, obj);
  }
  return null;
}
clone({name: 'John'}); // => {name: 'John'}
clone(15);             // => null
clone(null);           // => null

然而，clone（）可以用非对象参数调用：15或null（或通常为原始值，null或undefined）。在这种情况下，该函数无法创建克隆，因此它返回null-缺少对象的指示符。

typeof运算符区分两个值：

typeof undefined; // => 'undefined'
typeof null;      // => 'object'

严格质量运算符==正确区分undefined和null：

let nothing = undefined;
let missingObject = null;
nothing === missingObject; // => false

在JavasScript中有5种基本数据类型：String、Number、Boolean、null和undefined。我将尝试用一些简单的例子来解释。

假设我们有一个简单的函数

 function test(a) {
     if(a == null) {
        alert("a is null");
     } else {
        alert("The value of a is " + a);
     }
  }

此外，在上述函数中，if（a==null）与if（！a）相同。

现在，当我们调用此函数而不传递参数

test(); // will alert "a is null";
test(4); // will alert "The value of a is " + 4;

also

var a;
alert(typeof a);

这将给出未定义的；我们声明了一个变量，但没有为该变量赋值；

但如果我们写

var a = null;
alert(typeof a); // will give alert as object

所以null是一个对象。在某种程度上，我们为“a”分配了一个空值

Null始终是内存中存在的未知对象，而undefined则不是。

引自Marijn Haverbeke第三版《Elquent Javascript》：

undefined和null之间的含义差异是Javascript设计的一个意外，大多数时候这并不重要。如果你真的需要关注这些价值观，我建议你将它们视为可以互换的

老实说，一开始，我对这个建议有点怀疑。然而，在我自己的解释中，这是一种懒惰（或渴望）的方式来处理他们的分歧。也许，我们根本不需要处理这些差异。如果我们必须这样做，我们可以延迟我们的担忧（直到我们不得不这样做），而不是在这些值（null和undefined）流经我们的代码的每一步都过度/防御性地担心它。

PS：这不是对你问题的直接回答。这只是一个相关的观点。