编辑器加载中...跳转到主要内容 Intel® Developer Zone 社区 资源 开发人员工具 Intel® DZ 搜索表单 搜索 登录 | 注册 你在这里 Home » Library » Article » JavaScript世界的一等公民 - 函数 本网站正在进行升级工作，预计在10月30日完成。在此期间，页面的显示可能出现状况，请您耐心等待，我们正在尽快处理。 欢迎访问英特尔® 开发人员专区！ JavaScript世界的一等公民 - 函数 Dawei Cheng 程大伟...星期二, 17/07/2012 - 18:47 发布 分类: 英特尔® 凌动™ 处理器 ,移动性 ,安卓* ,超极本™ ,安卓* 标签: high-order function 简介 在很多传统语言（C/C++/Java/C#等）中，函数都是作为一个二等公民存在，你只能用语言的关键字声明一个函数然后调用它，如果需要把函数作为参数传给另一个函数，或是赋值给一个本地变量，又或是作为返回值，就需要通过函数指针(function pointer)、代理(delegate)等特殊的方式周折一番。 而在JavaScript世界中函数却是一等公民，它不仅拥有一切传统函数的使用方式（声明和调用），而且可以做到像简单值一样赋值、传参、返回，这样的函数也称之为第一级函数（First-class Function）。不仅如此，JavaScript中的函数还充当了类的构造函数的作用，同时又是一个Function类的实例(instance)。这样的多重身份让JavaScript的函数变得非常重要。 一、JavaScript函数入门级 JavaScript函数像一般语言一样也是遵循先声明后使用的原则，函数名只能包含字母、数字、下划线或$，且不能以数字开头。函数常见的声明方式有以下两种： 1 // 直接声明函数myfunc 2 function myfunc(/* arguments */) { 3 } 4 5 // 把匿名函数赋值给本地变量myfunc 6 var myfunc = function(/* arguments */) { 7 } 注意，上面两种函数声明方式存在细微的差别：第一种方式在声明时就是一个命名的函数，无论是声明在调用之前、调用之后，甚至是不会执行到的位置（例如return语句之后或是永远不会为真的分支里），都在整个作用域可访问；第二种方式是通过把匿名函数赋值给变量的方式，严格意义上说这不是一个函数的声明（function declaration）而是一个函数表达式（function expression），在赋值之前这个函数不能被任何代码访问到，也就是说这个赋值必须在调用之前完成，否则调用时会出现错误："TypeError: undefined is not a function"。例如： 1 myfunc1(); // 能够正常调用，因为myfunc1采用直接声明的方式 2 3 function myfunc1() { 4 } 5 6 myfunc2(); // 出错 TypeError: undefined is not a function 7 8 var myfunc2 = function() { 9 }; 函数的基本调用方式与传统语言相同用一对括号调用: myfunc()。JavaScript的函数也支持直接或间接的递归(recursive)调用，例如经典的斐波那契函数用JavaScript可以这样实现： 1 function fib(n) { 2 if (n == 1 || n == 2) { 3 return 1; 4 } else { 5 return fib(n - 2) + fib(n - 1); 6 } 7 } 在JavaScript的函数可以处理变长参数，在函数内部都拥有一个名为arguments的局部变量，它是一个类数组（array-liked）的对象，里面包含了所有调用时传入的参数，有length属性表示参数的个数。例如： 1 function test() { 2 alert(arguments.length); 3 } 4 5 test(1); // 1 6 test(1, 'a'); // 2 7 test(true, [], {}); // 3 利用arguments可以实现类似C语言printf的功能，也可以用来实现方法的多态。 二、JavaScript函数进阶 2.1 匿名函数和嵌套函数 在JavaScript可以声明一个没有名称的函数，称为匿名函数（Anonymouse Function）。同时JavaScript还允许在函数内部声明函数，称为嵌套函数（Nested Function），嵌套函数的作用域为整个父函数。 在前面函数声明的部分就看到了匿名函数和嵌套函数的一种用法，由于匿名函数没有名称，不会引入新的变量污染上下文环境，而且会带来新的变量作用域，因此匿名函数常被用来防止全局环境污染。 JavaScript运行时中有一个特殊的全局环境（global object），这个对象上面存放全局的函数和变量，实际开发中经常会使用若干第三方的库或多个js文件，若不小心在全局对象引入重复的变量或函数声明，则会造成代码执行混乱。例如先后引入两个js文件，分别定义了自己的函数log作为内部使用，则第二引入的函数会覆盖第一个的定义且不会抛出任何错误，在后续的执行中调用log函数可能会造成错误。这时候使用一个匿名函数将整个js内的逻辑包装起来，就可以避免这种错误，这种方法已经被绝大多数开源js库使用。 1 (function() { // 匿名函数 2 3 function log(msg) { 4 console.log(msg); 5 } 6 7 // 其他代码 8 9 }()); // 立即执行 以上代码就是一个简单的示例，log函数的作用域被限制在这个匿名函数之内，而匿名函数则因为被外面一对小括号()包括起来，形成一个函数表达式，表达式的值是一个函数，紧接着一对小括号表示立即执行这个函数，让原有的代码正常执行一次。不过，这种方式声明的函数、通过var声明的变量等等都是内部的，不能被任何匿名函数以外的代码访问到。如果你需要对外暴露一些函数作为接口的话有如下几种方法： 01 var mylib = (function(global) { 02 03 function log(msg) { 04 console.log(msg); 05 } 06 07 log1 = log; // 法一：利用没有var的变量声明的默认行为，在log1成为全局变量（不推荐） 08 09 global.log2 = log; // 法二：直接在全局对象上添加log2属性，赋值为log函数（推荐） 10 11 return { // 法三：通过匿名函数返回值得到一系列接口函数集合对象，赋值给全局变量mylib（推荐） 12 log: log 13 }; 14 15 }(window)); 2.2 高阶函数（High-order Function） 如果函数作为参数或返回值使用时，就称为高阶函数，JavaScript中的函数都可以作为高阶函数来使用，这也是第一类函数的特征。下面我们就分别分析一下这两种使用方法。 01 function negative(n) { 02 return -n; // 取n的相反值 03 } 04 05 function square(n) { 06 return n*n; // n的平方 07 } 08 09 function process(nums, callback) { 10 var result = []; 11 12 for(var i = 0, length = nums.length; i < length; i++) { 13 result[i] = callback(nums[i]); // 对数组nums中的所有元素传递给callback进行处理，将返回值作为结果保存 14 } 15 16 return result; 17 } 18 19 var nums = [-3, -2, -1, 0, 1, 2, 3, 4]; 20 var n_neg = process(nums, negative); 21 // n_neg = [3, 2, 1, 0, -1, -2, -3, -4]; 22 var n_square = process(nums, square); 23 // n_square = [9, 4, 1, 0, 1, 4, 9, 16]; 以上代码展示了把函数作为参数传入另一个函数process调用的示例，在process函数的实现中，把callback作为一个黑盒子看待，负责把参数传给它，然后获取返回值，在调用之前并不清楚callback的具体实现。只有当执行到20行和22行时，callback才被分别代表negative或square，分别对每个元素进行取相反值或平方值的操作。 01 function generator() { 02 var i = 0; 03 return function() { 04 return i++; 05 }; 06 } 07 08 var gen1 = generator(); // 得到一个自然数生成器 09 var gen2 = generator(); // 得到另一个自然数生成器 10 var r1 = gen1(); // r1 = 0 11 var r2 = gen1(); // r2 = 1 12 var r3 = gen2(); // r3 = 0 13 var r4 = gen2(); // r4 = 1 上面的代码展示了把函数作为返回值的示例，generator是一个自然数生成器函数，返回值是一个自然数生成函数。每次调用generator时都会把一个匿名函数作为结果返回，这个匿名函数在被实际调用时依次返回每个自然数。在generator里的变量i在每次调用这个匿名函数时都会自增1，这其实就是一个闭包。下面我们来介绍一下闭包. 2.3 闭包（Closure） 闭包(Closure)并不是一个新鲜的概念，很多函数式语言中都使用了闭包。在JavaScript中，当你在内嵌函数中使用外部函数作用域内的变量时，就是使用了闭包。用一个常用的类比来解释闭包和类（Class）的关系：类是带函数的数据，闭包是带数据的函数。 闭包中使用的变量有一个特性，就是它们不在父函数返回时释放，而是随着闭包生命周期的结束而结束。比如像上一节中generator的例子，gen1和gen2分别使用了相互独立的变量i（在gen1的i自增1的时候，gen2的i并不受影响，反之亦然），只要gen1或gen2这两个变量没有被JavaScript引擎垃圾回收，他们各自的变量i就不会被释放。在JavaScript编程中，不知不觉就会使用到闭包，闭包的这个特性在带来易用的同时，也容易带来类似内存泄露的问题。例如： 1 var elem = document.getElementById('test'); 2 elem.addEventListener('click', function() { 3 alert('You clicked ' + elem.tagName); 4 }); 这段代码的作用是点击一个结点时显示它的标签名称，它把一个匿名函数注册为一个DOM结点的click事件处理函数，函数内引用了一个DOM对象elem，就形成了闭包。这就会产生一个循环引用，即：DOM->闭包->DOM->闭包...DOM对象在闭包释放之前不会被释放；而闭包作为DOM对象的事件处理函数存在，所以在DOM对象释放前闭包不会释放，即使DOM对象在DOM tree中删除，由于这个循环引用的存在，DOM对象和闭包都不会被释放。可以用下面的方法可以避免这种内存泄露： 1 var elem = document.getElementById('test'); 2 elem.addEventListener('click', function() { 3 alert('You clicked ' + this.tagName); // 不再直接引用elem变量 4 }); 上面这段代码中用this代替elem（在DOM事件处理函数中this指针指向DOM元素本身），让JS运行时不再认为这个函数中使用了父类的变量，因此不再形成闭包。 闭包还会带来很多类似的内存泄露问题，只有在写代码的时候着重注意一下闭包，尽量避免此类的问题产生。 2.4 类构造函数 JavaScript的函数同时作为类的构造函数，因此只要声明一个函数就可以使用new关键字创建类的实例。 1 function Person(name) { 2 this.name = name; 3 this.toString = function() { 4 return 'Hello, ' + this.name + '!'; 5 }; 6 } 7 8 var p = new Person('Ghostheaven'); 9 alert(p); // Hello, Ghostheaven! 在以上实例中Person函数作为类的构造函数使用，此时this指向新创建的实例对象，可以为实例增加属性和方法，关于详细的面向对象的JavaScript编程可以参考这篇文章。这里我想要说的是，JavaScript函数作为类构造函数使用时的返回值问题。 1 function MyClass(name) { 2 this.name = name; 3 return name; // 构造函数的返回值? 4 } 5 6 var obj1 = new MyClass('foo'); 7 var obj2 = MyClass('foo'); 8 var obj3 = new MyClass({}); 9 var obj4 = MyClass({}); 上面的构造函数比较特别，有返回语句，那么obj1~obj4分别指向什么对象呢？实际结果是这样的： •obj1 = MyClass对象 •obj2 = 'foo' •obj3 = {} •obj4 = {} 具体原因这篇文章有解释，本文不再赘述，由于带返回值的构造函数会产生奇怪的结果，因此不要在构造函数中调用有返回值的返回语句（空return可以）。 三、JavaScript函数妖怪级 欢迎来到妖怪级函数授课区，在这里会交给你如何淡定自如地面对老怪。。。 3.1 Function类 在JavaScript运行时中有一个内建的类叫做Function，用function关键字声明一个函数其实是创建Function类对象的一种简写形式，所有的函数都拥有Function类所有的方法，例如call、apply、bind等等，可以通过instanceof关键字来验证这个说法。 既然Function是一个类，那么它的构造函数就是Function（它本身也是Function类的对象），应该可以通过new关键字来生成一个函数对象。第一个妖怪来了，那就是如何用Function类构造一个函数。Function的语法如下： 1 new Function ([arg1[, arg2[, ... argN]],] functionBody) 其中arg1, arg2, ... argN是字符串，代表参数名称，functionBody也是字符串，表示函数体，前面的参数名称是可多可少的，Function的构造函数会把最后一个参数当做函数体，前面的都当做参数处理。 1 var func1 = new Function('name', 'return "Hello, " + name + "!";'); 2 func1('Ghostheaven'); // Hello, Ghostheaven! 以上方法就通过Function构造了一个函数，这个函数跟其他用function关键字声明的函数一模一样。 看到这儿，很多人可能会问为什么需要这样一个妖怪呢？“存在的即是合理的”，Function类有它独特的用途，你可以利用它动态地生成各种函数逻辑，或者代替eval函数的功能，而且能保持当前环境不会被污染*。 3.2 自更新函数（Self-update Function） 在很多语言中，函数一旦声明过就不能再次声明同名函数，否则会产生语法错误，而在JavaScript中的函数不仅可以重复声明，而且还可以自己更新自己。自己吃自己的妖怪来了！ 01 function selfUpdate() { 02 window.selfUpdate = function() { 03 alert('second run!'); 04 }; 05 06 alert('first run!'); 07 } 08 09 selfUpdate(); // first run! 10 selfUpdate(); // second run! 这种函数可以用于只运行一次的逻辑，在第一次运行之后就整个替换成一段新的逻辑。 小结 JavaScript的函数灰常强大，在漂亮地解决很多问题的同时，也带来很多负面问题。妖怪级别的函数使用方法通常是一些鲜为人知的用法，除非特别必要不要轻易使用，否则会造成代码阅读困难，影响团队开发效率。 * 在新的ECMAScript中引入了严格模式，在严格模式下eval函数受到了很大的限制，也能够保证环境不被污染 如需更全面地了解编译器优化，请参阅优化注意事项. 添加新评论 RSS Back to Top 评论 匿名用户 星期二, 24/07/2012 - 07:11 非常棒的文章，温故而知新，让我获益匪浅！！ 感谢你的分享，尤其是妖怪“自更新”的用法，也是让我耳目一新，闻所未闻。 顶部 匿名用户 星期二, 24/07/2012 - 09:43 非常好，以前研究过闭包，不过从来没重视过“妖怪” 顶部 匿名用户 星期二, 24/07/2012 - 18:14 学习了，正在学习Javascript，希望您能写更多优秀的相关文章。 顶部 匿名用户 星期二, 31/07/2012 - 00:53 是的，跟楼上相同，研究过闭包，还真没了解过 “妖怪” 函数。。谢谢，学习了！！！ 顶部 匿名用户 星期三, 01/08/2012 - 02:59 自动更新的会让浏览器崩溃。 顶部 mutouren 星期四, 02/08/2012 - 18:55 受益匪浅 顶部 匿名用户 星期二, 07/08/2012 - 01:24 受益匪浅 顶部 匿名用户 星期二, 14/08/2012 - 21:11 围观一下，顶起！！！ 顶部 bekate 星期二, 14/08/2012 - 23:54 很明了 顶部 匿名用户 星期四, 16/08/2012 - 20:32 高手啊，我算是见识了。学习了。谢谢楼主，希望楼主多发好文章供我们学习。 顶部 页面 1 2 下一页 › 末页 » Leave a Comment To Obtain Technical Support, please go to Software Support 你的用户名 * E-mail * 此内容将保密，不会被其他人看见。 首页 Comment * 作者 Dawei Cheng 程大伟... Black Belt Points: 5,180 Related Content Android* Intel® Architecture Emulator for Honeycomb* [面向 Honeycomb* 的 Android* 英特尔® 架构模拟器] Google Play Supports CPU Architecture Filtering For Multiple APK Android* 应用性能调试 超极本™ 超级本使用体验（二） Trackbacks •JavaScript世界的一等公民 – 函数 « TG 星期一, 23/07/2012 - 23:20 软件资源Intel® Black Belt Software Developer Program 英特尔® 软件合作伙伴计划会员资格 英特尔® 软件开发产品 支持论坛 内容库 代码和下载 出版物《英特尔® 软件剖析》杂志 Intel® Software Adrenaline 英特尔® 开发人员专区新闻简报 英特尔软件子公司McAfee Havok Wind River 英特尔公司 公司信息 联系我们 工作 投资商关系 使用条款 *商标 隐私条款 简体中文