JS高级程序设计精简版（第十章：函数）附思维导图

        时隔两年后二刷JavaScript高级程序语言，纯手打读书笔记+思维导图，让自己有一个比较全面的知识体系，后面有遇到例子的时候会慢慢补充更多的用法。有不足之处欢迎大家评论区指出，共勉！！

第十章 函数

函数也是对象，函数是Function类型的实例，函数名就是指向函数对象的指针。

定义函数的四种方式：函数声明、函数表达式、new Function();、箭头函数

一、参数

1、实参

函数定义的形参个数可以和实参个数不同，因为函数被调用时接收一个数组保存实参。

因为js函数使用参数数组，所以函数无法重载（无签名：参数类型或数量不同）。

2、默认参数

function makeKing(name = 'Henry') { }//ES6新增

arguments对象的值不会是命名参数的默认值。

默认参数也可以是调用一个函数求的值，只是在函数调用时才会求这个值。

箭头函数也支持默认值，此时不能省略括号()。

3、默认参数的作用域和暂时性死区

给多个参数定义默认值跟使用 let 关键字顺序声明变量一样，所以前面的参数无法引用后面定义的参数（暂时性死区），也不能引用函数体内定义的let/const变量。

4、参数扩展与收集

参数扩展：countArguments(-1, ...values);

参数收集：function ignoreFirst(firstValue, ...values) { }//...values后面不能再声明参数。

二、定义函数

1、箭头函数

let triple = x => 3 * x; //省略函数体的{}就会返回这一行代码的值

箭头函数局限：不能使用arguments、super、new.target，不能用作构造函数，没有prototype属性。

2、函数声明

function a(){}，通过这种方法会让函数声明提升，且生成函数定义，所以可以在声明前调用函数，比变量更先提升。

1. 函数表达式

var a = function(){}，函数表达式不会被提升，无法在函数定义前调用。

1. Function()构造函数定义函数

• 函数内部

1、arguments对象

arguments：在函数内部访问arguments对象来取得传入的每个参数。arguments是类数组对象，通过arguments[0]来获取第一个参数，其值始终会与命名参数一致（内存分开）。

严格模式：①arguments赋值不会改变命名参数的值②无法重写arguments对象。

箭头函数无法使用arguments，但是可以在箭头函数外面包装一层function再使用参数。

arguments.callee指向函数本身，可以在函数内部调用此函数本身，与函数名解耦。

2、this

标准函数：this是调用此函数的上下文对象。

箭头函数：this是定义箭头函数的上下文。

回调函数中的标准函数，this默认指向window，因为在函数调用前没有.调用，可以通过箭头函数解决。

1. caller

函数对象上有一个属性caller，指向调用此函数的函数，全局作用域中调用则为null。

严格模式：访问arguments.callee和arguments.caller都会报错。不能给caller赋值。

1. new.target（ES6）

new.target：函数是否使用 new 关键字调用的，是new a()则new.target指向a构造函数。

• 函数的属性和方法

1. 属性

length：保存函数定义中，命名参数的个数。

prototpye：原型对象。

1. 方法

apply(指定函数作用域的对象，[参数数组])

call(指定函数作用域的对象，...[参数数组])

这两种方法都可以定义函数的this指向，可以将任意对象设置为函数的作用域。

bind(obj)创建一个新的函数实例，this会绑定给obj。

toLocaleString()、toString()返回函数字符串代码，valueOf()返回函数本身。

五、递归

1、递归

递归：在函数内部调用函数本身。

第一种：通过函数名调用，当函数名修改时则会出错。

第二种：使用arguments.callee调用函数本身，但严格模式无法访问arguments.callee

第三种：使用命名函数表达式 var fun = (function f(n) { f(n-1)})

2、尾调用优化

尾调用：外层函数的返回值是内层函数的返回值。

ES5：每多调用一次嵌套函数，就会多增加一个栈帧。

ES6：符合尾调用优化条件的，会在return时将第一个栈帧弹出栈外，所以无论调用多少次嵌套函数，都只有一个栈帧，这种优化在递归中尤其明显。

优化条件：

①必须在严格模式下（因为严禁使用arguments.callee造成对外函数的引用）

②外函数的返回值是调用尾调用函数，返回后不用再执行额外的逻辑，且不是闭包。

六、闭包

1、闭包

活动对象：函数执行时，每个执行上下文都有一个包含其中变量的对象，叫变量对象（全局上下文）或者活动对象（函数上下文）。

定义函数时，会为他创建作用域链，预装载全局变量对象，保存在内部[[Scope]]中。

调用函数时，创建其执行上下文，复制[[scope]]来创建作用域链，然后创建活动对象并将其推入作用域链前端。

闭包：引用了另一个函数作用域中变量的函数。外层函数的活动对象在函数执行完不能被销毁，因为内层函数的作用域链仍有对他的引用。

闭包中的this，指向的是调用此函数（返回的这个函数）的执行上下文，所以将this保存到闭包中则可以实现在内部函数直接访问外部变量。也可以通过赋值this固定作用域。

let object = {

identity: 'My Object',

getIdentityFunc() {

let that = this; //赋值this固定作用域

return function() {

return that.identity; //不论函数在何处执行，that都始终指向object

};

}

2、内存泄露

因为IE9之前的垃圾回收机制是引用计数，所以闭包会导致内存泄露。后面的版本尽量回收闭包中不用的数据，但也应谨慎使用闭包。

3、立即执行函数

立即执行函数(function(){//作用域 })()可以模拟块级作用域（ES5）。

4、私有变量

任何定义在函数或块中的变量，都是私有的。

特权方法：能够访问私有变量的公共方法，可以通过两种方式实现。

第一种：通过构造函数定义

私有变量不用this，而在this.方法中访问这些变量（闭包）。构造函数定义特权方法的缺点是会为每个实例创建此方法。

第二种：通过使用私有作用域定义，具体有以下三种模式

1）静态私有变量

通过使用私有作用域定义私有变量和函数。

(function() {

// 静态私有变量，实例共享

let privateVariable = 10;

// 构造函数 MyObject是全局变量 可以在外部使用 注意严格模式报错

MyObject = function() {};

// 公有和特权方法 定义在原型上

MyObject.prototype.publicMethod = function() {

return privateVariable;

};

})();

2）模块模式

let singleton = function() {

let privateVariable = 10; // 私有变量

return { // 特权/公有方法和属性

publicMethod() { }

};

}();

模块模式 是在单例对象基础上拓展的，在立即执行函数中定义私有变量和方法，然后return一个对象，此对象里的属性和方法是公有的特权方法。

3）模块增强模式

在模块模式中，返回对象之前，先将对象增强，比如通过构造函数创建此对象。