函数声明和函数表达式
实际上解析器在向执行环境中加载数据时，对函数声明和函数表达式并非一视同仁。
JavaScript运行机制浅探 中了解到对于解释型语言来说，编译步骤为：
- 词法分析（将字符流转换为记号流，是一对一的硬性翻译得到的是一堆难理解的记号流）
- 语法分析（这里进行所谓的变量提升操作，其实我觉得是把这些提升的变量保存在语法树中。要构造语法树，若发现无法构造就会报语法错误，并结束整个代码块的解析）
- 之后可能有语义检查，代码优化等。得到语法树后就开始解释执行了。解释性语言没有编译成二进制代码而是从语法树开始执行。
解析器会先读取函数声明，并使其在执行任何代码之前可用。至于函数表达式，则必须等到执行阶段才会被真正赋值。什么意思呢？虽然两者都进行了变量提升，待真正执行时构造活动对象从语法树种取声明添加到执行环境中，但一个是函数提升，一个是变量提升。
//函数声明 console.log(func);//function func(){} function func(){ } //函数表达式 console.log(func1);// undefined var func1=function(){}; console.log(func1);// function(){}
作为值的函数
因为ECMAScript中的函数名本身就是变量，所以函数也可以作为值来使用。不仅可以像传递参数一样把一个函数传递给另一个函数，而且可以将一个函数作为另一个函数的结果返回。
function callSomeFunction(someFunction,someArgument){ return someFunction(someArgument); } function concated(str){ return "Hi "+str; } callSomeFunction(concated,'xx');// 'Hi xx'
从一个函数中返回另一个函数的应用：假设有一个对象数组，想要根据某个对象属性对数组进行排序，但传给 sort() 方法的比较函数要接收两个参数，即要比较的值。我们需要一种方式来指明按照哪个属性来排序。我们可以定义一个函数它接收一个属性名，然后根据这个属性名来创建一个比较函数。默认情况下， sort 函数会调用每个对象的 toString() 方法以确定它们的次序。
function createCompare(property){ return function(obj1,obj2){ var value1=obj1[property], value2=obj2[property]; if(value1<value2) return -1; else if(value1>value2) return 1; else return 0; } }
var data=[{name:'aa',age:20},{name:'bb',age:12},{name:'cc',age:30}]; data.sort(createCompare("age"));// [{name:'bb',age:12},{name:'aa',age:20},{name:'bb',age:30}]
闭包
闭包是指有权访问另一个函数作用域中的变量的函数。创建闭包的常见方式，就是在一个函数内部创建另一个函数。之所以能够访问外部作用域的变量，是因为内部函数的作用域链中包含外部作用域。当一个函数被调用的时候，
- 创建一个执行环境（execution context）及相应的作用域链
- 使用 arguments 和其他命名参数的值来初始化活动对象（activation object），但在作用域链中，外部函数的活动对象始终始终处于第二位...直至作为作用域链终点的全局执行环境。
function compare(value1,value2){ if(value1<value2){ return -1; }else if(value1>value2){ return 1; }else{ return 0; } } var result=compare(5,10);
当调用 compare() 时，会创建一个包含 arguments ， value1 ， value2 的活动对象，全局执行环境的变量对象（包含 result 和 compare ）在 compare() 执行环境的作用域链中处于第二位。
后台的每个执行环境都有一个表示变量的对象（变量对象），全局环境的变量对象始终存在，而像 compare() 函数这样的局部环境的变量对象，则只在函数执行过程中存在。在创建 compare() 函数时，会创建一个预先包含全局对象的作用域链，这个作用域链被保存在 compare 内部的 [[Scope]] 属性中。当调用 compare() 函数时，会为函数创建一个执行环境，然后通过复制函数的 [[Scope]] 属性中的对象构建起执行环境的作用域链。此后又有一个活动对象被创建并被推入执行环境作用域链的最前端。对于这个例子中， compare 函数的执行环境而言，其作用链包含两个变量对象：本地活动对象和全局变量对象。显然，作用域链的本质上是一个指向变量对象的指针列表，它只引用但不包含实际的变量对象。
无论什么时候在函数中访问一个变量，就会从作用域链中搜索具有相应名字的变量，一般来讲当函数执行完后，局部活动对象会被销毁，内存中仅保留着全局作用域（全局执行环境的变量对象）。但是闭包的情况又有所不同。在另一个函数内部定义的函数会将包含函数（外部函数）的活动对象添加到它的作用域链里，当外部函数执行完后其活动对象不会被销毁，因为匿名函数的作用域链仍然在引用这个活动对象。换句话说只是外部函数它自己的作用域链被销毁，但活动对象还存在内存中。直到内部函数被销毁后（例如在外部解除了对闭包即内部函数的引用： func=null; ，解除相当于是闭包仅是执行完后），外部函数的活动对象才会被销毁。
由于闭包会携带包含它的函数的作用域，因此会比其他函数占用更多的内存。过多使用闭包可能会导致内存占用过多，建议只在绝对必要再考虑使用。但有的优化后的JavaScript引擎如V8会尝试回收被闭包占用的内存。
闭包缺点：作用域链的这种配置机制引出了一个副作用即闭包只能取得包含函数中任何变量的最后一个值。因为闭包保存的是整个变量对象，而不是某个特殊的变量。
function createFunctions(){ var result=new Array(); for(var i=0;i<3;i++){ result[i]=function(){ return i; }; } return result; }
createFunctions()[0]();// 3
createFunctions()[1]();// 3
createFunctions()[2]();// 3
当执行 createFunctions 时，它的活动对象里有 arguments=[] ， result=undefiend ， i=undefiend ，执行完 createFunctions 后， result=[function(){return i},function(){return i},function(){return i}]，i=3 ；当此时执行 result 数组时，访问到的i的值总是为3，因为沿着 function(){return i;} 的作用域链查找变量，在外层函数的活动对象上找到i总是为3。数组中每个函数的作用域链中都保存着 createFunctions 的活动对象，所以这些函数们引用的都是同一个活动对象，同一个变量i。
解决方案：要的就是当时执行时的变量i，那么当时把这个i临时保存一下就可以了，但是保存在哪呢？将i保存在 function(){returni;} 的活动对象中，怎么保存呢？传给 arguments 就好了，只传进来还不行
function createFunctions(){ var result=new Array(); for(var i=0;i<3;i++){ result[i]=function(i){ return i; }; } return result; } createFunctions()[0]();// undefiend
因为访问i的时候先从自己所在函数的执行环境的活动对象搜索起，找到i发现 i=undefiend 有值就停止向上搜索了。问题就出在上一步中将i保存在活动对象中， result[i]=function(i){return i;} 这句的执行并没有给匿名函数传参，这只是表达式的赋值操作，又不是执行匿名函数。所以现在需要的就是通过某种方式去执行函数的操作把i的值当实参传进去，简单！在匿名函数外部加一层立即执行的匿名函数（这也增加了一层作用域了）。
function createFunctions(){ var result=new Array(); for(var i=0;i<3;i++){ result[i]=(function(i){ return function(){ return i; } })(i); } return result; } createFunctins()[0]();// 0
this对象
this 对象是在运行时基于函数的执行环境绑定的：
- 全局函数中， this 等于 window
- 函数被作为某个对象的方法调用时， this 等于那个对象
- 匿名函数的执行环境具有全局性， this 指向 window
- 通过 call() 或 apply() 改变函数执行环境的情况下， this 就会指向其他对象。
由于闭包编写的方式不同， this 的表现：
var name="the window"; var obj={ name:"the obj", getNameFunc:function(){ //console.log(this==obj); return function(){ console.log(this.name); } } } obj.getNameFunc()();// the window
obj.getNameFunc() 返回了一个新函数，然后在再全局环境中执行该函数。为什么匿名函数没有取得其包含作用域（外部作用域）的 this 对象呢？每个函数在被调用时，都会自动获得两个特殊的变量： this （创建作用域时获得）和 arguments （创建活动对象获得），内部函数在搜索这两个变量时，只会搜索到自己的活动对象为止，因此永远不可能直接访问外部函数的这两个变量。不过把外部函数作用域的 this 保存在一个闭包能够访问到的变量里就可以让闭包访问该对象了。
下面几种情况特殊的 this ：
var name="the window"; var obj={ name:"the obj", getName:function(){ return this.name; } }; obj.getName();// "the obj" (obj.getName)();// "the obj" (obj.getName=obj.getName)();// "the window"
第一个是直接调用，第二个是调用后立即执行的表达式，第三个是执行了一条赋值语句，然后再调用返回的结果，赋值语句的返回了一个函数，然后全局环境下调用这个函数，见下图
模仿块级作用域
function outputNumber(count){ for(var i=0;i<count;i++){ console.log(i); } var i;// 只变量提升，到后面执行代码步骤时候略过此 console.log(i); } outputNumber(3);// 0 1 2 3
JavaScript不会告诉你是否多次声明了同一个变量，遇到这种情况，它只会对后续的声明视而不见（不过它会执行后续声明中的变量初始化）。
匿名函数可以用来模仿块级作用域（私有作用域），语法如下：
(function(){ //这里是块级作用域 })();
以上代码定义并立即调用了一个匿名函数，将函数声明包含在一对圆括号中，表示它实际上是一个函数表达式。对于这种语法的理解：
var count=5; outputNumbers(count);
这里初始化了变量 count 将其值设为5。但是这里的变量是没有必要的，因为可以把值直接传给函数 outputNumbers(5); 这样做之所以可行，是因为变量不过是值的另一种表现形式，因此用实际的值替换变量没有问题。
var someFunc=function(){ //这里是块级作用域 }; someFunc();
既然可以使用实际的值来取代变量 count ，那这里也用实际的值替换函数名。
function(){ //这里是块级作用域 }();
然而会报错，是因为JavaScript将 function 关键字当作一个函数声明的开始，而函数声明后面不能跟圆括号。但是函数表达式后面可以圆括号，这也就是为什么这样可以执行
var someFunc=function(){ //这里是块级作用域 }();
要将函数声明转化为函数表达式，
(function(){ //这里是块级作用域 })();
function outputNumber(count){ (function(){ for(var i=0;i<count;i++){ console.log(i); } })(); console.log(i);// 报错 } outputNumber(3);// 0 1 2
在 for 循环外边加了一个私有作用域，在匿名函数中定义的任何变量都会在执行结束时被销毁。在私有作用域中访问变量 count ，是因为这个匿名函数是一个闭包，它能访问包含作用域的所有变量。这种技术经常在全局作用域中被用在函数外部从而限制向全局作用域中添加过多的变量和函数。这种做法还可以减少闭包占用内存问题，因为没有指向匿名函数的引用，只要函数执行完毕，就可以立即销毁其作用域链了。
私有变量
严格来讲，JavaScript中没有私有成员的概念，所有对象属性都是公有的。不过有私有变量的概念，任何在函数中定义的变量，都可认为是私有变量，因为不能在函数外部访问这些变量。私有变量包括函数的参数，局部变量，在函数内定义的其他函数。如果在函数内部创建一个闭包，那么闭包通过自己的作用域也可以访问这些变量。利用这一点创建用于访问私有变量的公有方法。
把有权访问私有变量和私有函数的方法叫特权方法（privileged method）。
- 两种在自定义对象上创建特权方法的方式
- 在构造函数中定义特权方法
function MyObject(){ //私有变量和私有函数 var privateVariable=10; function privateFunction(){ return false; } // 特权方法 this.publicMethod=function(){ privateVariable++; return privateFunction(); }; }
new MyObject();
这个模式在构造函数内部定义了所有私有变量和函数，又继续创建了能够访问这些私有成员的特权方法。能在构造函数中定义特权方法是因为特权方法作为闭包有权访问在构造函数中定义的所有变量和函数。对这个例子而言，变量 privateVariable 和方法 privateFunction 只能通过特权方法 publicMethod 访问。在创建 MyObject 实例后除了使用 publicMethod() 这一途径外没任何办法可以直接访问私有变量和函数。
利用私有和特权成员，可以隐藏那些不应该被直接修改的数据
function Person(name){ this.getName=function(){ return name; }; this.setName=function(value){ name=value; }; } var p1=new Person("aa"); p1.getName();// "aa" var p2=new Person("bb"); p2.getName();// "bb" p1.getName();// "aa"
以上方法定义两个特权方法，在 Person 构造函数外部没有任何办法直接访问 name ，由于这两个方法是在构造函数内部定义的，它们作为闭包能够通过作用域链访问 name 。私有变量 name 在每个 Person 实例都不相同，这么说吧，每次调用构造函数都会重新创建这两个方法， p1.getName 和 p2.getName 是不同的函数，虽然调用的是内存中同一个 Person 函数。但 new 构造新实例的步骤是：先创建新实例对象；再在该实例上调用 Person 函数初始化作用域及作用域链 this 等；再添加属性等。不管换成是
var o1={},o2={}; Person.call(o1,'aa'); Person.call(o2,'bb'); o1.getName();// "aa"
还是换成
function Person(obj,name){ obj.getName=function(){ return name; }; obj.setName=function(value){ name=value; }; } var o1={},o2={}; Person(o1,"aa"); Person(o2,"bb"); o1.getName();// "aa"
都调用了两次 Person ，因为每次调用 Person 就会初始化 Person 的作用域，所以 p1.getName 和 p2.getName 所处的外围作用域是不一样的（之前还认为因为是调用了内存中同一个 Person ，以为 p1.getName 和 p2.getName 有同一个外围作用域，没考虑到每次调用函数实例都会重新初始化作用域）。
缺点：在构造函数中定义特权方法要求你必须使用构造函数模式来达到这个目的。构造函数模式的缺点是针对每个实例都会创建同一组新方法，使用静态私有变量来实现特权方法就可以避免这个问题。 静态私有变量
通过在私有作用域中定义私有变量和函数，也可以创建特权方法。基本模式如下：
(function(){ //私有变量和私有函数 var privateVariable=10; function privateFunction(){ return false; } //构造函数 MyObject=function(){}; //公有/特权方法 MyObject.prototype.publicMethod=function(){ privateVariable++; return privateFunction(); }; })();
这个模式创建了个私有作用域，并在其中封装了一个构造函数和相应方法。公有方法在原型上定义，这一点体现典型原型模式。注意到这个模式在定义构造函数时并没使用函数声明，而是使用函数表达式，因为函数声明只能创建局部函数，我们也没有在声明 MyObject 时使用 var 关键字，就是想让它成为一个全局变量，能够在私有作用域之外被访问。但严格模式下未经声明的变量赋值会导致出错。可以修改为
'use strict'; var MyObject; (function(){ //私有变量和私有函数 var privateVariable=10; function privateFunction(){ return false; } //构造函数 MyObject=function(){}; //公有/特权方法 MyObject.prototype.publicMethod=function(){ privateVariable++; return privateFunction(); }; })();
其实我觉得不用立即执行的匿名函数也可以实现这种在私有作用域中定义私有变量函数的模式，只要把这些放在一个函数中就可以了，然后再执行这个函数。
function staticFunction(){ //私有变量和私有函数 var privateVariable=10; function privateFunction(){ return false; } //构造函数 MyObject=function(){}; //公有/特权方法 MyObject.prototype.publicMethod=function(){ privateVariable++; return privateFunction(); }; } staticFunction();
-----分割线----
这种模式在与构造函数中定义特权方法的主要区别就在于私有变量和函数是由实例共享的因为只调用了即只初始化了一次父环境（意思就是 p1.getName 和 p2.getName 所在的父环境都是同一个，不像构造函数模式中那样拥有各自父环境）。由于特权方法是在原型上定义的，因此所有实例都使用同一个函数。而这个特权方法作为一个闭包总是保存着对包含作用域的引用。
(function(){ var name=""; Person=function(value){ name=value; }; Person.prototype.getName=function(){ return name; }; Person.prototype.setName=function(value){ name=value; }; })(); var p1=new Person("aa"); p1.getName();// "aa" var p2=new Person("bb"); p2.getName();// "bb" p1.getName();// "bb"
Person 构造函数和 getName 和 setName 都有权访问私有变量 name 。在这种模式下，变量 name 就成了一个静态的，由所有实例共享的属性。在一个实例上调用 setName() 会影响所有实例。
以这种模式创建静态私有变量会因为使用原型而增进代码复用，但每个实例都没有自己的私有变量。
多查找作用域链中的一个层次，就会在一定程度上影响查找速度，这正是使用闭包和私有变量的一个不足之处。
- 模块模式：前面的模式用于为自定义类型创建私有变量和特权方法。道格拉斯所说的模块模式则是为单例创建私有变量和特权方法，所谓单例（singleton）指的就是只有一个实例的对象，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(); } } }();
在web应用程序中，经常需要使用一个单例来管理应用程序级的信息。如果必须创建一个对象并以某些数据对其进行初始化，同时还要公开一些能够访问这些私有数据的方法，那就可以使用模块模式。这种模式创建的每个单例都是 Object 的实例。
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); } } } }();
- 增强的模块模式：如果想让单例是某种类型的实例，改进了模块模式，在返回对象之前加入对其增强的代码。同时还必须添加某些属性和方法对其加以增强。
var singleton=function(){ //私有变量和私有函数 var privateVariable=10; function privateFunction(){ return false; } //创建对象 var obj=new CustomType(); //添加特权/公有属性和方法 obj.publicProperty=true; obj.publicMethod=function(){ privateVariable++; return privateFunction(); } return obj; }();
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; }();
闭包的作用总结：
- 使用闭包可以在JavaScript中模仿块级作用域
创建并立即调用一个函数，这样既可以执行其中代码，又不会在内存中留下对该函数的引用。结果就是函数内部的所有变量都会被立即销毁除非将某些变量赋值给了包含作用域中的变量 - 闭包还可用于在对象中创建私有变量
通过闭包来实现公有方法，通过公有方法可以访问在包含作用域中定义的变量。有权访问私有变量的公有方法叫特权方法。可以使用构造函数模式，原型模式来实现自定义类型的特权方法，使用模块模式，增强的模块模式实现单例的特权方法。
扫一扫
770
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
