JS—变量、作用域、内存

作者: Miss____Du | 来源:发表于2014-12-05 00:40 被阅读788次

数据类型包括基本数据类型与复杂的数据类型object类型，而object类型在这里也说了，可以被称为引用类型。
在js内，我们是通过关键字var来声明变量的。任何类型的变量均用var来声明。
针对不同的数据类型，变量值的类型也会不同，同样也可以分为基本类型值与引用类型值两种。
变量被声明为基本类型，则其值也是基本类型值，基本类型值是实际值，js允许直接操作保存在变量中的值。
变量被声明为引用类型，则其值也是引用类型值，引用类型值是保存内存中的对象，js不允许直接操作他，则当操作该变量时，是在操作该对象的引用。（这个机理需要明白，才能理解其复制的机制）
关于声明变量时，内存的分配
基本类型值：按值访问，操作的是他们实际保存在栈中的值；
引用类型值：按引用访问，当查询时，我们需要先从栈中读取内存地址，然后再顺藤摸瓜地找到保存在堆内存中的值；
变量的初始化
- 基本类型值
  var num1=5;
  
  栈内存
- 引用类型值
  var obj1=new object();
  
  对象内存图
检测类型
- typeof
  var s="dudu";
  alert(typeof s);// string
  typeof操作符是确定变量为基本类型的。但是对于变量的值为对象或null时，那么typeof会返回“object”。
- instanceof
  alert(person instanceof Array);//变量person是Array类型么？
  因为所有引用类型都是Object的实例，所以
  alert(person instanceof Object);//返回true
执行环境及作用域
- 执行环境定义了变量或函数有权访问的其他数据，每个执行环境都有一个与之关联的变量对象，该执行环境中，定义的所有变量和函数都保存在这个对象中。
- 在web浏览器中，全局执行环境中，所有变量都保存在window对象中。
- 每个函数都有自己的执行环境，当执行流进入一个函数时，函数的环境就会被推入一个环境栈中，而在函数执行之后，栈将其环境弹出。
- 作用域链——当代码在一个环境中执行时，会创建变量对象的一个作用域链。其作用就是保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的最前端，始终都是当前执行的代码所在环境的变量对象，而作用域链的最后端，则是全局执行环境的变量对象。
- 如果环境是函数，则将其活动对象作为变量对象，活动对象，最开始只是包含一个变量即arguments对象。
- 标示符解析——即沿着作用域链一级一级的搜索标识符的过程，搜索过程始终从作用链的最前端开始，然后逐级向后回溯，直至找到标识符为止。为什么要解析呢？因为在局部环境中使用的非自己环境的变量对象内的变量，则需要看看，这个变量在不在作用域链上的外层环境内。
规律：内部环境可以通过作用域链访问所有的外部环境，但是外部环境不能访问内部环境中的任何变量和函数。
** 作用域链的延长**
因为有些语句可以在作用域链的前端临时增加一个变量对象，该变量对象也会在代码执行后被移除。
- 第一种情况：try catch语句的catch块。会创建一个新的变量对象，其中包含的是被抛出的错误对象的声明。
- 第二种情况：with语句。会将指定的对象添加到作用域链中，即添加到当前执行环境的变量对象中，也就是当前执行换进的变量对象中的变量也可以访问with语句指定的对象。
  var qs="";
  with(location){
  var url=href+qs
  }
js没有块级作用域
这里的块级作用域，更多的是强调没有像其他类C的语言中，由花括号封闭的代码块都有自己的作用域。但是函数是js中唯一拥有自身作用域的结构。
没有块级作用域，那些if(){}与for(){}则需要注意啦。大括号里新建的变量，括号结束后，可不会自动退还内存的。
声明变量
- var声明的变量会自动添加到最近的环境中，如果某变量在函数内没有使用var声明，便直接初始化，那么该变量则自动添加到全局环境中。
- 变量声明提升——当前作用域内的声明都会提升到最前面，包括变量和函数的声明。
  function(){
  var a="1";
  var f=function(){};
  var b="2";
  }
  变量afb的声明会被提升到函数作用域的最前面类似如下：
  function(){
  var a,f,b;
  a="1";
  f=function(){};
  b="2";
  }
  注意函数表达式的声明并没有被提升，这也是函数表达式与函数声明的区别，看下面
  function(){
  var f1;function f2(){};
  f1();//虽然f1的声明被提升，但是f1提升后的值为undefined。所以此句会报错。
  f2();
  var f1=function(){};
  }
查询标识符
当某个环境中为了读取或写入而引用一个标示符时，必须通过搜索来确定该标示符实际代表什么。搜索过程从作用域链的前端开始，向上逐级查询与给定名字匹配的标识符，如果在局部环境中找到，则停止搜索。
因此访问局部变量要比访问全局变量更快，是吧！
标识符同名问题
js中的一个名字以四种方式进入作用域，其优先级如下：
1、语言内置：this、arguments
2、形式参数：
3、函数声明：
4、变量声明：
名字声明的优先级如上，但是初始化确实按照该名字在声明未提前之前的代码顺序，进行初始化。
function(){
var foo;
alert(typeof foo);//function
function foo(){}
foo="foo";
alert(typeof foo);//string
}