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

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

graph LR
ECMAScript变量-->基本类型值
ECMAScript变量-->引用类型值

• 基本类型值， 保存在栈内存中的简单数据段。Undefined, Null,Boolean,Number和String，在内存中分别占有固定大小的空间，一般称它们按值访问。

• 引用类型值，保存在堆内存中的对象。意思是变量中保存的实际上只是一个指针，这个指针指向内存中的另一个位置，该位置保存对象。

  由于这种类型大小不固定，不能保存在栈内存当中，但是它们的内存地址是固定的，我们可以存储在栈内存当中。当查询引用类型的变量时，就首先从栈中读取内存地址，然后“顺杆爬”地找到保存在堆中的值。这种方式一般称为按“引用”访问，因为我们操作的不是实际值，而是被那个值所引用的对象。

  image

4.1.1动态的属性

• 定义基本类型值和引用类型值的方式是相同的：创建一个变量并为其赋值
• 当这个值保存到变量以后：

1. 对引用类型的值，我们可以为其添加属性和方法，也可以改变和删除其属性和方法
2. 对基本类型值，我们不能给其添加属性（虽然添加了不会导致错误)，如下，当我们访问添加的属性，会发现该属性不见了

var name="Mike";
name.age=27;
alert(name.age); //undefined

4.1.2复制变量值

• 除了保存方式不同，在复制变量值上也存在不同：

1. 复制基本类型值：会在变量对象上创建一个新值，然后把该值复制到为新变量分配的位置上，复制后的值是原来值的一个副本，此后这两个变量可以参与任何操作而不会相互影响。
2. 复制引用类型的值：同样会复制，但与上面不同是这个值的副本实际上是一个指针，而这个指针指向储存在堆内存中的一个对象。此后，两个变量实际上将引用同一个对象，改变其中一个变量，会影响另一个。如下。

var obj1=new Object();
var obj2=obj1;
obj1.name="JJ";
alert(obj2.name); //JJ

4.1.3传递参数

• ECMASript中所有参数都是按值传递。访问变量有按值和按引用两种方式，而参数只能按值。
• 传递参数，就是把函数外部的值复制给函数内部的参数，就和把值从一个变量复制到另一个变量一样。

1. 向参数传递基本类型的值时，被传递的值会复制给一个局部变量（即命名参数），如下：

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

假如num是按引用传递，则count的值将变成30，从而反映内部的修改，而实际并不是，参数是按值传递。

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

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

可能有人会认为，在局部作用域修改的对象会在全局作用域反映出来，则说明参数是按引用传递，如下证明对象是按值传递：

function setName(obj){
    obj.name="jj";
    /*增加两段代码*/
    obj=new Object();
    obj.name="gg";
}
var person=new Object();
setName(person);
alert(person.name); //jj

如果person是按引用传递，则person会自动修改为指向name属性值为“gg”的新对象，而结果不是，说明即使函数内部修改了参数的值，但原始的引用仍然保持未变。实际上，当函数内部重写obj时，这个变量引用的就是一个局部对象了，这个局部对象会在函数执行完毕立即被销毁。

4.1.4检测类型（学习第六章再看）

• 检查基本类型采用 typeof

• 检查变量是不是某引用类型的实例，用instanceof

4.2执行环境及作用域

执行环境

• 执行环境，有时也称为环境。执行环境定义了变量或函数有权访问的其他数据，决定了它们各自的行为。
• 每个执行环境都有一个与之相关联的变量对象，环境中定义的所有变量和函数都保持在这个对象中。（我们编写的代码无法访问 这个对象，但解析器在处理数据时会在后台使用它）
• 全局执行环境是最外围的一个执行环境。web浏览器中，全局执行环境被认为是window对象。
• 某个执行环境中的所有代码执行完毕后，该环境被销毁，保存在其中是所有变量和函数定义也随之销毁。（全局执行环境直到应用程序退出，如关闭网页或浏览器时才被销毁）。
• 每个函数都有自己的执行环境。当执行流入一个函数时，函数的环境就会被推入一个环境栈中，而函数执行之后，栈将其环境弹出，把控制权返回给之前的执行环境。

作用域

• 当代码在一个环境中执行时，会创建变量对象的一个作用域链(scope chain)。作用域链的用途是保证对执行环境有权访问的所有变量和函数的有序访问。
• 作用域链的前端，始终都是当前执行的代码所在环境的变量对象。如果这个环境是函数，则将其活动对象(activation object)作为变量对象。活动对象在最开始时只包含一个对象，即arguments(这个对象在全局环境中是不存在的)。
• 作用域链的下一个变量对象来自包含(外部)环境，而再下一个变量对象则来自下一个包含环境。这样一直延续到全局执行环境。全局执行环境的变量对象始终都是作用域中的最后一个对象。
• 标识符解析是沿着作用域链一级一级地搜索标识符过程。搜索过程始终从作用域链的前端开始，然后逐级向后回溯，直至找到标识符为止（如果找不到标识符，则会发生错误）
• 每个环境都可以向上搜索作用域链，以查询变量和函数名；但任何变量都不能通过向下搜索作用域链而进入另一个执行环境。

var color="blue";
function changeColor(){
    var anotherColor="red";
    
    function swapColors(){
        var tempColor=anotherColor;
        anotherColor=color;
        color=tempColor;
        //局部作用域中定义的变量可以在局部环境中与全局变量互换使用
        //这里可以访问color，anothercolor，tempColor；
    }
    //这里可以访问color，anotherColor
}
//这里只能访问color，changeColor（）；

1. 以上代码涉及三个执行环境：全局环境，changeColor（）的局部环境和swapColors（）的局部环境。

graph LR
window-->color
window-->changeColor

changeColor-->anotherColor
changeColor-->swapColors
swapColors-->tempColor

2. 内部环境可以通过作用域链访问所有外部环境，外部环境不能访问内部环境的任何变量和函数。
3. swapColors()的作用域链包含三个对象：swapColors()的变量对象，changeColor()的变量对象和全局变量对象。（swapColors()的内部可以访问其他两个环境中的所有变量，因为那两个环境是它的父执行环境；）
4. changeColor()的作用域链包含两个对象：
   它自己的变量对象和全局变量对象。（不能访问swapColors()的环境；）

• 函数参数也被当成变量来对待，因此其访问规则与执行环境中的其他变量相同。

4.2.1延长作用域链（看不懂）

• try-catch语句的catch
• with语句
• 对catch语句来说，其变量对象中包含的是被抛出的错误对象的声明

4.2.2没有块级作用域

• JavaScript没有块级作用域。

if(ture){
    var color="blue";
}
alert(color); //"blue"

以上代码，如果在c，c++或java（有块级作用域），color会在if语句执行完毕后被销毁。但在js中，if语句中的变量声明会将变量添加到当前的执行环境（这里是全局环境中），==使用for语句时要牢记这一差异==，如：

for(var i=0;i<10;i++){
    doSomething(i);
}
alert(i); //10

对有块级作用域的语言，for语句初始化变量的表达式所定义的变量，只会存在于循环的环境中。而对于js，由for语句创建的变量i即使在for循环执行结束后，也依旧会存在于循环外部的执行环境中。

1. 声明变量

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

function add(num1,num2){
    var sum=num1+num2;
    return sum;
}
var result=add(10,20); //30
alert(sum); //由于sum不是有效变量，因此导致错误

如果省略var关键字，那么当add（）执行完毕后，sum也将可以访问到，因为sum添加到了全局环境：

function add(num1,num2){
    sum=num1+num2;
    return sum;
}
var result=add(10,20); //30
alert(sum); //30

• 建议初始化变量之前，一定要先声明。

2. 查询标识符

• 搜索过程从作用域的前端开始，沿作用域链向上搜索，搜索过程一直追溯到全局环境的变量对象。如果在全局环境中也没有找到这个标识符，则意味该变量尚未声明。

var color="blue";
function getColor(){
    return color;
}
alert(getColor()); //"blue",在全局环境中找到

var color="blue";
function getColor(){
    var color="red";
    return color;
}
alert(getColor()); //"red",在局部环境中找到

• 以上例子：如果局部环境中存在着同名标识符，就不会使用位于父环境中的标识符；

4.3垃圾收集（引用计数？）

1. 4.3.1标记清除：JavaScript 中最常用的是垃圾收集方式是标记清除( mark-and-sweep )。当变量进入环境时，就将这个变量标记为“进入环境”。从逻辑上讲，永远不能释放进入环境的变量所占用的内存，因为只要执行流进入相应的环境，就可能会用到它们。而当变量离开环境时，则将其标记为“离开环境”。
2. 4.3.2引用计数：通过跟踪每个值被引用的次数来清除所占用的内存。

• 4.3.3性能问题
• 4.3.4管理内存：一旦数据不再有用，就将其值设置为null来释放其引用—这个做法一般叫“解除引用”，这个做法适用于大多数全局变量和全局对象的属性。局部变量会在它们离开执行环境时自动被解除引用。
  不过，解除一个值的引用并不意味着自动回收该值所占用的内存，而是让值脱离执行环境，以更垃圾收集器下次运行时将其回收。

Author:YY

Date:2017.7.11