第7章 函数表达式

定义函数有两种方式：

• 函数声明
语法：
function functionName(arg0, arg1, arg2) {
//函数体
}
函数声明提升（function declaration hoisting），意思是在执行代码之前会显读取函数声明，所以可以把函数声明放在调用它的语句后面。
• 函数表达式
语法：
var functionName = function(agr0, arg1, arg2) {
// 函数体
};
这种情况下创建的函数叫做匿名函数，也叫拉姆达函数。匿名函数的name属性是空字符串。

//不要这样做if(condition){
    function sayHi() {
        alert("Hi");
    }
} else {
    functon sayHi() {
        alert("Yo!");
    }
}

//可以这样做var sayHi;

if(condition) {
    sayHi = function(){
        alert("Hi");
    };
} else {
    sayHi = function() {
        alert("Yo!");
    };
}

能够创建函数再赋值给变量，也能够把函数作为其他函数的值返回。把函数当成值来使用的情况下，都可以使用匿名函数。

---

递归

递归函数是在一个函数通过名字调用自身的情况下构成的。
eg：

function factorial(num) {
    if(num <= 1) {
        return 1;
    } else {
        return num * factorial(num -1);
    }
}

arguments.callee是一个指向正在执行的函数的指针。但在严格模式下，不能通过脚本访问arguments.callee。
eg：

function factorial(num) {
    if (num <= 1) {
        return 1;
    } else {
        return num * arguments.callee(num - 1);
    }
}

var anotherFactorial = factorial;
factorial = null;
alert(anotherFactorial(5));

在严格模式下，可用如下方式进行递归，达到和使用arguments.callee相同的效果。

var factorial = (function f(num) {
    if (num < = 1) {
        return 1;
    } else {
        return num * f(num - 1);
    }
});

这里创建了一个名为f()的命名函数表达式，然后将它赋值给点亮factorial，这样即便把函数赋值给了另一个变量，函数的名字f仍然有效，所以递归照样能正确完成。

---

闭包

闭包是指有权访问另一个函数作用域中的变量的函数。创建闭包的常见方式，就是在一个函数内部创建另一个函数。
eg：

function createComparisonFunction(propertyName) {
    return function(object1, object2) {
        var value1 = object1[propertyName];
        var value2 = object2[propertyName];

        if(value1 < value2) {
            return -1;
        } else if (value1 > value2) {
            return 1;
        } else {
            return 0;
        }
    };
}

以上代码中的内部匿名函数可以访问外部函数中的变量propertyName，因为内部函数的作用域链中包含createComparisonFunction()作用域。

当函数第一次被调用时，会创建一个执行环境（execution context）及相应的作用域链，并把作用域链赋值给一个特殊的内部属性（即[[Scope]]）。然后，使用this、arguments和其他命名参数的值来初始化函数的活动对象（activation object）。在作用域链中，外部函数的活动对象始终处于第二位，外部函数的外部函数的活动对象处于第三位，……直至作为作用域链终点的全局执行环境。在函数执行过程中，为读取和写入变量的值，就需要在作用域链中查找变量。
eg：

function compare(value1, value2) {
    if (value1 < value2) {
        return -1;
    } else if (value1 > value2) {
        return 1;
    } else {
        return 0;
    }
}

var result = compare(5, 10);

后台的每个执行环境都有一个表示变量的对象——变量对象。全局环境的变量对象始终存在，局部环境的变量对象只在函数执行的过程中存在。

在创建局部函数时，会创建一个预先包含全局变量的作用域链，这个作用域链被保存在内部的[[Scope]]属性中。

调用局部函数时，会为函数创建一个执行环境，然后通过复制函数的[[Scope]]属性中的对象构建起执行环境的作用域链。

作用域链本质上是一个指向变量对象的指针列表，它只引用但不实际包含变量对象。

无论什么时候在函数中访问一个变量时，就会从作用域链中搜索具有相应名字的变量。一般来讲，当函数执行完毕后，局部活动对象就会被销毁，内存中仅保存全局作用域（全局执行环境的变量对象）。

在另一个函数内部定义的函数会将包含函数（即外部函数）的活动对象添加到它的作用域链中。

由于闭包会携带包含它的函数的作用域，因此会比其他函数占用更多的内存。过度使用闭包可能会导致内存占用过多，因此请在绝对必要时再考虑使用闭包。

---

闭包与变量

闭包只能取得包含函数中任何变量的最后一个值。
eg：

function createFunctions() {
    var result = new Array();

    for (var i=0; i < 10; i++) {
        result[i] = functon() {
            return i;
        };
    }

    return result;
}

以上代码中，每一个存入result中的匿名函数的作用域链中都保存着createFunctions()函数的活动对象，所以他们引用的都是同一个变量i。当createFunctions()函数返回后，变量i的值是10，此时每个函数都应用这保存变量i的同一个变量对象，所以每个函数内部i的值都是10。

---

关于this对象

this对象是在运行时基于函数的执行环境绑定的：在全局函数中，this等于window，而当函数作为某个对象的方法调用时，this等于那个对象。不过，匿名函数的执行环境具有全局性，因此其this对象通常指向window。
eg：

var name = "The Window";

var object = {
    name: "My Object",

    getNameFunc: function(){
        return function() {
            return this.name;
        };
    }
};

alert(object.getNameFunc()());      //"The Window"（在非严格模式下）

---

内存泄漏

IE9之前的版本对JScript对象和COM对象使用不同的垃圾收集例程，因此闭包在IE的这些版本中会导致一些特殊的问题。
eg：

function assignHandler() {
    var element = document.getElementById("someElement");

    element.onclick = function() {
        alert(element.id);
    };
}

由于匿名函数保存了一个对assignHandler()活动对象的引用，因此会导致无法减少element的引用数，因此它所占用的内存就永远不会被回收。
解决方法：

function assignHandler() {
    var element = document.getElementById("someElement");
    var id = element.id;

    element.onclick = function() {
        alert(id);
    };

    element = null;
}

---

模仿块级作用域

JavaScript从来不会告诉你是否多次声明了同一个变量；它只会对后续的声明视而不见（不过，它会执行后续声明中的变量初始化）。

用作块级作用域（通常称为私有作用域）的匿名函数的语法如下：

(function(){
    //这里是块级作用域
})();

以上代码定义并立即调用了一个匿名函数。将函数的声明包含在一对圆括号中，表示它实际是一个函数表达式。

无论在什么地方，只要临时需要一些变量，就可以使用私有作用域。
eg：

function outputNumbers(count) {
    (function(){
        for (var i = 0; i < count; i++) {
            alert(i);
        }
    })();

    alert(i);       //导致一个错误！
}

在匿名函数中定义的任何变量，都会在执行结束时被销毁。因此，变量i只能在循环中使用。

---

私有变量

严格来讲，JavaScript中没有私有成员的概念；所有对象属性都是公有的。
任何在函数中定义的变量，都可以认为是私有变量，因为不能在函数的外部访问这些变量。私有变量包括函数的参数、局部变量和在函数内部定义的其他函数。
eg：

function add(num1, num2) {
    var sum = num1 + num2;
    return sum;
}

在这个函数内部，有3个私有变量：num1、num2和sum。如果在这个函数中创建一个闭包，那么闭包通过自己的作用域链也可以访问这些变量，利用这一点，就可以创建用于访问私有变量的共有方法。

我们把有权访问私有变量和私有函数的公有方法称为特权方法（privileged method）。有两种在对象上创建特权方法的方式。
方式一：

function MyObject() {
    //私有变量和私有函数
    var privateVariable = 10;

    function privateFunction() {
        return false;
    }

    //特权方法
    this.publicMethod = function() {
        privateVariable++;
        return privateFunction();
    };
}

利用私有和特权成员，可以隐藏那些不应该被直接修改的数据。
eg：

function Person(name) {
    this.getName = function() {
        return name;
    };

    this.setName = function(value) {
        name = value;
    };
}

var person = new Person("Nicholas");
alert(person.getName());        //"Nicholas"
person.setName("Greg");
alert(person.getName());        //"Greg"

---

静态私有变量

通过在私有作用域中定义私有变量或函数，同样也可以创建特权方法。
基本模式：

(function(){
    //私有变量和私有函数
    var privateVariable = 10;

    function privateFunction(){
        return false;
    }

    //构造函数
    MyObject = function(){
    };

    //公有/特权方法
    MyObject.prototype.publicMethod = function() {
        privateVariable++;
        return privateFunction();
    };
})();

初始化一个未经声明的变量，总是会创建一个全局变量

(function(){
    var name = "";

    Person = function(value){
        name = value;
    };

    Person.prototype.getName = function(){
        return name;
    };

    Person.prototype.setName = function(value){
        name = value;
    };
})();

var person1 = new Person("Nicholas");
alert(person1.getName());       //"Nicholas"
person1.setName("Greg");
alert(person1.getName());       //"Greg"

var person2 = new Person("Michael");
alert(person1.getName());       //"Michael"
alert(person2.getName());       //"Michael"

以上例子中，构造函数Person和getName()以及setName()方法都有权访问私有变量name。在这种模式下，变量name变成了一个静态的、由所有实例共享的属性。

---

模块模式

模块模式是为单例创建私有变量和特权方法。
单例：指的就是只有一个实例的对象。
JavaScript以对象字面量的方式来创建单例对象。

var singleton = {
    name: value,
    method: function() {
        //这里是方法的代码
    }
};

模块模式语法：

var singleton = function() {
    
    //私有变量和私有方法
    var privateVariable = 10;
    
    function privateFunction(){
        return false;
    }
    
    //特权/公有方法和属性
    return {
        publicProperty: true,
        
        publicMethod: function(){
            privateVariable++;
            return privateFunction();
        }
    };
}();

---

增强的模块模式

var singleton = function(){
    //私有变量和私有函数
    var privateVariable = 10;

    function privateFunction(){
        return false;
    }

    //创建对象
    var object = new CustomType();

    //添加特权/公有属性和方法
    object.publicProperty = true;

    object.publicMethod = function(){
        privateVariable++;
        return privateFunction();
    };

    //返回这个对象
    return object;
}();