定义函数的两种方式
函数声明:函数声明提升,在执行代码之前会先读取函数声明,意味着可以把函数声明放在调用它的语句后面。
函数表达式:不会提升
递归
function factorial(num){
if (num <= 1){
return 1;
} else {
return num * factorial(num - 1);
}
var anotherFactorial = factorial;
factorial = null;
alert(anotherFactorial(4));//error
将factorial设置为null,结果指向原始函数的引用只剩下一个。接下来调用anotherFactorial时,由于必需执行factorial,而factorial已经不再是函数,导致出错。可以使用arguments.callee解决。或者:
var factorial = (function f(num){
if (num <= 1){
return 1;
} else {
return num * f (num -1);
}
});
闭包
闭包是有权访问另一个函数作用域中的变量的函数。创建闭包的常见方式,就是在一个函数内部创建另一个函数。
function createComparisonFunction(propertyName){
return function(object1, object2){
var v1 = object1[propertyName];
var v2 = object2[propertyName];
if (v1 < v2){
return -1;
} else if ( v1 > v2){
return 1;
} else {
return 0;
}
};
}
当函数第一次被调用时,会创建一个执行环境(EC)及相应的作用域链,并把作用域链赋值给一个特殊的内部属性[[Scope]]。然后使用this、arguments和其他命名参数的值来初始化函数的活动对象(AO)。但在作用域链中,外部函数的活动对象始终处于第二位,外部函数的外部函数的活动对象处于第三位,直至作为作用域链重点的 全局执行环境。
function compare(v1, v2){
if (v1 < v2){
return -1;
} else if ( v1 > v2){
return 1;
} else {
return 0;
}
}
var result = compare(1, 2);
第一次调用compare时,会创建一个包含this,arguments、v1和v2的活动对象。全局执行环境的变量对象(包含this、result和compare)在compare执行环境的作用域链中则处于第二位。
每个执行环境都有一个表示变量的对象--变量对象(VO)。全局环境的变量对象始终存在,而像compare函数这样的局部环境的变量对象,则只在函数执行的过程中存在。在创建compare函数时,会创建一个预先包含全局变量对象的作用域链,这个作用域链被保存在北部的[[Scope]]属性中。当调用compare函数时,会为函数创建一个执行环境,然后通过复制函数的[[Scope]]属性中的对象构建起执行环境的作用域链。此后,又有一个活动对象(在此作为变量对象使用)被创建并被推入执行环境作用域链的前端。对于compare函数的执行环境,其作用域链中包含两变量对象:本地活动对象和全局变量对象。作用域链本质上是一个指向变量对象的指针列表,它只引用但不实际包含变量对象。
闭包的情况不同。在另一个函数内部定义的函数会将包含函数的活动对象添加到他的作用域链中。在createCompareFunction函数内部定义的匿名函数的作用域链中,实际上将包含外部函数createCompareFunction的活动对象。并且createCompareFunction函数在执行完毕后,其活动对象也不会被销毁,因为匿名函数的作用域链仍然在引用这个活动对象。当createCompareFunction函数返回后,只是其执行环境的作用域链被销毁,但它的活动对象仍然会留在内存中;直到匿名函数被销毁后它的活动对象才会被销毁。
闭包与变量
作用域链的这种配置机制引出了一个值得注意的副作用,即闭包只能取得包含函数中任何变量的最后一个值。闭包所保存的是整个变量对象,而不是某个特殊的变量。
function createFunction(){
var result = new Array();
for (var i = 0; i < 10; ++i){
result[i] = function(){
return i;
}
}
return result;
}
改写为
function createFunction(){
var result = new Array();
for (var i = 0; i < 10; ++i) {
result[i] = function(num){
return function() {
return num;
};
}(i);
}
return result;
}
关于this
this对象是在运行时基于函数的执行环境绑定的:全局环境中,this等于window;而当函数被作为某个对象的方法调用时,this等于那个对象。不过,匿名函数的执行环境具有全局性,因此其this对象通常指向window。每个函数在被调用时,其活动对象都会自动取得两个特殊变量:this和arguments。内部函数在搜索这两个变量时,只会搜索到其活动对象为止,因此永远不可能直接访问外部函数中的这两个变量。不过,把外部作用域中的this对象保存在一个闭包能够访问到的变量里。就可以让闭包访问该对象了。