变量、作用域和内存-《JavaScript高级程序设计》第四章读书笔记

变量、作用域和内存

1.基本类型和引用类型

基本类型：简单的数据段
引用类型：可能由多个值构成的对象
在将一个值赋给变量时，解析器必须确定这个值是基本类型值还是引用类型值。
引用类型的值是保存在内存中的对象，js不允许直接访问内存中的位置，即不能直接操作对象的内存空间。在操作对象时，实际上是在操作对象的引用而不是实际对象，因此，引用类型的值是按引用访问¹

1.1动态的属性

对于引用类型的值，可以为其添加属性和方法，也可以改变和删除其属性和方法

var a = {};
a.name = 1;
console.log(a) // {name:1}

1.2复制变量值

基本数据类型：会在变量对象上创建一个新值，然后把新值复制到为新变量分配的位置上
引用数据类型：同样会将存储在变量对象中的值复制一份放到新变量分配的空间中，不同的是，这个值得副本实际上是一个指针，而这个指针指向存储在堆中的对象。复制操作结束后，两个变量实际上将引用同一个对象，因此改变其中一个变量，将会影响另一个变量（浅拷贝）

1.3传递参数

ECMAScript中所有函数的参数都是按值传递的，即，把函数外部的值复制给函数内部的参数，就相当于把一个变量复制到另一个变量一样
1）向参数传递基本类型的值，被传递的值会被复制给一个局部变量（命名参数，或叫arguments对象中的一个元素）
2）向参数传递引用类型的数据时，会把这个值在内存中的地址复制给一个局部变量，因此这个局部变量的变化会反映在函数的外部

1.4检测类型

1）typeof ：String、Number、Boolean、undefined（即除null以外的基本类型）
对于null或对象会返回’Object’
对于函数则返回’function’
在IE和FireFox中，正则表达式返回’Object’
2）instanceof：Object、Array、RegExp
根据规定，所有引用类型的值都是Object的实例，因此在检测一个引用类型值和Object构造函数时，始终返回true。

2.执行环境及作用域

执行环境：定义了变量或函数有权访问的其他数据，决定了他们各自的行为。
每个执行环境都有一个与之关联的变量对象，环境中定义的所有变量都保存在这个对象中。无法在编写代码中访问，但解析器在处理数据时会在后台使用

全局变量是最外围的一个执行环境，宿主环境不同，表示执行环境的对象也不相同。
Web浏览器中，全局执行环境被认为是window对象，因此所有的全局变量和函数都作为window 对象的属性和方法创建。
某个执行环境中的所有代码执行完毕后，该环境被销毁，保存在其中的所有变量和函数定义也随之销毁（全局执行环境直到应用程序退出时才会被销毁）

每个函数都有自己的执行环境，当执行流进入一个函数时，函数的环境就被推入一个环境栈中，在函数执行后，栈将其环境弹出，将控制权返回给之前的执行环境。

当代码在一个环境中执行时，会创建变量对象的一个作用域链。
作用域链是保证对执行环境有权访问的所有变量和函数的有序访问。
作用域的前端，始终都是当前执行的代码所在环境的变量对象【如果这个环境是函数，则将其活动对象作为变量对象。
活动对象在最开始只包含一个变量（argument对象，在全局环境中是不存在的）】，下一个变量对象来自包含（外部）环境，在下一个变量对象来自下一个包含环境，一直延续到全局执行环境。全局执行环境的变量始终是作用域中的最后一个对象

2.1延长作用域链

虽然执行环境的类型只有两种：全局和局部（函数），但有其它方法来延长作用域链。
因为某些语句可以在作用域的前端临时增加一个变量对象，该变量对象会在代码执行后被移除
1）try-catch语句中的catch块
2）with语句
这两个语句会在作用域链的前端添加一个变量对象。
对于with语句来说，会将指定的对象添加到作用域链中
对于catch语句来说，会创建一个新的变量对象，其中包含的是抛出的错误对象的声明

var obj = {s:"aaa"}
function fnc(){
	var str2 = "bbb";
	with(obj){
		var str3 = obj.s + str2;
	}
	return str3
}

with语句接收的是obj对象，因此其变量对象中就包含了obj对象的所有属性和方法，而这个变量对象被添加到了作用域链的前端。在with语句内部定义的名为str3的变量，也成为了函数执行环境的一部分，可以作为函数的值返回

2.2没有块级作用域

1）声明变量

使用var声明的变量会自动添加到最接近的环境中。
在函数内部，最接近的环境就是函数的局部环境。
在with语句中，最接近的环境是函数环境。
如果初始化变量时没有使用var声明，该变量会自动添加到全局环境

2）查询标识符

当在某个环境中为了读取或写入二引用某一个标识符时，必须通过搜索来确定该标识符实际代表什么。搜索过程从作用域链的前端开始，向上逐级查询与给定名字匹配的标识符。

3.垃圾收集

js具有自动垃圾收集机制，即，执行环境会负责代码执行过程中使用的内存。
编写js程序时，不需要关系内存的使用状况，所需内存的分配以及无用内存的回收完全实现了自动管理。
原理：找出那些不再继续使用的变量，然后释放其占用的内存。
垃圾收集器会按照固定的时间间隔（或代码执行中预定的收集时间），周期性地执行这一操作。

1）标记清除

js中最常用的垃圾收集方式。
当变量进入环境（例，在函数中声明一个变量）时，就将这个变量标记为“进入环境”。当变量离开环境时，则将其标记为“离开环境”
垃圾收集器在运行的时候会给存储在内存中的所有变量都加上标记。然后，它会去掉环境中的变量以及被环境中的变量引用的变量的标记。而在此后再被加上标记的变量将被视为准备删除的变量，原因是环境中的变量已经无法访问到这些变量了。最后，垃圾收集器完成内存清除工作，销毁那些带标记的值并回收它们占用的内存。

3.2引用计数

跟踪记录每个值被引用的次数。
当声明一个变量并将一个引用类型值赋给该变量时，则这个值引用次数就是1.如果同一值又被赋各另一个变量，那么引用次数+1；相反，如果包含对这个值引用的变量又取得另一个值，则这个值得引用次数-1.
当这个值的引用次数编程0，则说明没有办法再访问这个值，因此就可以将其占用的内存空间回收。
这样，当垃圾收集器下次再运行时，它会释放那些引用次数为0的值所占用的内存

3.3性能问题

3.4管理内存

---

1. 当复制保存着对象的某个变量时，操作的是对象的引用，但在为对象添加属性和方法时，操作的是实际对象 ↩︎