你的位置:首页 > Java教程

[Java教程]详解Javascript Function陷阱


  Javascript Function无处不在,而且功能强大!通过Javascript函数可以让JS具有面向对象的一些特征,实现封装、继承等,也可以让代码得到复用。但事物都有两面性,Javascript函数有的时候也比较“任性”,你如果不了解它的“性情”,它很可能给你制造出一些意想不到的麻烦(bugs)出来。  

  Javascript Function有两种类型:

  1)函数声明(Function Declaration);

  // 函数声明  function funDeclaration(type){    return type==="Declaration";  }

  2)函数表达式(Function Expression)。

  // 函数表达式  var funExpression = function(type){    return type==="Expression";  }

  上面的代码看起来很类似,感觉也没什么太大差别。但实际上,Javascript函数上的一个“陷阱”就体现在Javascript两种类型的函数定义上。下面看两段代码(分别标记为代码1段和代码2段):

1   funDeclaration("Declaration");//=> true2   function funDeclaration(type){3     return type==="Declaration";4   }

1   funExpression("Expression");//=>error2   var funExpression = function(type){3     return type==="Expression";4   }

  用函数声明创建的函数funDeclaration可以在funDeclaration定义之前就进行调用;而用函数表达式创建的funExpression函数不能在funExpression被赋值之前进行调用。
为什么会这样呢?!这就要理解Javascript Function两种类型的区别:用函数声明创建的函数可以在函数解析后调用(解析时进行等逻辑处理);而用函数表达式创建的函数是在运行时进行赋值,且要等到表达式赋值完成后才能调用。
这个区别看似微小,但在某些情况下确实是一个难以发现的陷阱。出现这个陷阱的本质原因体现在这两种类型在Javascript function hoisting(函数提升)和运行时机(解析时/运行时)上的差异。关于变量提升,可参见我的另外一篇博文http://www.cnblogs.com/isaboy/p/javascript_hoisting.html。上面两段代码的函数提升可示意为下图:

代码1段JS函数等同于:
  function funDeclaration(type){    return type==="Declaration";  }  funDeclaration("Declaration");//=> true

代码2段JS函数等同于:
  var funExpression;  funExpression("Expression");//==>error  funExpression = function(type){    return type==="Expression";  }

  上述代码在运行时,只定义了funExpression变量,但值为undefined。因此不能在undefined上进行函数调用。此时funExpression赋值语句还没执行到。为了进一步加深JS函数两种类型的区别,下面给出一个更具迷惑性的示例,请看下面的代码(代码段4):

 1   var sayHello; 2   console.log(typeof (sayHey));//=>function   3   console.log(typeof (sayHo));//=>undefined 4   if (true) { 5     function sayHey() { 6       console.log("sayHey"); 7     } 8     sayHello = function sayHo() { 9       console.log("sayHello");10   }11   } else {12     function sayHey() {13       console.log("sayHey2");14     }15     sayHello = function sayHo() {16       console.log("sayHello2");17     }18   }  19   sayHey();// => sayHey2  20   sayHello();// => sayHello


  分析:sayHey是用函数声明创建的,在JS解析时JS编译器将函数定义进行了函数提升,也就是说,在解析JS代码的时候,JS编译器(条件判断不形成新的作用域,两个sayHey函数定义都被提升到条件判断之外)检测到作用域内有两个同名的sayHey定义,第一个定义先被提升,第二个定义接着被提升(第二个定义在第一个定义之下),第二个定义覆盖了第一个sayHey定义,所以sayHey()输出sayHey2;而sayHello是用函数表达式创建的,其表达式的内容是在JS运行时(不是解析时)才能确定(这里条件判断就起到作用了),所以sayHello表达式执行了第一个函数定义并赋值,则sayHello()输出sayHello。

  代码段4的代码实际上等同于下面的代码(代码段5):

 

 1   var sayHello; 2   function sayHey() { 3       console.log("sayHey"); 4     } 5   function sayHey() { 6       console.log("sayHey2"); 7   } 8   console.log(typeof (sayHey));//=>function   9   console.log(typeof (sayHo));//=>undefined10   if (true) {11     //hoisting...12     sayHello = function sayHo() {13       console.log("sayHello");14   }15   } else {16     //hoisting...17     sayHello = function sayHo() {18       console.log("sayHello2");19     }20   }  21   sayHey();// => sayHey2  22   sayHello();// => sayHello

 

  有的人也许会怀疑函数sayHey的定义是第二个覆盖第一个了么?我们可以把sayHey的源代码进行输出,有图有真相,如下图所示:

 

  总结

  Javascript 中函数声明和函数表达式是存在区别的,函数声明在JS解析时进行函数提升,因此在同一个作用域内,不管函数声明在哪里定义,该函数都可以进行调用。而函数表达式的值是在JS运行时确定,并且在表达式赋值完成后,该函数才能调用。这个微小的区别,可能会导致出现JS代码出现意想不到的bug,让你陷入莫名的陷阱中。

  最后附上代码段4中sayHello和sayHey两个函数的核心步骤(个人理解,若有异议欢迎留言探讨):

  上图为sayHello函数执行的主要步骤示意图。

  上图为sayHey函数执行主要步骤的示意图。若对闭包感兴趣,可以看另外一篇博文http://www.cnblogs.com/isaboy/p/javascript_closure.html。