函数的魔力
JavaScript 的代码就只有function 一种形式,function 就是函数的类型。也许其他编程语言还有procedure 或 method 等代码概念,但在JavaScript 里只有function 一种形式。当我们写下一个函数的时候,只不过是建立了一个function 类型的实体而已。请看下面的程序:
这个代码运行之后可以看到typeof(myfunc)返回的是function。以上的函数写法我们称之为“定义式”
的,如果我们将其改写成下面的“变量式”的,就更容易理解了:
这里明确定义了一个变量myfunc,它的初始值被赋予了一个function 的实体。因此,typeof(myfunc)
返回的也是function。其实,这两种函数的写法是等价的,除了一点细微差别,其内部实现完全相同。也就是说,我们写的这些JavaScript 函数只是一个命了名的变量而已,其变量类型即为function,变量的值就是我们编写的函数代码体。
聪明的你或许立即会进一步的追问:既然函数只是变量,那么变量就可以被随意赋值并用到任意地方
啰?我们来看看下面的代码:
这个程序运行的结果告诉我们:答案是肯定的!在第一次调用函数之后,函数变量又被赋予了新的函数
代码体,使得第二次调用该函数时,出现了不同的输出。
好了,我们又来把上面的代码改成第一种定义式的函数形式:
按理说,两个签名完全相同的函数,在其他编程语言中应该是非法的。但在JavaScript 中,这没错。
不过,程序运行之后却发现一个奇怪的现象:两次调用都只是最后那个函数里输出的值!显然第一个函数
没有起到任何作用。这又是为什么呢?
原来,JavaScript 执行引擎并非一行一行地分析和执行程序,而是一段一段地分析执行的。而且,在
同一段程序的分析执行中,定义式的函数语句会被提取出来优先执行。函数定义执行完之后,才会按顺序
执行其他语句代码。也就是说,在第一次调用myfunc 之前,第一个函数语句定义的代码逻辑,已被第二
个函数定义语句覆盖了。所以,两次都调用都是执行最后一个函数逻辑了。
如果把这个JavaScript 代码分成两段,例如将它们写在一个html 中,并用<script/>标签将其分成
这样的两块:
这时,输出才是各自按顺序来的,也证明了JavaScript 的确是一段段地执行的。
一段代码中的定义式函数语句会优先执行,这似乎有点象静态语言的编译概念。所以,这一特征也被有
些人称为:JavaScript 的“预编译”。
大多数情况下,我们也没有必要去纠缠这些细节问题。只要你记住一点:JavaScript 里的代码也是一
种数据,同样可以被任意赋值和修改的,而它的值就是代码的逻辑。只是,与一般数据不同的是,函数是
可以被调用执行的。
不过,如果JavaScript 函数仅仅只有这点道行的话,这与C++的函数指针,DELPHI 的方法指针,C
#的委托相比,又有啥稀奇嘛!然而,JavaScript 函数的神奇之处还体现在另外两个方面:一是函数fun
ction 类型本身也具有对象化的能力,二是函数function 与对象 object 超然的结合能力。