来自《JavaScript 标准参考教程(alpha)》,by 阮一峰javascript
函数是一段能够反复调用的代码块。函数还能接受输入的参数,不一样的参数会返回不一样的值。html
JavaScript 有三种声明函数的方法。java
(1)function 命令express
function
命令声明的代码区块,就是一个函数。function
命令后面是函数名,函数名后面是一对圆括号,里面是传入函数的参数。函数体放在大括号里面。编程
function print(s) { console.log(s); }
上面的代码命名了一个print
函数,之后使用print()
这种形式,就能够调用相应的代码。这叫作函数的声明(Function Declaration)。json
(2)函数表达式数组
除了用function
命令声明函数,还能够采用变量赋值的写法。浏览器
var print = function(s) { console.log(s); };
这种写法将一个匿名函数赋值给变量。这时,这个匿名函数又称函数表达式(Function Expression),由于赋值语句的等号右侧只能放表达式。安全
采用函数表达式声明函数时,function
命令后面不带有函数名。若是加上函数名,该函数名只在函数体内部有效,在函数体外部无效。闭包
var print = function x(){ console.log(typeof x); }; x // ReferenceError: x is not defined print() // function
上面代码在函数表达式中,加入了函数名x
。这个x
只在函数体内部可用,指代函数表达式自己,其余地方都不可用。这种写法的用处有两个,一是能够在函数体内部调用自身,二是方便除错(除错工具显示函数调用栈时,将显示函数名,而再也不显示这里是一个匿名函数)。所以,下面的形式声明函数也很是常见。
var f = function f() {};
须要注意的是,函数的表达式须要在语句的结尾加上分号,表示语句结束。而函数的声明在结尾的大括号后面不用加分号。总的来讲,这两种声明函数的方式,差异很细微,能够近似认为是等价的。
(3)Function 构造函数
第三种声明函数的方式是Function
构造函数。
var add = new Function( 'x', 'y', 'return x + y' ); // 等同于 function add(x, y) { return x + y; }
上面代码中,Function
构造函数接受三个参数,除了最后一个参数是add
函数的“函数体”,其余参数都是add
函数的参数。
你能够传递任意数量的参数给Function
构造函数,只有最后一个参数会被当作函数体,若是只有一个参数,该参数就是函数体。
var foo = new Function( 'return "hello world"' ); // 等同于 function foo() { return 'hello world'; }
Function
构造函数能够不使用new
命令,返回结果彻底同样。
总的来讲,这种声明函数的方式很是不直观,几乎无人使用。
若是同一个函数被屡次声明,后面的声明就会覆盖前面的声明。
function f() { console.log(1); } f() // 2 function f() { console.log(2); } f() // 2
上面代码中,后一次的函数声明覆盖了前面一次。并且,因为函数名的提高(参见下文),前一次声明在任什么时候候都是无效的,这一点要特别注意。
调用函数时,要使用圆括号运算符。圆括号之中,能够加入函数的参数。
function add(x, y) { return x + y; } add(1, 1) // 2
上面代码中,函数名后面紧跟一对圆括号,就会调用这个函数。
函数体内部的return
语句,表示返回。JavaScript 引擎遇到return
语句,就直接返回return
后面的那个表达式的值,后面即便还有语句,也不会获得执行。也就是说,return
语句所带的那个表达式,就是函数的返回值。return
语句不是必需的,若是没有的话,该函数就不返回任何值,或者说返回undefined
。
函数能够调用自身,这就是递归(recursion)。下面就是经过递归,计算斐波那契数列的代码。
function fib(num) { if (num === 0) return 0; if (num === 1) return 1; return fib(num - 2) + fib(num - 1); } fib(6) // 8
上面代码中,fib
函数内部又调用了fib
,计算获得斐波那契数列的第6个元素是8。
JavaScript 语言将函数看做一种值,与其它值(数值、字符串、布尔值等等)地位相同。凡是可使用值的地方,就能使用函数。好比,能够把函数赋值给变量和对象的属性,也能够看成参数传入其余函数,或者做为函数的结果返回。函数只是一个能够执行的值,此外并没有特殊之处。
因为函数与其余数据类型地位平等,因此在 JavaScript 语言中又称函数为第一等公民。
function add(x, y) { return x + y; } // 将函数赋值给一个变量 var operator = add; // 将函数做为参数和返回值 function a(op){ return op; } a(add)(1, 1) // 2
JavaScript 引擎将函数名视同变量名,因此采用function
命令声明函数时,整个函数会像变量声明同样,被提高到代码头部。因此,下面的代码不会报错。
f(); function f() {}
表面上,上面代码好像在声明以前就调用了函数f
。可是实际上,因为“变量提高”,函数f
被提高到了代码头部,也就是在调用以前已经声明了。可是,若是采用赋值语句定义函数,JavaScript 就会报错。
f(); var f = function (){}; // TypeError: undefined is not a function
上面的代码等同于下面的形式。
var f; f(); f = function () {};
上面代码第二行,调用f
的时候,f
只是被声明了,尚未被赋值,等于undefined
,因此会报错。所以,若是同时采用function
命令和赋值语句声明同一个函数,最后老是采用赋值语句的定义。
var f = function () { console.log('1'); } function f() { console.log('2'); } f() // 1
根据 ES5 的规范,不得在非函数的代码块中声明函数,最多见的状况就是if
和try
语句。
if (foo) { function x() {} } try { function x() {} } catch(e) { console.log(e); }
上面代码分别在if
代码块和try
代码块中声明了两个函数,按照语言规范,这是不合法的。可是,实际状况是各家浏览器每每并不报错,可以运行。
可是因为存在函数名的提高,因此在条件语句中声明函数,多是无效的,这是很是容易出错的地方。
if (false) { function f() {} } f() // 不报错
上面代码的原始意图是不声明函数f
,可是因为f
的提高,致使if
语句无效,因此上面的代码不会报错。要达到在条件语句中定义函数的目的,只有使用函数表达式。
if (false) { var f = function () {}; } f() // undefined
函数的name
属性返回函数的名字。
function f1() {} f1.name // "f1"
若是是经过变量赋值定义的函数,那么name
属性返回变量名。
var f2 = function () {}; f2.name // "f2"
可是,上面这种状况,只有在变量的值是一个匿名函数时才是如此。若是变量的值是一个具名函数,那么name
属性返回function
关键字以后的那个函数名。
var f3 = function myName() {}; f3.name // 'myName'
上面代码中,f3.name
返回函数表达式的名字。注意,真正的函数名仍是f3
,而myName
这个名字只在函数体内部可用。
name
属性的一个用处,就是获取参数函数的名字。
var myFunc = function () {}; function test(f) { console.log(f.name); } test(myFunc) // myFunc
上面代码中,函数test
内部经过name
属性,就能够知道传入的参数是什么函数。
函数的length
属性返回函数预期传入的参数个数,即函数定义之中的参数个数。
function f(a, b) {} f.length // 2
上面代码定义了空函数f
,它的length
属性就是定义时的参数个数。无论调用时输入了多少个参数,length
属性始终等于2。
length
属性提供了一种机制,判判定义时和调用时参数的差别,以便实现面向对象编程的”方法重载“(overload)。
函数的toString
方法返回一个字符串,内容是函数的源码。
function f() { a(); b(); c(); } f.toString() // function f() { // a(); // b(); // c(); // }
函数内部的注释也能够返回。
function f() {/* 这是一个 多行注释 */} f.toString() // "function f(){/* // 这是一个 // 多行注释 // */}"
利用这一点,能够变相实现多行字符串。
var multiline = function (fn) { var arr = fn.toString().split('\n'); return arr.slice(1, arr.length - 1).join('\n'); }; function f() {/* 这是一个 多行注释 */} multiline(f); // " 这是一个 // 多行注释"
做用域(scope)指的是变量存在的范围。在 ES5 的规范中,Javascript 只有两种做用域:一种是全局做用域,变量在整个程序中一直存在,全部地方均可以读取;另外一种是函数做用域,变量只在函数内部存在。ES6 又新增了块级做用域,本教程不涉及。
函数外部声明的变量就是全局变量(global variable),它能够在函数内部读取。
var v = 1; function f() { console.log(v); } f() // 1
上面的代码代表,函数f
内部能够读取全局变量v
。
在函数内部定义的变量,外部没法读取,称为“局部变量”(local variable)。
function f(){ var v = 1; } v // ReferenceError: v is not defined
上面代码中,变量v
在函数内部定义,因此是一个局部变量,函数以外就没法读取。
函数内部定义的变量,会在该做用域内覆盖同名全局变量。
var v = 1; function f(){ var v = 2; console.log(v); } f() // 2 v // 1
上面代码中,变量v
同时在函数的外部和内部有定义。结果,在函数内部定义,局部变量v
覆盖了全局变量v
。
注意,对于var
命令来讲,局部变量只能在函数内部声明,在其余区块中声明,一概都是全局变量。
if (true) { var x = 5; } console.log(x); // 5
上面代码中,变量x
在条件判断区块之中声明,结果就是一个全局变量,能够在区块以外读取。
与全局做用域同样,函数做用域内部也会产生“变量提高”现象。var
命令声明的变量,无论在什么位置,变量声明都会被提高到函数体的头部。
function foo(x) { if (x > 100) { var tmp = x - 100; } } // 等同于 function foo(x) { var tmp; if (x > 100) { tmp = x - 100; }; }
函数自己也是一个值,也有本身的做用域。它的做用域与变量同样,就是其声明时所在的做用域,与其运行时所在的做用域无关。
var a = 1; var x = function () { console.log(a); }; function f() { var a = 2; x(); } f() // 1
上面代码中,函数x
是在函数f
的外部声明的,因此它的做用域绑定外层,内部变量a
不会到函数f
体内取值,因此输出1
,而不是2
。
总之,函数执行时所在的做用域,是定义时的做用域,而不是调用时所在的做用域。
很容易犯错的一点是,若是函数A
调用函数B
,却没考虑到函数B
不会引用函数A
的内部变量。
var x = function () { console.log(a); }; function y(f) { var a = 2; f(); } y(x) // ReferenceError: a is not defined
上面代码将函数x
做为参数,传入函数y
。可是,函数x
是在函数y
体外声明的,做用域绑定外层,所以找不到函数y
的内部变量a
,致使报错。
一样的,函数体内部声明的函数,做用域绑定函数体内部。
function foo() { var x = 1; function bar() { console.log(x); } return bar; } var x = 2; var f = foo(); f() // 1
上面代码中,函数foo
内部声明了一个函数bar
,bar
的做用域绑定foo
。当咱们在foo
外部取出bar
执行时,变量x
指向的是foo
内部的x
,而不是foo
外部的x
。正是这种机制,构成了下文要讲解的“闭包”现象。
函数运行的时候,有时须要提供外部数据,不一样的外部数据会获得不一样的结果,这种外部数据就叫参数。
function square(x) { return x * x; } square(2) // 4 square(3) // 9
上式的x
就是square
函数的参数。每次运行的时候,须要提供这个值,不然得不到结果。
函数参数不是必需的,Javascript 容许省略参数。
function f(a, b) { return a; } f(1, 2, 3) // 1 f(1) // 1 f() // undefined f.length // 2
上面代码的函数f
定义了两个参数,可是运行时不管提供多少个参数(或者不提供参数),JavaScript 都不会报错。省略的参数的值就变为undefined
。须要注意的是,函数的length
属性与实际传入的参数个数无关,只反映函数预期传入的参数个数。
可是,没有办法只省略靠前的参数,而保留靠后的参数。若是必定要省略靠前的参数,只有显式传入undefined
。
function f(a, b) { return a; } f( , 1) // SyntaxError: Unexpected token ,(…) f(undefined, 1) // undefined
上面代码中,若是省略第一个参数,就会报错。
函数参数若是是原始类型的值(数值、字符串、布尔值),传递方式是传值传递(passes by value)。这意味着,在函数体内修改参数值,不会影响到函数外部。
var p = 2; function f(p) { p = 3; } f(p); p // 2
上面代码中,变量p
是一个原始类型的值,传入函数f
的方式是传值传递。所以,在函数内部,p
的值是原始值的拷贝,不管怎么修改,都不会影响到原始值。
可是,若是函数参数是复合类型的值(数组、对象、其余函数),传递方式是传址传递(pass by reference)。也就是说,传入函数的原始值的地址,所以在函数内部修改参数,将会影响到原始值。
var obj = { p: 1 }; function f(o) { o.p = 2; } f(obj); obj.p // 2
上面代码中,传入函数f
的是参数对象obj
的地址。所以,在函数内部修改obj
的属性p
,会影响到原始值。
注意,若是函数内部修改的,不是参数对象的某个属性,而是替换掉整个参数,这时不会影响到原始值。
var obj = [1, 2, 3]; function f(o) { o = [2, 3, 4]; } f(obj); obj // [1, 2, 3]
上面代码中,在函数f
内部,参数对象obj
被整个替换成另外一个值。这时不会影响到原始值。这是由于,形式参数(o
)的值实际是参数obj
的地址,从新对o
赋值致使o
指向另外一个地址,保存在原地址上的值固然不受影响。
若是有同名的参数,则取最后出现的那个值。
function f(a, a) { console.log(a); } f(1, 2) // 2
上面代码中,函数f
有两个参数,且参数名都是a
。取值的时候,之后面的a
为准,即便后面的a
没有值或被省略,也是以其为准。
function f(a, a) { console.log(a); } f(1) // undefined
调用函数f
的时候,没有提供第二个参数,a
的取值就变成了undefined
。这时,若是要得到第一个a
的值,可使用arguments
对象。
function f(a, a) { console.log(arguments[0]); } f(1) // 1
(1)定义
因为 JavaScript 容许函数有不定数目的参数,因此须要一种机制,能够在函数体内部读取全部参数。这就是arguments
对象的由来。
arguments
对象包含了函数运行时的全部参数,arguments[0]
就是第一个参数,arguments[1]
就是第二个参数,以此类推。这个对象只有在函数体内部,才可使用。
var f = function (one) { console.log(arguments[0]); console.log(arguments[1]); console.log(arguments[2]); } f(1, 2, 3) // 1 // 2 // 3
正常模式下,arguments
对象能够在运行时修改。
var f = function(a, b) { arguments[0] = 3; arguments[1] = 2; return a + b; } f(1, 1) // 5
上面代码中,函数f
调用时传入的参数,在函数内部被修改为3
和2
。
严格模式下,arguments
对象是一个只读对象,修改它是无效的,但不会报错。
var f = function(a, b) { 'use strict'; // 开启严格模式 arguments[0] = 3; // 无效 arguments[1] = 2; // 无效 return a + b; } f(1, 1) // 2
上面代码中,函数体内是严格模式,这时修改arguments
对象就是无效的。
经过arguments
对象的length
属性,能够判断函数调用时到底带几个参数。
function f() { return arguments.length; } f(1, 2, 3) // 3 f(1) // 1 f() // 0
(2)与数组的关系
须要注意的是,虽然arguments
很像数组,但它是一个对象。数组专有的方法(好比slice
和forEach
),不能在arguments
对象上直接使用。
若是要让arguments
对象使用数组方法,真正的解决方法是将arguments
转为真正的数组。下面是两种经常使用的转换方法:slice
方法和逐一填入新数组。
var args = Array.prototype.slice.call(arguments); // 或者 var args = []; for (var i = 0; i < arguments.length; i++) { args.push(arguments[i]); }
(3)callee 属性
arguments
对象带有一个callee
属性,返回它所对应的原函数。
var f = function () { console.log(arguments.callee === f); } f() // true
能够经过arguments.callee
,达到调用函数自身的目的。这个属性在严格模式里面是禁用的,所以不建议使用。
闭包(closure)是 Javascript 语言的一个难点,也是它的特点,不少高级应用都要依靠闭包实现。
理解闭包,首先必须理解变量做用域。前面提到,JavaScript 有两种做用域:全局做用域和函数做用域。函数内部能够直接读取全局变量。
var n = 999; function f1() { console.log(n); } f1() // 999
上面代码中,函数f1
能够读取全局变量n
。
可是,函数外部没法读取函数内部声明的变量。
function f1() { var n = 999; } console.log(n) // Uncaught ReferenceError: n is not defined(
上面代码中,函数f1
内部声明的变量n
,函数外是没法读取的。
若是出于种种缘由,须要获得函数内的局部变量。正常状况下,这是办不到的,只有经过变通方法才能实现。那就是在函数的内部,再定义一个函数。
function f1() { var n = 999; function f2() { console.log(n); // 999 } }
上面代码中,函数f2
就在函数f1
内部,这时f1
内部的全部局部变量,对f2
都是可见的。可是反过来就不行,f2
内部的局部变量,对f1
就是不可见的。这就是 JavaScript 语言特有的”链式做用域”结构(chain scope),子对象会一级一级地向上寻找全部父对象的变量。因此,父对象的全部变量,对子对象都是可见的,反之则不成立。
既然f2
能够读取f1
的局部变量,那么只要把f2
做为返回值,咱们不就能够在f1
外部读取它的内部变量了吗!
function f1() { var n = 999; function f2() { console.log(n); } return f2; } var result = f1(); result(); // 999
上面代码中,函数f1
的返回值就是函数f2
,因为f2
能够读取f1
的内部变量,因此就能够在外部得到f1
的内部变量了。
闭包就是函数f2
,即可以读取其余函数内部变量的函数。因为在 JavaScript 语言中,只有函数内部的子函数才能读取内部变量,所以能够把闭包简单理解成“定义在一个函数内部的函数”。闭包最大的特色,就是它能够“记住”诞生的环境,好比f2
记住了它诞生的环境f1
,因此从f2
能够获得f1
的内部变量。在本质上,闭包就是将函数内部和函数外部链接起来的一座桥梁。
闭包的最大用处有两个,一个是能够读取函数内部的变量,另外一个就是让这些变量始终保持在内存中,即闭包可使得它诞生环境一直存在。请看下面的例子,闭包使得内部变量记住上一次调用时的运算结果。
function createIncrementor(start) { return function () { return start++; }; } var inc = createIncrementor(5); inc() // 5 inc() // 6 inc() // 7
上面代码中,start
是函数createIncrementor
的内部变量。经过闭包,start
的状态被保留了,每一次调用都是在上一次调用的基础上进行计算。从中能够看到,闭包inc
使得函数createIncrementor
的内部环境,一直存在。因此,闭包能够看做是函数内部做用域的一个接口。
为何会这样呢?缘由就在于inc
始终在内存中,而inc
的存在依赖于createIncrementor
,所以也始终在内存中,不会在调用结束后,被垃圾回收机制回收。
闭包的另外一个用处,是封装对象的私有属性和私有方法。
function Person(name) { var _age; function setAge(n) { _age = n; } function getAge() { return _age; } return { name: name, getAge: getAge, setAge: setAge }; } var p1 = Person('张三'); p1.setAge(25); p1.getAge() // 25
上面代码中,函数Person
的内部变量_age
,经过闭包getAge
和setAge
,变成了返回对象p1
的私有变量。
注意,外层函数每次运行,都会生成一个新的闭包,而这个闭包又会保留外层函数的内部变量,因此内存消耗很大。所以不能滥用闭包,不然会形成网页的性能问题。
在 Javascript 中,圆括号()
是一种运算符,跟在函数名以后,表示调用该函数。好比,print()
就表示调用print
函数。
有时,咱们须要在定义函数以后,当即调用该函数。这时,你不能在函数的定义以后加上圆括号,这会产生语法错误。
function(){ /* code */ }(); // SyntaxError: Unexpected token (
产生这个错误的缘由是,function
这个关键字便可以看成语句,也能够看成表达式。
// 语句 function f() {} // 表达式 var f = function f() {}
为了不解析上的歧义,JavaScript 引擎规定,若是function
关键字出如今行首,一概解释成语句。所以,JavaScript引擎看到行首是function
关键字以后,认为这一段都是函数的定义,不该该以圆括号结尾,因此就报错了。
解决方法就是不要让function
出如今行首,让引擎将其理解成一个表达式。最简单的处理,就是将其放在一个圆括号里面。
(function(){ /* code */ }()); // 或者 (function(){ /* code */ })();
上面两种写法都是以圆括号开头,引擎就会认为后面跟的是一个表示式,而不是函数定义语句,因此就避免了错误。这就叫作“当即调用的函数表达式”(Immediately-Invoked Function Expression),简称 IIFE。
注意,上面两种写法最后的分号都是必须的。若是省略分号,遇到连着两个 IIFE,可能就会报错。
// 报错 (function(){ /* code */ }()) (function(){ /* code */ }())
上面代码的两行之间没有分号,JavaScript 会将它们连在一块儿解释,将第二行解释为第一行的参数。
推而广之,任何让解释器以表达式来处理函数定义的方法,都能产生一样的效果,好比下面三种写法。
var i = function(){ return 10; }(); true && function(){ /* code */ }(); 0, function(){ /* code */ }();
甚至像下面这样写,也是能够的。
!function () { /* code */ }(); ~function () { /* code */ }(); -function () { /* code */ }(); +function () { /* code */ }();
一般状况下,只对匿名函数使用这种“当即执行的函数表达式”。它的目的有两个:一是没必要为函数命名,避免了污染全局变量;二是 IIFE 内部造成了一个单独的做用域,能够封装一些外部没法读取的私有变量。
// 写法一 var tmp = newData; processData(tmp); storeData(tmp); // 写法二 (function () { var tmp = newData; processData(tmp); storeData(tmp); }());
上面代码中,写法二比写法一更好,由于彻底避免了污染全局变量。
eval
命令的做用是,将字符串看成语句执行。
eval('var a = 1;'); a // 1
上面代码将字符串看成语句运行,生成了变量a
。
放在eval
中的字符串,应该有独自存在的意义,不能用来与eval
之外的命令配合使用。举例来讲,下面的代码将会报错。
eval('return;');
eval
没有本身的做用域,都在当前做用域内执行,所以可能会修改当前做用域的变量的值,形成安全问题。
var a = 1; eval('a = 2'); a // 2
上面代码中,eval
命令修改了外部变量a
的值。因为这个缘由,eval
有安全风险。
为了防止这种风险,JavaScript 规定,若是使用严格模式,eval
内部声明的变量,不会影响到外部做用域。
(function f() { 'use strict'; eval('var foo = 123'); console.log(foo); // ReferenceError: foo is not defined })()
上面代码中,函数f
内部是严格模式,这时eval
内部声明的foo
变量,就不会影响到外部。
不过,即便在严格模式下,eval
依然能够读写当前做用域的变量。
(function f() { 'use strict'; var foo = 1; eval('foo = 2'); console.log(foo); // 2 })()
上面代码中,严格模式下,eval
内部仍是改写了外部变量,可见安全风险依然存在。
此外,eval
的命令字符串不会获得 JavaScript 引擎的优化,运行速度较慢。这也是一个不该该使用它的理由。
一般状况下,eval
最多见的场合是解析 JSON 数据字符串,不过正确的作法应该是使用浏览器提供的JSON.parse
方法。
JavaScript 引擎内部,eval
其实是一个引用,默认调用一个内部方法。这使得eval
的使用分红两种状况,一种是像上面这样的调用eval(expression)
,这叫作“直接使用”,这种状况下eval
的做用域就是当前做用域。除此以外的调用方法,都叫“间接调用”,此时eval
的做用域老是全局做用域。
var a = 1; function f() { var a = 2; var e = eval; e('console.log(a)'); } f() // 1
上面代码中,eval
是间接调用,因此即便它是在函数中,它的做用域仍是全局做用域,所以输出的a
为全局变量。
eval
的间接调用的形式五花八门,只要不是直接调用,都属于间接调用。
eval.call(null, '...') window.eval('...') (1, eval)('...') (eval, eval)('...')
上面这些形式都是eval
的间接调用,所以它们的做用域都是全局做用域。
与eval
做用相似的还有Function
构造函数。利用它生成一个函数,而后调用该函数,也能将字符串看成命令执行。
var jsonp = 'foo({"id": 42})'; var f = new Function( 'foo', jsonp ); // 至关于定义了以下函数 // function f(foo) { // foo({"id":42}); // } f(function (json) { console.log( json.id ); // 42 })
上面代码中,jsonp
是一个字符串,Function
构造函数将这个字符串,变成了函数体。调用该函数的时候,jsonp
就会执行。这种写法的实质是将代码放到函数做用域执行,避免对全局做用域形成影响。
不过,new Function()
的写法也能够读写全局做用域,因此也是应该避免使用它。
推荐连接:阮一峰http://javascript.ruanyifeng.com/grammar/function.html