JavaScript学习笔记&知识总结（三）变量、作用域、内存问题

知识总结（三）

JavaScript的变量与其他语言有很大区别。JavaScript变量松散类型的本质，决定了它只是在特定事件用于保存特定值的一个名字而已。由于不存在定义某个变量必须要保存何种数据类型值的规则，变量的值以及数据类型可以在脚本的生命周期内改变。

1 基本类型和引用类型的值

ECMAScript变量可能包含两种不同数据类型的值：基本类型值和引用类型值。基本类型值指的是简单的数据段，而引用类型值指那些可能由多个值构成的对象。
当一个值赋给变量时，解析器必须确定值是基本类型值还是引用类型值。5种基本类型值分别是：Undefined、Null、Number、String、Boolean。这5种基本数据类型是按值访问的，因为可以操作保存在变量中实际的值。
引用类型的值是保存在内存中的对象。与其他语言不同，JavaScript不允许直接访问内存中的位置，也就是说不能直接操作对象的内存空间。在操作对象时，实际上是在操作对象的引用而不是实际的对象。为此，引用类型的值是按引用访问的。（这种说法也不严谨，在复制保存着对象的某个变量时，操作的是对象的引用，但在为对象添加属性时，操作的是实际的对象。）
在很多其他语言中，字符串以对象形式表示，因此被认为是引用类型，但JavaScript中不是。

1.1 动态的属性

定义基本类型值和引用类型值得方式类似：创建一个变量并为他赋值。但当这个值保存到变量中后，对于引用类型的值，我么可以为其添加属性和方法，也可以改变和删除其属性和方法，如下

var person = new Object();
person.name = 'Bai';

name就是添加到person对象中的属性，如果对象不被销毁或者这个属性不被删除，他就会一直存在。
但是，我们不能给基本类型的值添加属性。

1.2 复制变量值

除了保存的方式不同以外，在从一个变量向另一个变量复制基本类型值和引用类型值时，也存在不同。如果从一个变量向另一个变量复制基本类型的值，会在变量对象上创建一个新值，然后把该值复制到为新变量分配的位置上。例子如下

var num1 = 5;
var num2 = num1;

num2中的5与num1中的5是完全独立的，该值只是num1中5的一个副本。此后，这两个变量可以参与任何操作而不会相互影响。

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

var obj1 = new Object();
var obj2 = obj1;
obj1.name = 'Bai';
console.log(obj2.name);//'Bai'

首先，变量obj1保存了一个对象的新实例。然后，这个值被复制到了obj2中；换句话说，obj1和obj2都指向同一个对象。这样，当为obj1添加name属性后，可以通过obj2 访问这个属性，因为这两个变量引用的都是同一个对象。如下图：

引用类型是存放在堆内存中的对象，变量其实是保存的在栈内存中的一个指针（保存的是堆内存中的引用地址），这个指针指向堆内存。
引用类型数据在栈内存中保存的实际上是对象在堆内存中的引用地址。通过这个引用地址可以快速查找到保存中堆内存中的对象。

PS：关于堆和栈：
基本类型值在内存中占据固定大小，被保存在栈内存中，引用类型值是对象，保存在堆内存中。
JavaScript的内存生命周期对于用户来说是透明的，不开放的。在定义变量时就完成了分配内存，使用时候是对内存的读写操作，内存的释放依赖于浏览器的垃圾回收机制。
1.栈：
栈是有结构的，先进后出，存放基本类型和对象的引用，每个区块的大小是明确的。
2.堆：
堆没有结构，数据任意存放，Js中主要存放引用类型。

数据查询速度比较，栈远远大于堆。
在开发过程中，偶尔遇到栈溢出的情况，stack overflow错误，因为栈创建时，大小是确定的，超过额度大小就会发生栈溢出（死循环或者错误递归），堆大小是不确定的，需要可以一直累加。
js是单线程的，那么需要利用多核的CPU，就允许js脚本创建多个线程，但是子线程受主线程的控制，且不能操作DOM。
栈是线程独占的，堆是线程共有的。
关于线程，可以查看这篇文章：https://www.jianshu.com/p/f478f15c1671

1.3 传递参数

ECMAScript中所有参数都是按值传递的。也就是说，把函数外部的值复制给函数内部的参数，就和把值从一个变量复制到另一个变量一样。基本类型值的传递如同基本类型变量的复制一样，而引用类型值的传递，则如同引用类型变量的复制一样。有不少开发人员在这一点上可能会感到困惑，因为访问变量有按值和按引用两种方式，而参数只能按值传递。
在向参数传递基本类型的值时，被传递的值会被复制给一个局部变量（即命名参数，或者用ECMAScript中的概念说，就是arguements对象中的一个元素）。在向参数传递引用类型的值时，会把这个值在内存中的地址复制给一个局部变量，因此这个局部变量的变化会反映在函数的外部。

function addTen(num) {}{
    num += 10;
    return num;
}
var count = 20;
var result = addTen(count);
alert(count);//20，没有变化
alert(result);//30

参数实际上是函数的局部变量。在调用这个函数时，变量count作为参数被传递给函数，这个变量的值是20，于是，20被复制给参数num以便在函数中使用。在函数内，参数num的值被加上了10，但这一变化不会影响函数外部的count变量。参数num和变量count互相独立，仅仅具有相同的值。使用数值等基本类型值来说明按值传递参数比较简单，但如果适用对象，问题就不那么好理解了。

function setName(obj){
    obj.name = 'Nike';
}
var person = new Object();
setName(person);
alert(person.name);//'Nike'

以上代码中创建一个对象，并将其保存了变量person中。然后，这个变量被传递到setName()函数中之后就复制给了obj。在这个函数内部，obj和person引用的是同一个对象。换句话说，即使这个变量是按值来传递的，obj也会按引用访问同一个对象。于是，当在函数内部为obj添加name属性后，函数外部的person也将有所反映。因为person指向的对象在堆内存中只有一个，而且是全局对象。
注意：这里的按值传递和按引用传递可以这么理解，引用类型数据传参时按值传递，传入的是栈中保存的值，即对象在堆中的地址。如果是按引用传递，就是把整个person引用传入函数，事实并非如此，只是和复制引用类型变量一样，把堆中对象的内存地址复制了一份传入函数。

1.4 检测类型

要检测一个变量是不是基本数据类型？typeof操作符是最佳的工具。说的更具体一点typeof是确定一个变量是不是字符串、数值、布尔值，还是undefined的最佳工具。如果变量的值是一个对象或是null，则typeof操作符会返回object。
但是在检测引用类型的值时，这个操作符的用处不大。通常，我们并不是想知道某个值是对象，而是想知道它是什么类型的对象。为此，ECMAScript提供了instanceof操作符，语法如下：

result = person instanceof Object;//变量person是Object吗？
result = person instanceof Array;
result = person instanceof RegExp;

如果变量是给定引用类型的实例，那么instanceof操作符就会返回true。
根据规定，所有引用类型的值都是Object的实例。因此，在检测一个引用类型值和Object构造函数时，instanceof操作符始终返回true。当然，如果使用instanceof操作符检测基本类型的值，则该操作符始终会返回false，因为基本类型不是对象。

2 执行环境及作用域

执行环境定义了变量或函数有权访问的其他数据，决定了它们各自的行为。每个执行环境都有一个与之关联的变量对象（variable object），环境中定义的所有变量和函数都保存在这个对象中。虽然我们编写的代码无法访问这个对象，但解析器在处理数据时会在后台使用它。
全局执行环境是最外围的一个执行环境。根据 ECMAScript 实现所在的宿主环境不同，表示执行环境的对象也不一样。在 Web 浏览器中，全局执行环境被认为是 window 对象，因此所有全局变量和函数都是作为 window 对象的属性和方法创建的。某个执行环境中的所有代码执行完毕后，该环境被销毁，保存在其中的所有变量和函数定义也随之销毁（全局执行环境直到应用程序退出——例如关闭网页或浏览器——时才会被销毁）。
当代码在一个环境中执行时，会创建变量对象的一个作用域链（scope chain）。作用域链的用途，是保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端，始终都是当前执行的代码所在环境的变量对象。如果这个环境是函数，则将其活动对象（activation object）作为变量对象。活动对象在最开始时只包含一个变量，即arguments 对象（这个对象在全局环境中是不存在的）。作用域链中的下一个变量对象来自包含（外部）环境，而再下一个变量对象则来自下一个包含环境。这样，一直延续到全局执行环境；全局执行环境的变量对象始终都是作用域链中的最后一个对象。
标识符解析是沿着作用域链一级一级地搜索标识符的过程。搜索过程始终从作用域链的前端开始，然后逐级地向后回溯，直至找到标识符为止（如果找不到标识符，通常会导致错误发生）。
延长作用域链
有些语句可以在作用域链的前端临时增加一个变量对象，该变量对象会在代码执行后被移除。在两种情况下会发生这种现象。具体来说，就是当执行流进入下列任何一个语句时，作用域链就会得到加长：
try-catch 语句的 catch 块；
with 语句。
没有块级作用域
JavaScript 没有块级作用域。
声明变量
使用 var 声明的变量会自动被添加到最接近的环境中。在函数内部，最接近的环境就是函数的局部环境；在 with 语句中，最接近的环境是函数环境。如果初始化变量时没有使用 var 声明，该变量会动被添加到全局环境。
function add(num1, num2){
var sum = num1 + num2;
return sum;
}
var result = add(10,20);//30
alert(sum);//由于 sum 不是有效的变量，因此会导致错误
function add(num1, num2){
sum = num1 + num2;
return sum;
}
var result = add(10,20);//30
alert(sum);//30
查询标识符
当在某个环境中为了读取或写入而引用一个标识符时，必须通过搜索来确定该标识符实际代表什么。搜索过程从作用域链的前端开始，向上逐级查询与给定名字匹配的标识符。如果在局部环境中找到了该标识符，搜索过程停止，变量就绪。如果在局部环境中没有找到该变量名，则继续沿作用域链向上搜索。搜索过程将一直追溯到全局环境的变量对象。如果在全局环境中也没有找到这个标识符，则意味着该变量尚未声明。

3 垃圾收集

JavaScript 具有自动垃圾收集机制，也就是说，执行环境会负责管理代码执行过程中使用的内存。在编写 JavaScript 程序时，开发人员不用再关心内存使用问题，所需内存的分配以及无用内存的回收完全实现了自动管理。这种垃圾收集机制的原理其实很简单：找出那些不再继续使用的变量，然后释放其占用的内存。为此，垃圾收集器会按照固定的时间间隔（或代码执行中预定的收集时间），周期性地执行这一操作。
局部变量只在函数执行的过程中存在。而在这个过程中，会为局部变量在栈（或堆）内存上分配相应的空间，以便存储它们的值。然后在函数中使用这些变量，直至函数执行结束。此时，局部变量就没有存在的必要了，因此可以释放它们的内存以供将来使用。在这种情况下，很容易判断变量是否还有存在的必要；但并非所有情况下都这么容易就能得出结论。垃圾收集器必须跟踪哪个变量有用哪个变量没用，对于不再有用的变量打上标记，以备将来收回其占用的内存。
标记清除
JavaScript 中最常用的垃圾收集方式是标记清除（mark-and-sweep）。当变量进入环境（例如，在函数中声明一个变量）时，就将这个变量标记为“进入环境”。从逻辑上讲，永远不能释放进入环境的变量所占用的内存，因为只要执行流进入相应的环境，就可能会用到它们。而当变量离开环境时，则将其标记为“离开环境”。
垃圾收集器在运行的时候会给存储在内存中的所有变量都加上标记（当然，可以使用任何标记方式）。然后，它会去掉环境中的变量以及被环境中的变量引用的变量的标记。而在此之后再被加上标记的变量将被视为准备删除的变量，原因是环境中的变量已经无法访问到这些变量了。最后，垃圾收集器完成内存清除工作，销毁那些带标记的值并回收它们所占用的内存空间。
引用计数
引用计数的含义是跟踪记录每个值被引用的次数。当声明了一个变量并将一个引用类型值赋给该变量时，则这个值的引用次数就是 1。如果同一个值又被赋给另一个变量，则该值的引用次数加 1。相反，如果包含对这个值引用的变量又取得了另外一个值，则这个值的引用次数减 1。当这个值的引用次数变成 0 时，则说明没有办法再访问这个值了，因而就可以将其占用的内存空间回收回来。
性能问题
垃圾收集器是周期性运行的，而且如果为变量分配的内存数量很可观，那么回收工作量也是相当大的。在这种情况下，确定垃圾收集的时间间隔是一个非常重要的问题。
管理内存
确保占用最少的内存可以让页面获得更好的性能。而优化内存占用的最佳方式，就是为执行中的代码只保存必要的数据。一旦数据不再有用，最好通过将其值设置为 null 来释放其引用——这个做法叫做解除引用dereferencing）。这一做法适用于大多数全局变量和全局对象的属性。局部变量会在它们离开执行环境时自动被解除引用。