基本类型和引用类型

在 ECMAScript 中,变量分为基本类型和引用类型两种。基本类型就是存储简单的数据段。而引用类型指的是那些可能由多个值构成的对象。在 ECMAScript 中,基本类型包括:Undefined、Null、Boolean、Number 和 String。这些基本类型的对象都是按值访问的。所以 js 中我们可以直接操作他们。但是引用类型如 Object 等,是按照引用来操作的。并非直接操作其值。并且我们可以动态的为引用类型变量添加属性和方法。而基本类型则不可以。

变量赋值和传参

主要说明引用类型

对于赋值

function setName(obj) {
  obj.name = 'Nicholas';
  obj = new Object();
  obj.name = 'sixin';
  console.log(obj.name); // sixin
}
const person = new Object();
setName(person);
console.log(person.name);
// Nicholas
  • 引用类型在传参的时候,也是按照值传递的。
  • 即使在函数内部修改了参数的值。原始的引用依然不变。实际上,在重写 obj 的时候,这个变量的引用已经是一个局部变量了。只是在这儿函数运行完,这个对象被销毁了。

如果不懂的话我们用直白的方式解释下这段代码是:

person这个object作为参数传递给function的时候,function内部的作用域可以找到person而且这时候obj的值指向的是“堆内存中person所指向地址”person本身也是个指针,objperson这个指针被作为参数传递后复制出来的副本);然后下一步 new 出一个 Object 的时候,是在堆内存中新建了一个Object(),这个时候obj是指向这个新 new 出来的 Object 的指针,所以对这个 Object 新增一个叫 name 的属性并且在这个局部变量指针还未被销毁(即函数未执行完毕)之前打出 log,输出的是这个新 new 出来的 Object 里的 name 属性,是 sixin。需要注意的是,在function执行的这一个阶段里,对于原来的 Object 进行操作只有一次,即给它的 name 属性赋值为’Nicholas’,随即在这个函数里就没有指针再指向它了,所以在外部的输出就是”Nicholas”;

执行环境及其作用域

这大概是一个非常基础也是重要的部分,后续会在进阶里面详细展开。

执行环境定义了变量或者函数有权访问的其他数据,决定了他们的行为。每一个执行环境都有一个与之关联的变量对象(如 global、window)。环境中定义的所有变量和函数都保存在这个对象中。

某一个执行环境执行完毕后,该环境会被销毁。其中的所有的变量和函数也将随之销毁。全局执行环境知道应用程序退出才被销毁(如关闭网页等)

当代码在一个环境中执行的时候,会创建变量对象的一个 ​​ 作用域链。作用域链的用途,是保证对执行环境有权访问的变量和函数的有序访问。作用域链的前端,始终是当前执行的代码所在的环境的变量对象。全局执行环境始终是作用域链的最后一个对象。

标识符的解析也就是沿着作用域链一级一级的搜索的过程。搜索过程从作用域链的前端开始,然后逐级向后回溯。知道找到标识符为止。

let color = 'red';
function changeColor() {
  let anotherColor = 'blue';
  function swapColors() {
    const tempColor = anotherColor;
    anotherColor = color;
    color = tempColor;
    // 这个执行环境中可以访问到tempColor color antherColor
  }
  // 这里只能访问anotherColor color
  swapColors();
}
changeColor(); // 这里只能访问color

所以从上面代码我们可以感受到:内部环境可以通过作用域链访问到外部环境的变量。反之不可。这些环境之间的联系都是线性、有次序的。

延长作用域链

虽然执行环境的类型只有两种。局部的和全局的。但是还有一种方法可以延长作用域链。

这是因为有些语句可以在作用域链的前端临时添加一个变量对象,改变量对象会在代码执行后被移除。

  • try-catch 语句中的 catch
  • with语句

对于 with 语句而言,会将指定的对象添加到作用域链中。对于 catch 语句而言,会创建一个新的变量对象,其中包含被抛出的错误对象的申明。

垃圾收集

局部变量只在函数执行过程中存在。而在这个过程中,会为局部变量在栈或者堆中分配相应的内存空间。然后函数执行时,用了这些变量。执行完后,则这些变量就没有用了,需清理释放内存空间。

但是并非所有的情况下都这么容易的得出结论。垃圾收集器必须跟踪哪个变量用了哪个变量没用。对于不在利用的打上标记,已被将来收回其所占用的内存。

标记清除

这是最为常用一种清除方式。当一个变量进入到环境的时候,标记为’进入环境’,这个基本是不会被清除的,因为执行流进入到相应的环境的时候可能会用到。当变量离开环境的时候,标记为’离开环境’。

可以使用任何方式来标记。我们要知道是如何标记不重要,重要的是采用什么策略。

垃圾收集器在运行的时候会给存储在内存中的所有变量都加上标记。他会去掉环境中的变量以及被环境中的变量所引用的变量的标记。剩下的,则准备删除。因为环境中的变量已经无法访问到这些变量了。目前 IE、ff 、 opera 、 chrome 都是这种标记清除方式。

引用计数

因为不常用,简单说下

引用计数的意思就是跟踪记录每一个值被引用的次数。当一个引用类型的变量复制给一个变量的时候,这个引用次数则+1,如果有别复制给另一个变量,则再+1,如果包含对这个值的引用的变量又被赋值了别的值。则这个值-1.

当引用次数为 0 的时候,则当做垃圾回收。

function test() {
  var objectA = new Object();
  var objectB = new Object();

  objectA.someOtherObject = objectB;
  objectB.someOtherObject = objectA;
}

对象 A 和对象 B 的属性互相引用。也就是说,这两个对象的引用次数永远都是 2.哪怕这个函数执行完咯,也没法清理的。

虽然垃圾回收机制帮我们做了很多事,但是电脑分配给浏览器的可用内存通常要比桌面应用的内存要小的多,毕竟是为了防止运行 js 的网页耗尽所有的内存而导致系统崩溃的问题发生。

所以我们确保用最少的内存可以让页面获取最好的性能,最佳的执行方案就是执行中的代码都是有必要的数据。

function createPerson(name) {
  const localPerson = new Object();
  localPerson.name = name;
  return localPerson;
}
const neal = createPerson('Neal');

// 主动清理垃圾
createPerson = null;

createPerson设置为null,并没有立刻把他清除,只是释放了他的引用。让其脱离其执行环境,以便于垃圾收集器更快的将其回收。