作用域和内存问题

一、基本类型和引用类型的值

变量可能包括两种不同的数据类型的值

• 基本类型值：简单的数据段（栈储存）
• 引用类型值：指那些可能由多个值构成的对象（堆储存）

---

5种基本数据类型：undefined，Null，Boolean，Number 和 String
引用数据类型：object(Array, Date, RegExp, Function)

---

基本类型和引用类型的区别

• 这5种基本数据类型是按值访问的，因为可以操作保存在变量中的实际的值。【类似于复制】

• 引用类型的值时保存在内存中的对象（与其他语言不同，js不允许直接访问内存中的位置），不能直接操作对象的内存空间。在操作对象时，实际上是在操作对象的引用而不是实际的对象。为此，引用类型的值是按照引用访问的。【类似于指针指向】

1. 动态的属性

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

• 对于引用类型的值，我们可以为其添加属性和方法也可以改变和删除其属性和方法
• 不能给基本类型的值添加属性

只能给引用类型值动态的添加属性

2. 复制变量值

除了保存的方式不同之外，在从一个变量向另一个变量复制基本类型值和引用类型值时，也存在不同：

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

var obj1 = new object()
var obj2 = obj1;
obj1,name = 'Nicholas'
alert (obj2.name)//"Nicholas"

3. 传递参数

ECMAScript中所有函数的参数都是按值传递的。也就是说，把函数外部的值复制给函数内部的参数，就和把值从一个变量复制到另一个变量一样。

• 基本类型值的传递如同基本类型变量的复制一样
• 引用类型值的传递，如同引用类型变量的复制一样

---

访问变量的方式：

• 按值（参数只能按值传递）
• 按引用

---

• 在向参数传递基本类型的值时，被传递的值会被复制给一个局部变量（即命名参数，或者是arguments对象中的一个元素）
• 在向参数传递引用类型的值时，会把这个值在内存中的地址复制给一个局部变量，因此这个局部变量的变化会反映在函数的外部

function addTen(num){
	num += 10
	return num;
}
var count = 20;
var result = addTen(count);
alert(count)//20
alert(result)//30

4. 监测类型

在之前我们使用过typeof监测基本数据类型，但是如果变量的值是一个对象或null，则typeof只会返回objject。
所以我们可以看出，typeof这个操作符在检测引用类型的值时，用处不大
instanceof
如果变量是给定引用类型的实例，那么instanceof 操作符就会返回true

alert(person instanceof object)
alert(colors instanceof Array)
alert(pattern instanceof RegExp)

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

正则表达式为什么会返回function？
使用typeof 操作符检测函数时，该操作符会返回function，在之前的版本中使用typeof检测正则时，由于规范的原因，这个操作符也会返回“function””，ECMA-262规定任何在内部实现call 方法的对象都应该在应用typeof 操作符时返回“function””。由于上述浏览器中的正则表达式也实现了这个方法，因此对正则表达式应用typeof 会返回function ，在IE 和Firefox中，对正则表达式应用typeof 会返回object。

二、执行环境及作用域

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

• 全局
• 局部（函数）

---

每个执行环境都有一个与之关联的变量对象，环境中定义的所有变量和函数都保存在这个对象中，虽然编写的代码无法访问这个对象

• 全局环境，是执行环境最外围的一个执行环境（window）全局环境直到应用程序退出-例如关闭网页和浏览器时才会被销毁
• 执行环境：每个函数都有自己的执行环境，当执行流进入到一个函数时，函数的环境就会被推入一个环境栈中。而在函数执行之后，栈将其环境弹出，把控制权返回给之前的执行环境

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

• 作用域的前端；始终是当前执行的代码所在环境的变量对象
  • 如果这个环境是函数，则将其活动对象作为变量对象
  • 活动对象在最开始的时候只包含一个变量（arguments对象）这个对象在全局环境中是不存在的
  • 作用域链的下一个变量对象来自外部环境
  • 再下一个对象来自下一个包含环境
  • 一直延续到全局执行环境
  • 全局执行环境始终是作用域链中的最后一个对象

每个函数都包括全局变量对象和自己的arguments 对象

内部环境可以通过作用域链访问所有的外部环境，但是外部环境不能访问内部环境中的任何变量和函数。这些环境之前的练习是线性的、有次序的。每个环境都可以向上搜索作用域链，以查询变量和函数名；但任何环境不能通过向下搜索作用域链而进入另一个执行环境

1. 延长作用域链

延长执行流

1. with 会将指定的对象添加到作用域链中
2. try-catch（ctach块） catch块会创建一个新的变量对象

2. 没有块级作用域

1. 声明变量
   在函数内部，最接近的环境就是函数的局部环境
   在with语句中，最接近的环境时函数环境
   如果初始化变量时没有使用var 声明，该变量会自动添加到全局环境中
2. 查询标识符
   当在某个环境中读取或者写入而引用一个标识符时，必须通过搜索确定标识符实际代表什么

搜索过程：

• 从作用域链的前端开始，向上逐级查询与给定名字匹配的标识符
• 如果在局部环境中找到该标识符，搜索停止，变量就绪
• 如果在局部环境中没有找到该变量名，则继续沿作用域链向上搜索，一直追溯到全局环境的变量对象
• 如果在全局环境中也没找到这个标识符，则意味着该变量尚未声明