(本文为阮一峰js标准教程的学习笔记,旨在总结该教程中涉及的知识点大纲及个人所做的一些拓展,方便作为“目录”或者“大纲”复习和查漏补缺,详细内容请参见阮一峰教程原文)
第二部分 语法
************第七章 函数************
一、概述
函数就是一段可以反复调用的代码块。函数还能接受输入的参数,不同的参数会返回不同的值。
1.函数的三种声明方法
1.1function命令【标准函数声明方法】
function 函数名(传入参数){函数体}
1.2采用函数表达式/采用变量赋值的方法声明函数
var print = function(s) {
console.log(s);
};
将一个匿名函数赋值给变量,而这个匿名函数又称函数表达式,是因为赋值语句等号的右侧只能放表达式
1.2.1注意:函数的表达式需要在语句的结尾加上分号,表示语句结束。而(标准)函数的声明在结尾的大括号后面不用加分号。
1.2.2采用函数表达式声明函数时,function命令后面不带有函数名。如果加上函数名,该函数名只在函数体内部有效,在函数体外部无效。
var print = function x(){
console.log(typeof x);
};
x
// ReferenceError: x is not defined
print()
// function
1.2.3这种写法的用处有两个,一是可以在函数体内部调用自身,二是方便除错(除错工具显示函数调用栈时,将显示函数名,而不再显示这里是一个匿名函数)。因此,下面的形式声明函数也非常常见。
var f = function f() {};
1.2.4这两种声明函数的方式,差别很细微(参阅后文《变量提升》一节),这里可以近似认为是等价的。
1.3通过Function构造函数实例化的方法【内置的函数生成器】
var add = new Function(
'x',
'y',
'return x + y'
);
// 等同于
function add(x, y) {
return x + y;
}
Function构造函数接受三个参数,除了最后一个参数是add函数的“函数体”,其他参数都是add函数的参数。
1.3.1这种声明函数方式不直接,很少使用
1.3.2Function构造函数可以不使用new命令,也就是把它当作工具函数用,返回结果完全一样(这与Function内部代码的实现机制有关)。
1.3.3可以传递任意数量的参数给Function构造函数,只有最后一个参数会被当做函数体,如果只有一个参数,该参数就是函数体。
如果一个参数都没有就是证明了一个内部没有代码的函数。
var foo = new Function(
'return "hello world"'
);
// 等同于
function foo() {
return 'hello world';
}
2.函数的重复声明
2.1同一个函数被多次声明,后面的声明就会覆盖前面的声明。
function f() {
console.log(1);
}
f() // 2
function f() {
console.log(2);
}
f() // 2
2.2由于函数名的提升(参见下文),前一次声明在任何时候都是无效的,这一点要特别注意。
3.圆括号运算符,return语句和递归
3.1调用函数使用圆括号运算符。圆括号之中,可加函数的参数。
3.2JavaScript引擎遇到return语句,就直接返回return后面的那个表达式的值,后面即使还有语句,也不会得到执行。
3.3return语句所带的那个表达式,就是函数的返回值。
3.4return语句不是必需的,如果没有的话,该函数就不返回任何值,或者说返回undefined。
3.5函数内部代码调用自身,这就是递归(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。
4.第一等公民(意指函数与其他数据类型地位平等)
4.1JavaScript语言将函数看作一种值,与其它值(数值、字符串、布尔值等等)地位相同。凡是可以使用值的地方,就能使用函数。
【可以把函数赋值给变量和对象的属性,也可以当作参数传入其他函数,或者作为函数的结果返回。】
4.2函数只是一个可以执行的值,此外并无特殊之处
5.函数名的提升
5.1JavaScript引擎将函数名视同变量名,所以采用function命令声明函数时,整个函数会像变量声明一样,被提升到代码头部。所以,下面的代码不会报错。
f();
function f() {}
5.2,如果采用赋值语句定义函数,JavaScript就会报错。
f();
var f = function (){};
// TypeError: undefined is not a function
上面的代码等同于下面的形式。
var f;
f();
f = function () {};
调用f的时候,变量f只是被声明了,还没有被赋值,等于undefined
5.3如果同时采用function命令和赋值语句声明同一个函数,最后总是采用赋值语句的定义。
var f = function() {
console.log('1');
}
function f() {
console.log('2');
}
f() // 1
6.不能在条件语句中声明函数
6.1根据ECMAScript的规范,不得在非函数的代码块中声明函数,最常见的情况就是if和try语句。
if (foo) {
function x() {}
}
try {
function x() {}
} catch(e) {
console.log(e);
}
上面代码分别在if代码块和try代码块中声明了两个函数,按照语言规范,这是不合法的。但是,实际情况是各家浏览器往往并不报错,能够运行。
6.2由于存在函数名的提升,所以在条件语句中声明函数,可能是无效的,这是非常容易出错的地方。
if (false) {
function f() {}
}
f() // 不报错
上面代码的原始意图是不声明函数f,但是由于f的提升,导致if语句无效,函数f还是声明了并且全局可用,所以上面的代码不会报错。
6.3要达到在条件语句中定义函数的目的,只有使用函数表达式。
if (false) {
var f = function () {};
}
f() // undefined
二、函数的属性和方法
1.name属性:返回紧跟在function关键字之后的函数名
function f1() {}
f1.name // 'f1'
var f2 = function () {};
f2.name // ''
匿名函数的name属性总是为空字符串,匿名函数的名字是空字符串
var f3 = function myName() {};
f3.name // 'myName'
返回函数表达式的名字(真正的函数名还是f3,myName这个名字只在函数体内部可用)
2、length属性 返回函数形参个数,即函数定义之中的参数个数。
function f(a, b) {}
f.length // 2
2.1 不管调用时输入了多少个参数,length属性始终等于2。length返回的是函数形参的个数
2.2length属性提供了一种机制,判断定义时和调用时参数的差异,以便实现面向对象编程的”方法重载“(overload)。【不懂】
3.toString()
函数的toString()方法返回函数的源码(把函数整体转成字符号串返回)。toString()这个方法通常有js引擎内部调用,这里的目的是把函数转为字符串(数据类型变换)
function f() {
a();
b();
c();
}
f.toString()
// function f() {
// a();
// b();
// c();
// }
3.1函数内部的注释也可以返回。
function f() {/*
这是一个
多行注释
*/}
f.toString()// "function f(){/*// 这是一个// 多行注释// */}"
3.2变相实现多行字符串输出【没有看出什么卵用】
var multiline = function (fn) {
var arr = fn.toString().split('\n');
return arr.slice(1, arr.length - 1).join('\n');};
function f() {/*
这是一个
多行注释
*/}
multiline(f);
// " 这是一个
// 多行注释"
4.函数作用域
4.1定义:
* 作用域指的是变量存在的范围。是对变量讲的
* JS只有两种作用域:一种是全局,变量在整个程序中一直存在,所有地方都可以读取;在函数外部声明即可,可以在函数内部读取
* 另一种是函数作用域,变量只在函数内部存在
* 函数内部定义的变量,会在该作用域内覆盖同名全局变量
* 对于var命令来说,局部变量只能在函数内部声明,子啊其他区块中声明,一律是全局
if (true) {
var x = 5;
}
console.log(x); // 5
变量x在条件判断区块(因为条件判断区块并不构成独立的作用域)之中声明,结果就是一个全局变量,可以在区块之外读取
4.2函数本身的作用域
函数本身也是一个值,也有自己的作用域。它的作用域与变量一样,就是其声明时所在的作用域,与其运行时所在的作用域无关。
函数执行时,所在的作用域,也是定义时的作用域,而不是调用时所在的作用域。
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
函数体内部声明的函数,作用域绑定函数体内部。
function foo() {
var x = 1;
function bar() {
console.log(x);
}
return bar;
}
var x = 2;
var f = foo();foo函数执行后返回了一个函数
f() // 1
函数foo内部声明了一个函数bar,bar的作用域绑定foo。当我们在foo外部取出bar执行时,变量x指向的是foo内部的x,而不是foo外部的x。正是这种机制,构成了下文要讲解的“闭包”现象。
5.参数
5.1概述
函数运行的时候,有时需要提供外部数据,不同的外部数据会得到不同的结果,这种外部数据就叫参数。
5.2参数的省略
*JS语言允许省略
* 被省略的参数的值就变为undefined
*实参写一个,就会认为是传的第一个形参,写多了报错,不写可以
*形参两个,实参想传第二个参数怎么写,只写一个不可能被js引擎认为是再传第二个形参,第一参必须传一个什么占位,如果一定要省略靠前的参数,只有显示传入undefined。
function f(a, b) {
return a;
}
f( , 1) // SyntaxError: Unexpected token ,
直接省略第一个参数报错
f(undefined, 1) // undefined
5.3默认值
为函数的参数设置默认值。
function f(a){
a = a || 1;
return a;
}
f('') // 1
f(0) // 1
||表示“或运算”,即如果a有值,则返回a,否则返回事先设定的默认值
这种写法会对a进行一次布尔运算,只有为true时,才会返回a。可是,除了undefined以外,0、空字符、null等的布尔值也是false。也就是说,在上面的函数中,不能让a等于0或空字符串,否则在明明有参数的情况下,也会返回默认值。
为了避免这个问题,可以采用下面更精确的写法。
function f(a) {
(a !== undefined && a !== null) ? a = a : a = 1;
return a;}
f() // 1
f('') // ""
f(0) // 0
5.4传递方式
5.4.1函数参数如果是原始类型的值(数值、字符串、布尔值),传递方式是传值传递(passes by value)。这意味着,在函数体内修改参数值,不会影响到函数外部。
var p = 2;
function f(p) {
console.log(p); //2
p = 3;
a=1;
// 这样做说明,只有在调用函数才会声明这个变量,而且由于没有用var命令,默认声明的是个全局变量
console.log(p); //3
}
f(p);
// 和用f(2)相当;
console.log(a)
console.log(p)//2
其实每个形参都是相当于是在函数内部声明了一个变量,所谓传值就是把传进去的东西赋值给了p
var p=p就相当于是在函数内部声明了一个p
,然后又把传进来的参数赋值给它了
p的值是原始值的拷贝,无论怎么修改,都不会影响到原始值。
5.4.2如果函数参数是复合类型的值(数组、对象、其他函数),传递方式是传址传递(pass by reference)。也就是说,传入函数的原始值的地址,因此在函数内部修改参数,将会影响到原始值。
var obj = {p: 1};
function f(o) {
o.p = 2;
}
f(obj);
obj.p // 2
上面代码中,传入函数f的是参数对象obj的地址。因此,在函数内部修改obj的属性p,会影响到原始值。
5.4.3 如果函数内部修改的,不是参数对象的某个属性,而是替换掉整个参数,这时不会影响到原始值。
var obj = [1, 2, 3];
function f(o){
o = [2, 3, 4];
}
f(obj);
obj // [1, 2, 3]
这是因为,形式参数(o)与实际参数obj存在一个赋值关系。
// 函数f内部o = obj;
如果对o赋予一个新的值,就等于切断了o与obj的联系,导致此后的修改都不会影响到obj了。
5.4.4 对应上面第一条,如何实现,实参传进去一个原始变量,在函数内部修改全局变量的值
var a = 1;
function f(p) {
window[p] = 2; //因为变量a 是window的一个属性。用这种方法也可以改变全局变量a 的值
// a=2;
}
f('a');
console.log(a)//2
5.5同名参数
5.5.1如果有同名的参数,则取最后出现的那个值。
function f(a, a) {
console.log(a);
}
//相当于是
function f(a, a) {
var a=1;
var a=2;
console.log(a);
}
f(1, 2) // 2
5.5.2取值的时候,以后面的a为准。即使后面的a没有值或被省略,也是以其为准。
function f(a, a){
console.log(a);
}
f(1)
// undefined
5.5.3 调用函数f的时候,没有提供第二个参数,a的取值就变成了undefined。这时,如果要获得第一个a的值,可以使用arguments对象。
function f(a, a){
console.log(arguments[0]);
}
f(1) // 1
5.6 arguments对象
由于JavaScript允许函数有不定数目的参数,所以我们需要一种机制,可以在函数体内部读取所有参数。这就是arguments对象的由来
arguments对象包含了函数被调用时传入的所有参数,同通过它可以选中所有实参,arguments[0]就是第一个参数
这个对象只有在函数体内部,才可以使用。
可以通过arguments对象的length属性,判断函数调用时到底带几个参数。是实参的长度,和形参设置多少个,或者没有设置都没有关系
function f() {
return arguments.length;
}
f(1, 2, 3) // 3
f(1) // 1
f() // 0
(1) 函数声明时,形参不设定,调用函数时候往里传参了不算错,只是你不方便用到传进来的值而已,
(2)与数组的关系:伪数组
虽然arguments很像数组,但它是一个对象。数组专有的方法(比如slice和forEach),不能在arguments对象上直接使用。
*可以通过apply方法,把arguments作为参数传进去,这样就可以让arguments使用数组方法了。
// 用于apply方法myfunction.apply(obj, arguments).【标记】
// 比如使用与另一个数组合并Array.prototype.concat.apply([1,2,3], arguments)【标记】
*要让arguments对象使用数组方法,真正的解决方法是将arguments转为真正的数组。下面是两种常用的转换方法:slice方法和逐一填入新数组。
var args = Array.prototype.slice.call(arguments);
// or
var args = [];
for (var i = 0; i < arguments.length; i++) {
args.push(arguments[i]);
}
*arguments对象除了可以读取参数,还可以为参数赋值(严格模式不允许这种用法)。
var f = function(a, b) {
arguments[0] = 3;
arguments[1] = 2;
return a + b;
}
f(1, 1)// 5
(3)callee属性
arguments对象带有一个callee属性,返回它所对应的原函数。
var f = function(one) {
console.log(arguments.callee === f);}
f() // true
通过arguments.callee,达到调用函数自身的目的。这个属性在严格模式里面是禁用的,因此不建议使用。
三.函数的其他知识点
1闭包(现象)
理解闭包,首先必须理解变量作用域。前面提到,JavaScript有两种作用域:全局作用域和函数作用域
函数内部可以直接读取全局变量, 在函数外部无法读取函数内部声明的变量。
如果出于种种原因,需要得到函数内的局部变量。正常情况下,这是办不到的,只有通过变通方法才能实现。那就是在函数的内部,再定义一个函数。
function f1() {
var n = 999;
function f2() {
console.log(n); // 999
}
}
f1内部所有变量对f2可见,反过来不行
1.1这就是JavaScript语言特有的”链式作用域”结构(chain scope),子对象会一级一级地向上寻找所有祖先对象的变量。所以,祖先对象的所有变量,对子对象都是可见的,反之则不成立。
子一级的函数找得到以及找不到祖父一级的全局变量
var a = 2;
function f() {
function ff() {
console.log(a)
}
ff();
}
f();
最后输出2
function f(){
function ff(){
console.log(a)
}
}
ff();直接调用内层函数会报错找不到,因为声明的内层函数作用域是在f函数内部,超出范围就不行了,即使先f()后ff()也调用不了
想直接调用内层函数,可以由外层函数直接把内层函数返回
function f(){
function ff(){
console.log(123)
}
return ff;
}
var myfunc=f();
myfunc(); 调用myfunc()就相当于外层函数在内部调用了ff();
function f2() {
function ff() {
return 3
}
return ff()
}
console.log(f2())
调用外层函数,外层函数执行时会调用内层函数,内层函数的返回值会返回到外层调用它的地方,然后再由外层把这个值返回到全局
f2可以读取f1的局部变量,那么只要把f2作为返回值,我们不就可以在f1外部读取它的内部变量了吗!
function f1() {
var n = 999;
function f2() {
console.log(n);
}
return f2; 这里直接返回了一个函数
}
var result = f1();
result(); // 999
两个判断:var result = f1();首先这里一定是传址赋值传递的是内存地址,而不是值的拷贝,这里无非是想办法能在最外部(全局)调用定义在f1内部内层函数
1.2 这样的设计(设计了一个函数套函数的结构再由外部函数返回内部函数)体现了闭包现象的核心:给到全局一个访问函数内部变量的接口;
1.3下面的表达不严谨,算是对“闭包”比较浅显的理解:闭包就是函数f2,即能够读取其他函数内部变量的函数。 由于在JavaScript语言中,只有函数内部的子函数才能读取内部变量,因此可以把闭包简单理解成“定义在一个函数内部的函数”。
1.4闭包最大的特点,就是它可以“记住”诞生的环境,比如f2记住了它诞生的环境f1,所以从f2可以得到f1的内部变量。在本质上,闭包就是将函数内部和函数外部连接起来的一座桥梁。
1.5闭包的两大作用:
一个是可以读取函数内部的变量
另一个就是让这些函数内部的变量始终保持在内存中,即闭包可以使得它诞生环境一直存在。请看下面的例子,闭包使得内部变量记住上一次调用时的运算结果
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,因此也始终在内存中,不会在调用结束后,被垃圾回收机制回收。
闭包的另一个用处,是封装对象的私有属性和私有方法,封装的是这些私有属性方法的代码。(js高级),等你实例化出一个对象后,就可以通过调用这个对象的私有属性和方法来达到设定和读取的作用
function Person(name) {
var _age;
function setAge(n) {
_age = n;
}
function getAge() {
return _age;
}
return {
name: name,
getAge: getAge,
setAge: setAge
};}
var p1 = Person('张三');这句话是实例化对象,调用构造函数构造类实例化对象,是JS中面向对象编程的突出体现
p1.setAge(25);
p1.getAge() // 25
函数Person的内部变量_age,通过闭包getAge和setAge,变成了返回全局变量p1、全局对象p1的私有变量。
外层函数每次运行,都会生成一个新的闭包(内存当中独属于这次调用的代码包),而这个闭包又会保留外层函数的内部变量,所以内存消耗很大。因此不能滥用闭包,否则会造成网页的性能问题。
2立即调用的函数表达式(iife)
2.1在Javascript中,一对圆括号()是一种运算符,跟在函数名之后,表示调用该函数。
2.2有时,我们需要在定义函数之后,立即调用该函数。这时,你不能在函数的定义之后加上圆括号,这会产生语法错误。
function(){ /* code */ }();// SyntaxError: Unexpected token (
2.3产生这个错误的原因是,function这个关键字即可以当作语句,也可以当作表达式。
// 语句function f() {}
// 表达式var f = function f() {}
为了避免解析上的歧义,JavaScript引擎规定,如果function关键字出现在行首,一律解释成语句。因此,JavaScript引擎看到行首是function关键字之后,认为这一段都是函数的定义,不应该以圆括号结尾,所以就报错了。
解决方法就是不要让function出现在行首,让引擎将其理解成一个表达式(表达式+()才算调用)。最简单的处理,就是将其放在一个圆括号里面。
(function(){ /* code */ }());
// 或者
(function(){ /* code */ })();
上面两种写法都是以圆括号开头,引擎就会认为后面跟的是一个表示式,而不是函数定义语句,所以就避免了错误。
2.4这就叫做“立即调用的函数表达式”(Immediately-Invoked Function Expression),简称IIFE。
,上面两种写法最后的分号都是必须的。如果省略分号,遇到连着两个IIFE,可能就会报错。!!
2.5 语句是一行命令,而表达式是返回值的,所有的运算符操作的都是值,这个是广义的值,函数就算值
而广之,任何让解释器以表达式来处理函数定义的方法,都能产生同样的效果,()运算符都可以起到执行函数的作用
+function(){ /* code */ }();
var i = function(){ return 10; }();
true && function(){ /* code */ }();
0, function(){ /* code */ }();
!function(){ /* code */ }();
~function(){ /* code */ }();
-function(){ /* code */ }();
+function(){ /* code */ }();
new关键字后面跟函数也能执行它,都不需要加后面的()只有传递参数时,才需要最后那个圆括号
new function(){ /* code */ }
new function(){ /* code */ }()//
通常情况下,只对匿名函数使用这种“立即执行的函数表达式”。它的目的有两个:一是不必为函数命名,避免了污染全局变量,立即执行函数的函数名可能会跟其他定义的变量名冲突造成未知后果,;二是IIFE内部形成了一个单独的作用域,可以封装一些外部无法读取的私有变量。
*匿名函数:独立出一个单独的作用域;
*闭包现象:给到外部一个访问内部变量的接口;
// 写法一
var tmp = newData;
processData(tmp);
storeData(tmp);
下面的写法完全避免了污染全局变量,并且起到了完全相同的效果
// 写法二(function (){
var tmp = newData;
processData(tmp);
storeData(tmp);
}());
3.eval命令
作用:将字符串当作语句执行。
('var a = 1;');a // 1
3.1 放在eval中的字符串,应该有独自存在的意义,不能用来与eval以外的命令配合使用。举例来说,下面的代码将会报错。
eval('return;');报错
3.2 eval没有自己的作用域,都在当前作用域内执行,因此可能会修改当前作用域的变量的值,造成安全问题。
var a = 1;eval('a = 2');
a // 2
eval命令修改了外部变量a的值。由于这个原因,eval有安全风险。
3.3 为了防止这种风险,JavaScript规定,如果使用严格模式,eval内部声明的变量,不会影响到外部作用域。
(function f() {
'use strict';
var foo = 1;
eval('foo = 2');
console.log(foo); // 2
})()
3.4 函数f内部是严格模式,这时eval内部用var声明的foo变量,外面读不到,但是eval依然可以读写当前作用域的变量,安全风险依然存在
(function f() {
'use strict';
eval('var foo = 123');
console.log(foo); // ReferenceError: foo is not defined})()
(function f() {
'use strict';
var foo = 1;
eval('foo = 2');
console.log(foo); // 2
})()
3.5 eval的命令字符串不会得到JavaScript引擎的优化,运行速度较慢。这也是一个不应该使用它的理由。
3.6eval最常见的场合是解析JSON数据字符串,不过正确的做法应该是使用浏览器提供的JSON.parse方法。
JavaScript引擎内部,eval实际上是一个引用,默认调用一个内部方法【什么方法没说】。这使得eval的使用分成两种情况,一种是像上面这样的调用eval(expression),这叫做“直接使用”,这种情况下eval的作用域就是当前作用域。除此之外的调用方法,都叫“间接调用”,此时eval的作用域总是全局作用域(为什么引用会造成函数作用域的差异,详见《面向对象编程》一章的《this》一节)。
var a = 1;
function f() {
var a = 2;
var e = eval;
e('console.log(a)');}
f() // 1
eval是间接调用,所以即使它是在函数中,它的作用域还是全局作用域,因此输出的a为全局变量。
3.7【eval的间接调用的形式五花八门,只要不是直接调用,都属于间接调用】
3.8与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()的写法也可以读写全局作用域,所以也是应该避免使用它。