欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

第7章 函数表达式

程序员文章站 2022-03-18 20:17:34
...

定义函数有两种方式:

  • 函数声明
    语法:
    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);

第7章 函数表达式

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

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

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

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

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

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

第7章 函数表达式

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


闭包与变量

闭包只能取得包含函数中任何变量的最后一个值。
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;
}();
相关标签: JavaScript