高程3总结#第4章变量、作用域和内存问题

变量、作用域和内存问题

基本类型和引用类型的值

• 基本类型值指的是简单的数据段，而引用类型值值那些可能由多个值构成的对象。

• 定义基本类型值的引用和引用类型值的方法是类似的，创建一个变量并为该变量赋值。对于引用类型的值我们可以为其添加属性和方法，也可以改变属性和方法。不能给基本类型的值添加属性。

  var person=new Object();
  person.name="Nicholas";
  alert(person.name);//"Nicholas"
  var name="Nicolas";
  name.age=27;
  alert(name.age);//undefined

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

  var num1=5;
  var num2=num1;
  
  var obj1=new Object();
  var obj2=obj1;
  obj1.name="Nicholas";
  alert(obj2.name);//"Nicholas";

  
  

• 所有函数的参数都是按值传递的。

  • 在向参数传递羁绊类型的值时，被传递的值会被复制给一个局部变量，在向参数出传递引用类型的值时，会把这个值在内存中的地址复制给一个局部变量，因此这个局部变量的变化会反映在函数的外部。

    function addTen(num){
      num+=10;
      return num;
    }
    var count=20;
    var result=addTen(count);
    alert(count);//没有变化
    alert(result);//30
    
    function setName(obj){
      obj.name="Nicholas";
    }
    var person=new Object();
    setName(person);
    alert(person.name);//"Nicholas"
    
    function setName(obj){
      obj.name="Nicholas";
      obj=new Object();
      obj.name="Greg";
    }
    var person=new Object;
    setName(person);
    alert(person.name);//"Nicholas"

• typeof操作符是却行一个变量是字符串、数值、布尔值还是undefined的最佳工具

  var a="Nicholas";
  var b=true;
  var i=22;
  var u;
  var n=null;
  var o=new Object();
  
  alert(typeof a);//string
  alert(typeof i);//number
  alert(typeof b);//boolean
  alert(typeof u);//undefined
  alert(typeof n);//object
  alert(typeof o);//object

• 监测应用类型的值时，这个操作符用处不大。ECMAScript提供了instanceof操作符。

  alert(person instanceof Object)//变量person是Object么？
  alert(colors instanceof Array)//变量color是Array么？
  alert(pattern instanceof RegExp)//变量pattern是RegExp么？

执行环境及作用域

• 执行环境定义了变量或函数有权访问的其他数据，决定了它们各自的行为。每个执行环境都有一个与之关联的变量对象，环境中定义的所有变量和函数都保存在这个对象中。
• 全局执行环境是最外围的一个执行环境
• 每个函数都有自己的执行环境。当执行流进入一个函数时，函数的花名就会被推入一个环境栈中。而在函数执行之后，栈将其环境弹出，把控制权返回给之前的执行环境。

• 当代码在一个环境中执行时，会创建变量对象的一个作用域链。

  • 作用域链的用途，是保证对执行环境有权访问的所有变量和函数的有序访问。

    • 作用域链的前端，始终都是当前执行的代码所在环境的变量对象。如果这个环境是函数，则将其活动对象作为变量对象。
    • 作用域链中的下一个变量对象来自包含环境，而再下一个变量对象则来自下一个包含环境。这样，一直延续到全局执行环境；全局执行环境的变量对象始终都是作用域链中的最后一个对象。
      
      

垃圾收集

• 垃圾收集，执行环境会负责管理代码执行过程中使用的内存。找出那些不再继续使用的变量，然后释放其占用的内存。为此，垃圾收集器会按照固定的时间间隔，周期性地执行这一操作。局部变量只在函数执行的过程中存在。而在这个过程中，会为局部变量在栈（或堆）内存上分配相应的空间，以便存储它们的值。然后在函数中使用这些变量，直至函数执行结束。此时，局部变量就没有存在的必要了，因此可以释放它们的内存以供将来使用。在这种情况下，很容易判断变量是否还有存在的必要；但并非所有情况下都这么容易就能得出结论。垃圾收集器必须跟踪哪个变量有用哪个变量没用，对于不再有用的变量打上标记，以备将来收回其占用的内存。用于标识无用变量的策略可能会因实现而异，但具体到浏览器中的实现，则通常有两个策略。

  • 标记清除，当变量进入环境时，就将这个变量标记为"进入环境"。当变量离开环境时，将其标记为"离开环境"。它会去掉环境中的变量以及被环境中的变量引用的变量的标记。而在此之后再被加上标记的变量将被视为准备删除的变量，原因是环境中的变量已经无法访问到这些变量了。最后，垃圾收集器完成内存清除工作，销毁那些带标记的值并回收它们所占用的内存空间。
  • 引用计数，跟踪记录每个值被引用的次数。当声明了一个变量并将一个引用类型值赋给该变量时，则这个值的引用次数就是 1。如果同一个值又被赋给另一个变量，则该值的引用次数加 1。相反，如果包含对这个值引用的变量又取得了另外一个值，则这个值的引用次数减 1。当这个值的引用次数变成 0 时，则说明没有办法再访问这个值了，因而就可以将其占用的内存空间回收回来。这样，当垃圾收集器下次再运行时，它就会释放那些引用次数为零的值所占用的内存。