JavaScript函数表达式

声明：本人的所有博客皆为个人笔记，作为个人知识索引使用，因此在叙述上存在逻辑不通顺、跨度大等问题，希望理解。分享出来仅供大家学习翻阅，若有错误希望指出，感谢！

函数表达式

函数声明与函数表达式区别

• 函数声明：

  • 函数声明最重要的一个特征就是函数声明提升，意思是在执行代码之前会先读取函数声明，这就意味着可以把函数声明放在调用它的语句后面，而函数表达式不可

• 匿名函数：

  • 既函数表达式，因为function后面没有标识符
  • 把函数当成值来使用的情况下，都可以使用匿名函数

• 不能把函数声明放在if语句中，但是可以把函数表达式放在if语句中

  //以下语法形式是错误的
  if(condition){
      function 函数名(……){……A}
  }else{
      function 函数名(……){……B}
  }
  //以下语法形式是正确的
  var 函数名;
  if(condition){
      函数名 = function (……){……A}
  }else{
      函数名 = function (……){……B}
  }
  

递归

• 用函数名做递归有风险，由于JavaScript中函数是一个对象，故函数名不唯一，但函数内部使用递归时，只能指定一个函数名，若该函数名已被弃用，则会发生错误，故使用arguments.callee更安全

• arguments.callee是一个指向函数自身的指针，使用arguments.callee来实现递归，可以摆脱函数名的约束

• 严格模式下不能使用arguments.callee，可以使用命名函数表达式实现相同的结果

  var 函数名 = (function f(传入参数){	//创建一个名为f()的命名函数，将其赋值给另一个变									   量，函数的名字f()仍然有效
      函数体;
      f(递归传入参数);
      …………
  });
  

  • 这种方式在严格模式下也行得通

闭包

• 闭包是指有权访问另一个函数作用域中的变量的函数

• 闭包的常见方式就是在一个函数内部创建另一个函数

• 变量对象： 变量对象定义着执行上下文下的所有变量、函数以及当前执行上下文函数的参数列表。也就是说变量对象定义着一个函数内定义的参数列表、内部变量和内部函数

  • 全局环境的变量对象始终存在，而普通函数的局部环境的变量对象，只在函数执行过程中存在
  • 创建函数时，会创建一个预先包含全局变量对象的作用域链，这个作用域链保存在内部的 [[Scope]] 属性中，当调用该函数时，会为它创建一个执行环境，然后通过复制函数的 [[Scope]] 属性中的对象构建起执行环境的作用域链
    • 作用域链本质上是一个指向变量对象的指针列表，只引用但不实际包含变量对象

• 活动对象： 未进入执行阶段之前，变量对象中的属性都不能访问，但是进入执行阶段之后，变量对象转变为了活动对象，里面的属性都能被访问了，然后开始进行执行阶段的操作。所以活动对象实际就是变量对象在真正执行时的另一种形式。

function A(){
    …………
    return function(……){……}
}
var B = A();

• A()执行完毕后，由于其内部匿名函数的作用域链仍然在引用A()的活动对象，故A()的执行环境的作用域链会被销毁，但它的活动对象仍然会留在内存中，直到其内部匿名函数被销毁，A()的活动对象才会被销毁
• 由于闭包会携带包含它的函数的作用域，因此会比其他函数占用更多的内存，故要慎重使用闭包

闭包与变量

闭包只能取得包含函数中任何变量的最后一个值（如果该值会变的话），因为闭包保存的是整个变量对象，而不是某个特殊的值

this对象

当函数被作为某个对象的方法调用时，this等于那个对象

每个函数在被调用时都会自动取得两个特殊变量：this和arguments，内部函数在搜索这两个变量时，只会搜索到其活动对象为止，因此永远不可能直接访问外部函数中的这两个变量，不过，把外部作用域的this对象保存在一个闭包能够访问到的变量里，就可以让闭包访问该对象了

var A = {		//A是一个对象
    属性名B : 属性值B,
    …………
    C : function(){		//C()是A的一个方法，可以访问A的属性
		var that = this;	//此处的this就是A，通过that来访问this
         …………
         return function(){		//该匿名方法位于C()的内部，故引用了C()的活动对象，而that								 在C()的活动对象中，故该匿名函数可以访问that
             使用that访问A的属性方法
         }
    }
}

arguments与this存在同样的问题，如果想访问作用域中的arguments对象，必须将arguments保存在另一个闭包能够访问的变量中

内存泄漏

如果闭包的作用域链中保存着一个HTML元素，则该元素将无法被销毁

（后续待补充……）

模仿块级作用域

JavaScript中没有块级作用域的概念，这意味着在块语句中定义的变量，实际上是在包含函数中而非语句中创建的

注意：JavaScript从来不会告诉你是否多次声明了同一个变量，当多次声明同一个变量时，JavaScript会对第一个之后的变量视而不见

匿名函数可以用来模仿块级作用域

(function(){		//本质上是一个立即执行的匿名函数，函数拥有自己独立的作用域，以此替代块级作用域
    //此处为块级作用域
})();

JavaScript将function当作一个函数声明的开始，而函数声明后面不能不能跟圆括号，但函数表达式后面可以跟圆括号

由于匿名函数没有指向它的引用，故匿名函数执行完成后就可以立即销毁其作用域，省空间

私有变量

• JavaScript中没有私有成员概念，所有对象属性都是公有的
• 但是，在任何函数中定义的变量，都可以看作私有变量，因为不能在函数外部访问这些变量
• 私有变量包括函数的参数，局部变量，和在函数内部定义的其它函数

特权方法

把有权访问私有变量和私有函数的公共方法称为特权方法

有两种在对象上创建特权方法的方式：

在构造函数中定义特权方法

function 构造函数(){
	var 私有变量 = 值;
    function 私有方法(){…………}
    //以下为特权方法，特权方法作为构造函数的闭包，有权访问构造函数中定义的变量和方法
    this.get私有变量 = function(){		
        return 私有变量;
    }
    this.get私有方法 = function(){
        return 私有方法();
    }
}

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

function A (B){		//B被隐藏，只能靠getB()和setB()访问
    this.getB = function(){
        return B;
	}
    this.setB(C){
        B=C;
    }
}

在构造函数中定义特权方法的缺点：

必须使用构造函数来实现这个目的，因此也拥有构造函数模式的缺陷，既针对 每个实例都会创建一组相同的新方法，无法实现函数复用

使用静态私有变量实现特权方法

在私有作用域中定义私有变量或函数，创建特权方法

(function(){
    var 私有变量 = 值;	//此种方法下的私有变量是静态的，归所有实例共享
    function 私有方法(){…………}
    
    构造函数 = function(){};	//没有使用var关键字，相当于创建全局变量,可以在外部使用该构造函数
    构造函数.prototype.get私有变量 = function(){		
        return 私有变量;
    }
    构造函数.prototype.get私有方法 = function(){	//特权方法是在原型上定义的，可以实现复用
        return 私有方法();
    }
})();		//立即执行
var A = new 构造函数();		//在函数外部使用构造函数
A.私有变量名/私有方法名();	//访问私有变量和私有方法

缺点：多查找作用域链中的一个层次，就会在一定程度上影响查找速度

模块模式

JavaScript是以对象字面量的形式来创建单例对象的

模块模式通过为单例对象添加私有变量和特权方法使其得到增强

var A = function(){
	var 私有变量 = 值;
    function 私有方法(){…………}
    
    return {	//返回一个对象，该对象可以访问私有变量和私有方法
        公有变量 : 值,
        公有方法 : function(……){……},
        特权方法 : function(){
            return 私有变量/私有方法();
	    }
    }
}();	//立即执行，将返回值赋予A

这种模式在需要对单例进行某些初始化，同时有需要维护其私有变量时是非常有用的

增强的模块模式

在返回对象之前加入对其增强的代码

这种增强的模块模式适合那些单例必须是某种特定类型的实例，同时还必须添加某些属性和方法对其加以增强的情况

var A = function(){
    var 私有变量 = 值;
    function 私有方法(){…………}
    
    var object = new B();		//B为特定类型的构造函数
    object.公有变量 = 值;
    object.公有方法 = function(……){……},
    object.特权方法 = function(){
            return 私有变量/私有方法();
	}
    return object;
}();	//立即执行，将这个增强的对象object返回给变量A