第7章 函数表达式 7.1 闭包与私有域

闭包

看如下示例:

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 。即使这个内部函数被返回了,而且是在其他地方被调用了,但它仍然可以访问变量 propertyName 。之所以还能够访问这个变量,因为内部函数的作用域链中包createComparisonFunction() 的作用域。

在匿名函数从 createComparisonFunction() 中被返回后,它的作用域链被初始化为包含createComparisonFunction() 函数的活动对象和全局变量对象。这样,匿名函数就可以访问在createComparisonFunction() 中定义的所有变量。 更为重要的是, createComparisonFunction()函数在执行完毕后,其活动对象也不会被销毁,因为匿名函数的作用域链仍然在引用这个活动对象。换句话说,当 createComparisonFunction() 函数返回后,其执行环境的作用域链会被销毁,但它的活动对象仍然会留在内存中;直到匿名函数被销毁后, createComparisonFunction() 的活动对象才会被销毁

例如:

//创建函数

var compareNames = createComparisonFunction("name");

//调用函数

var result = compareNames({ name: "Nicholas" }, { name: "Greg" });//1

调用 compareNames() 的过程中产生的作用域链之间的关系如下图所示:

 

闭包与变量

作用域链的这种配置机制引出了一个值得注意的副作用, 即闭包只能取得包含函数中任何变量的最后一个值。闭包所保存的是整个变量对象,而不是某个特殊的变量。

示例如下:

function createFunctions(){

var result = new Array();

  for (var i=0; i < 10; i++){

   result[i] = function(){

   return i;

  };

}

  return result;

}

这个函数会返回一个函数数组。表面上看,似乎每个函数都应该返自己的索引值,但实际上,每个函数都返回 10。因为每个函数的作用域链中都保存着 createFunctions() 函数的活动对象,所以它们引用的都是同一个变量 i 。当createFunctions() 函数返回后,变量 i 的值是 10,此时每个函数都引用着保存变量 i 的同一个变量对象,所以在每个函数内部 i 的值都是 10。

可以通过创建另一个匿名函数强制让闭包的行为符合预期:

function createFunctions(){

  var result = new Array();

  for (var i=0; i < 10; i++){

    result[i] = function(num){

                 return function(){

                   return num;

                 };

              }(i);

  }

  return result;

}

例子中,我们没有直接把闭包赋值给数组,而是定义了一个匿名函数,并将立即执行该匿名函数的结果赋给数组。这里的匿名函数有一个参数 num ,也就是最终的函数要返回的值。在调用每个匿名函数时,我们传入了变量 i 。由于函数参数是按值传递的,所以就会将变量 i 的当前值复制给参数 num 。而在这个匿名函数内部,又创建并返回了一个访问 num 的闭包。这样一来, result 数组中的每个函数都有自己num 变量的一个副本,因此就可以返回各自不同的数值了。

 this 对象

this对象是在运行时基于函数的执行环境绑定的:在全局函数中, this 等于 window ,而当函数被作为某个对象的方法调用时, this 等于那个对象。不过,匿名函数的执行环境具有全局性,因此其 this 对象通常指向 window。但有时候由于编写闭包的方式不同,这一点可能不会那么明显。

如下示例:

var name = "The Window";

var object = {

  name : "My Object",

   getNameFunc : function(){

    return function(){

      return this.name;

   };

  }

};

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

以上代码先创建了一个全局变量 name ,又创建了一个包含 name 属性的对象。这个对象还包含一个方法getNameFunc() , 它返回一个匿名函数, 而匿名函数又返回 this.name 。 由于 getNameFunc()返回一个函数,因此调用 object.getNameFunc() 就会立即调用它返回的函数。而每个函数在被调用时都会自动取得两个特殊变量: this 和 arguments 。内部函数在搜索这两个变量时,只会搜索到其活动对象为止,因此永远不可能直接访问外部函数中的这两个变量。

 

模仿块级作用域

JavaScript 没有块级作用域的概念。这意味着在块语句中定义的变量,实际上是在包含函数中而非语句中创建的。而且JavaScript从来不会告诉你是否多次声明了同一个变量,遇到这种情况,它只会对后续的声明视而不见,不过,它会执行后续声明中的变量初始化。

不过匿名函数可以用来模仿块级作用域并避免这个问题:

(function(){

//这里是块级作用域

})();

将函数声明包含在一对圆括号中,表示它实际上是一个函数表达式。而紧随其后的另一对圆括号会立即调用这个函数。

无论在什么地方,只要临时需要一些变量,就可以使用私有作用域,例如:

function outputNumbers(count){

 (function () {

   for (var i=0; i < count; i++){

     alert(i);

   }

 })();

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

}

在这个重写后的 outputNumbers() 函数中,我们在 for 循环外部插入了一个私有作用域。在匿名函数中定义的任何变量, 都会在执行结束时被销毁。 因此, 变量 i 只能在循环中使用, 使用后即被销毁。而在私有作用域中能够访问变量 count ,是因为这个匿名函数是一个闭包,它能够访问包含作用域中的所有变量。

私有变量

     任何在函数中定义的变量, 都可以认为是私有变量, 因为不能在函数的外部访问这些变量。私有变量包括函数的参数、局部变量和在函数内部定义的其他函数。

如果在这个函数内部创建一个闭包,那么闭包通过自己的作用域链也可以访问这些变量。而利用这一点,就可以创建用于访问私有变量的公有方法称为特权方法。有两种在对象上创建特权方法的方式。

第一种是在构造函数中定义特权方法,如下所示:

function MyObject(){

  //私有变量和私有函数

  var privateVariable = 10;

  function privateFunction(){

    return false;

  }

  //特权方法

  this.publicMethod = function (){

   privateVariable++;

   return privateFunction();

  };

}

在创建 MyObject 的实例后,除了使用 publicMethod() 这一个途径外,没有任何办法可以直接访问 privateVariable 和 privateFunction() 。

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

例如:

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"

    以上代码的构造函数中定义了两个特权方法: getName() 和 setName() 。这两个方法都可以在构造函数外部使用, 而且都有权访问私有变量 name 。 但在 Person 构造函数外部, 没有任何办法访问 name 。由于这两个方法是在构造函数内部定义的,它们作为闭包能够通过作用域链访问 name 。私有变量 name在 Person 的每一个实例中都不相同,因为每次调用构造函数都会重新创建这两个方法。不过,在构造函数中定义特权方法也有一个缺点,每个实例都会创建同样一组新方法,而使用静态私有变量来实现特权方法就可以避免这个问题。

静态私有变量

通过在私有作用域中定义私有变量或函数,同样也可以创建特权方法,示例如下:

(function(){

  //私有变量和私有函数

  var privateVariable = 10;

  function privateFunction(){

     return false;

  }

  //构造函数

  MyObject = function(){

  };

  //公有/特权方法

  MyObject.prototype.publicMethod = function(){

    privateVariable++;

    return privateFunction();

  };

})();

这个模式创建了一个私有作用域,并在其中封装了一个构造函数及相应的方法。在私有作用域中,首先定义了私有变量和私有函数,然后又定义了构造函数及其公有方法。公有方法是在原型上定义的,这一点体现了典型的原型模式。

需要注意的是,这个模式在定义构造函数时并没有使用函数声明,而是使用了函数表达式。函数声明只能创建局部函数,但那并不是我们想要的。出于同样的原因,我们也没有在声明 MyObject 时使用 var 关键字。

初始化未经声明的变量,总是会创建一个全局变量。因此, MyObject 就成了一个全局变量,能够在私有作用域之外被访问到。

这个模式与在构造函数中定义特权方法的主要区别,就在于私有变量和函数是由实例共享的。由于特权方法是在原型上定义的,因此所有实例都使用同一个函数。而这个特权方法,作为一个闭包,总是保存着对包含作用域的引用。看如下所示代码:

(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"

    这种模式下,变量 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 application = function(){

  //私有变量和函数

  var components = new Array();

  //初始化

  components.push(new BaseComponent());

  //公共

  return {

   getComponentCount : function(){

     return components.length;

   },

   registerComponent : function(component){

     if (typeof component == "object"){

       components.push(component);

     }

   }

  };

}();

    在Web应用程序中,经常需要使用一个单例来管理应用程序级的信息。这个简单的例子创建了一个用于管理组件的 application 对象。 在创建这个对象的过程中, 首先声明了一个私有的 components数组,并向数组中添加了一个 BaseComponent 的新实例(在这里不需要关心 BaseComponent 的代码,我们只是用它来展示初始化操作) 。

    而返回对象的 getComponentCount() 和 registerComponent() 方法,都是有权访问数组components 的特权方法。前者只是返回已注册的组件数目,后者用于注册新组件。

    简言之,如果必须创建一个对象并以某些数据对其进行初始化,同时还要公开一些能够访问这些私有数据的方法,那么就可以使用模块模式。以这种模式创建的每个单例都是 Object 的实例,因为最终要通过一个对象字面量来表示它。事实上,这也没有什么;毕竟,单例通常都是作为全局对象存在的,我们不会将它传递给一个函数。因此,也就没有什么必要使用 instanceof 操作符来检查其对象类型了。

增强的模块模式

即在返回对象之前加入对其增强的代码。这种增强的模块模式适合那些单例必须是某种类型的实例,同时还必须添加某些属性和(或)方法对其加以增强的情况。

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;

}();

 如果前面演示模块模式的例子中的 application 对象必须是 BaseComponent 的实例,那么就可以使用以下代码:

var application = function(){

  //私有变量和函数

  var components = new Array();

  //初始化

  components.push(new BaseComponent());

  //创建 application 的一个局部副本

  var app = new BaseComponent();

//公共接口

app.getComponentCount = function(){

return components.length;

};

app.registerComponent = function(component){

if (typeof component == "object"){

components.push(component);

}

};

//返回这个副本

return app;

}();

    在这个重写后的应用程序(application)单例中,首先也是像前面例子中一样定义了私有变量。主要的不同之处在于命名变量 app 的创建过程, 因为它必须是 BaseComponent 的实例。 这个实例实际上是 application 对象的局部变量版。此后,我们又为 app 对象添加了能够访问私有变量的公有方法。最后一步是返回 app 对象,结果仍然是将它赋值给全局变量 application 。

原文地址:https://www.cnblogs.com/shanhm1991/p/4517950.html