JS 作用域及变量值的引用

基本类型和引用类型的值

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

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

执行环境及作用域

• 执行环境有全局执行环境和函数执行环境（局部执行环境）之分；

var color = "blue";
function changeColor () {
    var anotherColor = "red";
    function swapColors() {
        var tempColor = anotherColor;
        anotherColor = color;
        
        // 这里可以访问 color,anotherColor 和 tempColor
    }
    // 这里可以访问 color 和 anotherColor，但不能访问 tempColor
    swapColors();
}

// 这里只能访问 color
changeColor();

image

上图中的矩形表示特定的执行环境。其中，内部环境可以通过作用域链访问所有的外部环境，但外部环境不能访问内部环境中的任何变量和函数。这些环境之间的联系是线性，有次序的。每个环境都可以向上搜索作用域链，以查询变量和函数名；但任何环境都不能通过向下搜索作用域链而进入另外一个执行环境。对于这个例子中的 swapColors()而言，其作用域链中包含3个对象；swapColors()的变量对象，changeColor()的变量对象和全局变量对象。swapColors()的局部环境开始时回现在自己的变量对象中，搜索变量和函数名，如果搜索不到则再搜索上一级作用域链。

没有块级作用域

JavaScript 没有块级作用域经常会导致理解上的困惑。在其他类 C 的语言中，由花括号封闭的代码块都有自己的作用域（如果用 ECMAScript 的话来讲，就是他们自己的执行环境），因而支持根据条件来定义变量。例如：

if (true) {
    var color = "blue";
}
console.log(color);

这里是在一个 if 语句中定义了变量color。如果是在 C，C++中，color会在if语句执行完毕后被销毁。但在 JavaScript中，if 语句中的变量声明会将变量添加到当前的执行环境（在这里是全局环境）中。

JS 垃圾收集

• 离开作用域的值将被自动标记为可以回收，因此将在垃圾收集期间被删除；
• "标记清除"是目前主流的垃圾收集算法，这种算法的思想给当前不使用的值加上标记，然后在回收诶村。