【阅读笔记】JavaScript 高级程序设计（四）

基本类型和引用类型的值

  ECMAScript 变量可能包含两种不同数据类型的值：基本类型值和引用类型值。
基本类型值是指简单的数据段，而引用类型值指那些可能由多个值构成的对象。

  JavaScript 的基本数据类型都是按值访问的，因为可以操作保存在变量中的实际的值。

  引用类型的值是保存在内存中的对象。 JavaScript 不允许直接操作对象的内存空间。在操作对象时，实际上是在操作对象的引用而不是实际的对象。因此，引用类型的值时按引用访问的。

动态的属性

  定义基本类型值和引用类型值方式是类似的：创建一个变量并为该变量赋值。

  对于引用类型的值，是可以为其添加属性和方法，当然也可以改变和删除其属性和方法。如下：

    var person = new Object();
    person.name = 'Tom';
    person.sayHello = function(){
        alert(`Hello ! My name's ${this.name}`);
    }

复制变量值

  如果从一个变量向另一个变量复制基本类型的值，会在变量对象上创建一个新值，然后把该值复制到为新变量分配的位置上，此时两个变量完全独立，它们可以参与任何操作而不会相互影响，如下图：

  当从一个变量向另一个变量复制引用类型的值时，同样也会将存储在变量对象中的值复制一份放到为新变量分配的空间中。不同的是，这个值的副本实际上是一个指针，而这个指针指向存储在堆中的一个对象。两个变量实际上将引用同一个对象。因此，改变其中一个变量，就会影响另一个变量，如下图所示：

传递参数

  ECMAScript 中所有函数的参数都是按值传递的。

  在向参数传递基本类型的值时，被传递的值会被复制给一个局部变量（即命名参数，或是 ECMAScript 中的 arguments 对象中的一个元素）。

  在向参数传递引用类型的值时，会把这个值的内存地址复制给一个局部变量，因此这个局部变量的变化会反应在函数的外部。

检测类型

  在检测一个引用类型值和 object 构造函数时，instanceof操作符始终会返回 true，如果检测基本类型的值时，则始终返回 false，因为基本类型不是对象。

执行环境及作用域

  执行环境 定义了变量或函数有权访问的其他数据，决定了它们各自的行为。

• 全局执行环境：是最外围的一个执行环境，根据 ECMAScript 实现所在的宿主环境不同，表示执行环境的对象也不一样。

在 Web 浏览器中，全局环境被认为是 window 对象，因此所有全局变量和函数都是作为 window 对象的属性和方法创建的。

• 函数执行环境：当执行流进入一个函数时，函数的环境变量就会被推入一个环境栈中。而在函数执行之后，栈将其环境弹出，把控制权返回给之前的执行环境。

  某个执行环境中的所有代码执行完毕后，该环境被销毁，保存在其中的所有变量和函数定义也随之销毁（全局执行环境直到应用程序退出时才被销毁）。

  每个执行环境都有一个与之关联的变量对象（variable object），执行环境中定义的所有变量和函数都保存在这个对象中，除了我们无法对其访问外，它与普通对象并无差别。

  当代码在一个执行环境中执行时，会创建变量对象的作用域链（scope chain），它是用于保证对执行环境有权访问的所有变量和函数的有序访问。

作用域链（scope chain）是一个由变量对象带头组成的节点单向链表，如果当前执行环境为函数，则将其活动对象（activation object）作为变量对象，活动对象在最开始只包含一个变量，即 argments 对象（这个对象在全局环境作用域中是不存在的）

  作用域链的下一个变量对象来自包含（外部）环境。以此类推，直到全局执行环境。即全局执行环境的变量对象始终是作用域链的最后一个对象。

延长作用域链

  我们可以通过 try-catch 语句的 catch 块或 with 语句去延长作用域链。它们会在作用域链的前端增加一个变量对象，该变量对象会在代码执行后被移除。

  with 来说将指定对象添加到作用域链中。

  catch 会创建一个新变量对象，其中包含的是被抛出的错误对象声明。

没有块级作用域

  JavaScript 中是没有块级作用域。

  当使用 var 声明变量时，该变量会自动添加到所在作用域的变量对象中。

  当省略关键字 var 声明变量，如下：

    function foo(a,b){
        sum = a + b;
    }
    foo(10,20);
    console.log(sum); // 30

当函数 foo 执行完毕后，其内部未使用 var 光剑子声明的 sum 变量会被添加至全局变量中。在严格模式下，这样声明会报错。

小结

  JavaScript 变量可以用来保存两种类型的值：基本值和引用类型。基本类型的值源自于以下 5 个基本数据类型：Undefined、Null、Boolean、Number和String。基本类型值和引用类型值具有以下特点：

• 基本数据值在内存中占据固定大小的空间，因此被保存在栈内存中；
• 从一个变量向另一个变量复制基本类型的值，会创建这个值的一个副本；
• 引用类型的值时对象，保存在堆内存中；
• 从一个变量向另一个变量复制引用类型的值，复制的其实是指针，因此两个变量最终都指向同一个对象；
• 确定一个值是哪种基本类型可以使用 typeof 操作符，而确定一个值是哪种引用类型可以使用 instanceof 操作符。

  所有变量都存在于一个执行环境（也称作用域）当中，这个执行环境决定了变量的声明周期，以及哪一部分代码可以访问其中的变量：
- 执行环境有全局执行环境和函数执行环境之分；
- 每次进入一个新执行环境，都会创建一个用于搜索变量和函数的作用域链；
- 函数的局部环境不仅有权访问函数作用域中的变量，而且有权访问其包含环境，乃至全局环境；
- 全局环境只能访问在全局环境中的变量和函数，而不能直接访问局部环境中的任何数据；
- 变量的执行环境有助于确定应该何时释放内存。

  JavaScript 是一门具有自动垃圾收集机制的编程语言。开发人员不必关心内存分配和回收问题：
- 离开作用域的值将被自动标记为可以回收，因此将在来及收集期间被删除。
- “标记清除”是目前主流的垃圾收集算法，这种算法的思想是给当前不使用的值加上标记，然后再回收其内存。
- 另一种垃圾收集算法是“引用计数”，这种算法的思想是跟踪记录所有值被引用的次数。JavaScript 引擎目前都不再使用这种算法；但在 IE 中访问非原生 JavaScript 对象时，这种算法仍然可能导致问题。
- 当代码中存在循环引用现象时，“引用计数”算法就会导致问题。
- 解除变量的引用不仅有助于消除循环引用现象，而且对垃圾收集也有好处。为了确保有效地回收内存，应该及时解除不再使用的全局对象、全局对象属相以循环引用变量的引用。