8-函数的扩展

函数参数的默认值

基本用法

es5中,传入函数的参数如果为'',那么在进行判断时会转化为false,对结果造成影响

function log(x, y) {
  y = y || 'World';
  console.log(x, y);
}

log('Hello') // Hello World
log('Hello', 'China') // Hello China
log('Hello', '') // Hello World //这里!

es6允许为函数的参数设置默认值,直接写在参数定义的后面,只有在参数是undefined时才采用默认值

function log(x, y = 'World') {
  console.log(x, y);
}

log('Hello') // Hello World
log('Hello', 'China') // Hello China
log('Hello', '') // Hello

function Point(x=0,y=0){
    this.x = x
    this.y = y
}
const p = new Point()
p //{x:0,y:0}

参数的变量是默认声明的,不能再次声明

function foo(x=5){
    let x =1 // error
    const x =2 // error
}

使用参数默认值时,函数不能有同名函数

function foo(x,x,y=1){...} //报错

与解构赋值结合使用

function foo({x,y = 5}){
    console.log(x,y)
}
foo({}) //undefined,5
foo({x:1}) //1,5
foo({x:1,y:2}) //1,2
foo() //报错: TypeError: Cannot read property 'x' of undefined
解释:
上面代码只使用了对象的解构赋值默认值，没有使用函数参数的默认值
{x,y =5}是一个参数,这个参数里面的內容,赋了默认值,但是这个参数本身,并没有默认值,所以找不到x

可以写成:双重默认值:如果没提供参数,foo的参数默认一个空对象

function foo({x,y=5}={}){
    console.log(x,y)
}

下面代码中，函数fetch没有第二个参数时，函数参数的默认值就会生效，
然后才是解构赋值的默认值生效，变量method才会取到默认值GET

function fetch(url, { body = '', method = 'GET', headers = {} } = {}) {
  console.log(method);
}

fetch('http://example.com')
// "GET"

有差别的写法:

写法一:
function m1({x=0,y=0} = {}){
    return [x,y]
}
写法二:
function m2({x,y} ={x:0,y:0}){
    return [x,y]
}

写法一:对函数参数进行了解构赋值,为空对象,对函数参数里面的內容进行了解构赋值
写法二:对函数参数进行了解构赋值,但没进行参数里面內容的解构赋值,所以只有在没有传入参数的时候,默认值才生效,传入参数,默认值久被覆盖,返回undefined

m1() //[0,0]
m2() //[0,0]

m1({x:3,y:8}) //[3,8]
m2({x:3,y:8}) //[3,8]

m1({x:3}) //[3,0]
m2({x:3}) //[3,undefined]

m1({}) //[0,0]
m2({}) //[undefined,undefined]

m1({z:3}) //[0,0]
m2({z:3}) //[undefined,undefined]

参数默认的位置

当定义参数默认值的时候,应该是函数的尾参数

function f(x=1,y){
    return [x,y]
}
f() // [1, undefined]
f(2) // [2, undefined]
f(, 1) // 报错
f(undefined, 1) // [1, 1]

function f(x, y = 5, z) {
  return [x, y, z];
}

f() // [undefined, 5, undefined]
f(1) // [1, 5, undefined]
f(1, ,2) // 报错
f(1, undefined, 2) // [1, 5, 2]

函数的length属性

length属性的含义:该函数预期传入的参数个数

(function (a){...}).length //1

当参数指定了默认值之后,length将返回没有指定默认值的参数个数

(function (a=5){}).length // 0
(function (a, b, c = 5) {}).length // 2

当指定了默认值的参数不是尾参数,length将不再计入后面的参数

(function (a = 0, b, c) {}).length // 0
(function (a, b = 1, c) {}).length // 1

作用域

当给参数设置了默认值,当函数初始化时,参数会形成一个单独的作用域,初始化结束,作用域消失

var x = 1
function f(x,y=x){
    console.log(y)
}
f(2) //2

上面代码中，参数y的默认值等于变量x。调用函数f时，参数形成一个单独的作用域。
在这个作用域里面，默认值变量x指向第一个参数x，而不是全局变量x，所以输出是2。

let x = 1
function f(y = x){
    let x = 2
    console.log(y)
}
f() //1

上面代码中，函数f调用时，参数y = x形成一个单独的作用域。
这个作用域里面，变量x本身没有定义，所以指向外层的全局变量x。
函数调用时，函数体内部的局部变量x影响不到默认值变量x。

如果此时，全局变量x不存在，就会报错。

function f(y = x) {
  let x = 2;
  console.log(y);
}
f() // ReferenceError: x is not defined

下面代码中，参数x = x形成一个单独作用域。
实际执行的是let x = x，由于暂时性死区的原因，这行代码会报错”x 未定义“。

var x = 1;
function foo(x = x) {...}
foo() // ReferenceError: x is not defined

如果参数的默认值是一个函数,该函数的作用域也遵守这个规则

let foo = 'outer'
function bar(func = () =>foo){
    let foo = 'inner'
    console.log(func())
}
bar() //outer

如果写成下面这样，就会报错。

function bar(func = () => foo) {
  let foo = 'inner';
  console.log(func());
}
bar() // ReferenceError: foo is not defined

var x=1;
function foo(x,y=function(){x=2}){
    var x = 3
    y()
    console.log(x)
}
foo() //3
console.log(x) //1

解释:

var x1 = 1; 
function foo (x2, y = function () { x2 = 2; console.log(x2); }) {
    var x3 = 3;
    y();
    console.log(x3); 
}
foo();
console.log(x1);

首先全局作用域中有一个x(x1),函数foo的参数(中间作用域)中有一个x(x2),函数foo内部有一个x(x3)
在foo参数形成的作用域里声明了变量x,y.
y的默认值是一个函数,这个函数内部的x,指向同一个作用域的x.
在foo内部形成的作用域里声明了变量x,因为和x1不在同一个作用域,所以不同于x1,是x3
所以执行y后，内部变量x和外部全局变量x的值都没变

中间作用域
如果将var x = 3的var删掉,函数内部的x指向外部的x

应用

• 利用参数默认值，可以指定某一个参数不得省略，如果省略就抛出一个错误。

参数的默认值不是在定义时执行，而是在运行时执行。如果参数已经赋值，默认值中的函数就不会运行。

rest参数

(...变量名),用于获取多余函数,rest参数搭配的变量是一个数组,该变量将多余的参数放入数组中

function add(...values){
    let sum = 0
    for(var val og values){
        sum += val
    }
    return sum
}
add(2,5,3) //10

下面是一个 rest 参数代替arguments变量的例子。

// arguments变量的写法
function sortNumbers() {
  return Array.prototype.slice.call(arguments).sort();
}

// rest参数的写法
const sortNumbers = (...numbers) => numbers.sort();

/*arguments对象不是数组，而是一个类似数组的对象。
所以为了使用数组的方法，必须使用Array.prototype.slice.call先将其转为数组。*/
下面是一个利用 rest 参数改写数组push方法的例子

function push(array,...items){
    items.forEach(function(item){
        array.push(item)
    })
}
var a = [];
push(a, 1, 2, 3)

注意:rest 参数之后不能再有其他参数（即只能是最后一个参数），否则会报错。
函数的length属性，不包括 rest 参数

(function(a) {}).length  // 1
(function(...a) {}).length  // 0
(function(a, ...b) {}).length  // 1

严格模式

函数参数使用了默认值、解构赋值、或者扩展运算符，
那么函数内部就不能显式设定为严格模式，否则会报错
两种方法可以规避这种限制。第一种是设定全局性的严格模式，这是合法的。

'use strict';

function doSomething(a, b = a) {
  // code
}

第二种是把函数包在一个无参数的立即执行函数里面。

const doSomething = (function () {
  'use strict';
  return function(value = 42) {
    return value;
  };
}());

name属性

返回该函数的函数名

var f = function () {};

// ES5
f.name // ""

// ES6
f.name // "f"

Function构造函数返回的函数实例，name属性的值为anonymous。
(new Function).name // "anonymous"

bind返回的函数，name属性值会加上bound前缀。
function foo() {};
foo.bind({}).name // "bound foo"
(function(){}).bind({}).name // "bound "

箭头函数

基本用法

var f = v => v;
// 等同于
var f = function (v) {
  return v;
};

• 如果箭头函数不需要参数或需要多个参数，就使用一个圆括号代表参数部分

var f=()=>5;
// 等同于
var f = function(){return 5};

var sum = (num1,num2)=>num1+num2
// 等同于
var sum = function(num1, num2) {
  return num1 + num2;
};

• 如果箭头函数的代码块部分多于一条语句，就要使用大括号将它们括起来，并且使用return语句返回

var sum = (num1, num2) => { return num1 + num2; }

• 由于大括号被解释为代码块，所以如果箭头函数直接返回一个对象，必须在对象外面加上括号

// 报错
let getTempItem = id => { id: id, name: "Temp" };

// 不报错
let getTempItem = id => ({ id: id, name: "Temp" });

• 如果箭头函数只有一行语句，且不需要返回值，可以采用下面的写法

let fn = ()=>void doesNotReturn()

• 箭头函数可以与变量解构结合使用。

const full = ({ first, last }) => first + ' ' + last;

// 等同于
function full(person) {
  return person.first + ' ' + person.last;
}

• 简化回调函数

[1,2,3].map(x=>x*x)

[1,2,3].map(function (x) {
  return x * x;
});

var result = values.sort((a,b)=>{a*b})

var result = values.sort(function(a,b){
    return a*b
})

• rest参数和箭头函数结合

const numbers = (...nums)=>nums
numbers(1,2,3,4,5)  // [1,2,3,4,5]

const headAndTail = (head,...tail)=>[head,tail]
headAndTail(1,2,3,4,5) //[1,[2,3,4,5]

注意点:

• this对象,是定义生效时所在的对象,而不是使用时所在的对象
• 不可以当作构造函数,不可以使用new命令
• 不可以使用arguments对象,该对象在函数体内不存在,可以用rest参数代替
• 不可以使用yield命令,箭头函数不能用作Generator函数

function foo(){
    setTimeout(()=>{
        console.log('id':this.id)
    },100)
}
var id = 21
foo.call({id:42}) //id:42

解释:

上面代码中，setTimeout()的参数是一个箭头函数，
这个箭头函数的定义生效是在foo函数生成时，而它的真正执行要等到 100 毫秒后。
如果是普通函数，执行时this应该指向全局对象window，这时应该输出21。
但是，箭头函数导致this总是指向函数定义生效时所在的对象（本例是{id: 42}），
所以打印出来的是42

function Timer(){
    this.s1 = 0;
    this.s2 = 0;
    setInterval(()=>this.s1++,1000)
    setInterval(function(){
        this.s2++
    },1000)
}
var timer = new Timer()

setTimeout(() => console.log('s1: ', timer.s1), 3100);
setTimeout(() => console.log('s2: ', timer.s2), 3100);
// s1: 3
// s2: 0

解释:

Timer函数内部设置了2个定时器:
箭头函数的this指向了定义时所在的作用域,所以是Timer函数
普通函数的this指向了运行时所在的作用域,所以是window(全局对象)
所以3100ms后,timer.s1被更新了3次,timer.s2一次都没更新

var handler = {
    id:'123456',
    init:function(){
        document.addEventListener('click',
        event=>this.doSomething(event.type),false)
    },
    doSomething:function(type){
         console.log('Handling ' + type  + ' for ' + this.id);
    }
    
}

解释:

init方法中箭头函数的this指向handler对象.

this指向固定化,并不是因为箭头函数内部绑定this,而是箭头函数没有自己的this,
导致内部的this就是外层代码块的this,也是因为没有this,就不能用作构造函数.

es6:
function foo(){
    setTimeout(()=>{
        console.log('id':this.id)
    },100)
}
es5:
function foo(){
    var _this = this
    setTimeout(funciton(){
        console.log('id',_this.id)
    },100)
}

function foo() {
  return () => {
    return () => {
      return () => {
        console.log('id:', this.id);
      };
    };
  };
}

var f = foo.call({id: 1});

var t1 = f.call({id: 2})()(); // id: 1
var t2 = f().call({id: 3})(); // id: 1
var t3 = f()().call({id: 4}); // id: 1

下面代码中，箭头函数内部的变量arguments，其实是函数foo的arguments变量

function foo(){
    setTimeout(()=>{
        console.log('args:',arguments)
    },100)
}
foo(2,4,6,8) //args:[2,4,6,8]

因为箭头函数没有自己的this,所以bind(),apply(),call()都不能改变this指向

(function (){
    return[(()=>this.x).bind({x:'inner'})()]    
}).call({x:'outer'})
//['outer']

不适用场合

• 定义对象的方法

const cat = {
    lives:9,
    jump:()=>{
        this.lives--
    }
}

因为对象不构成单独的作用域,所以此时的箭头函数的this指向全局对象
如果是普通函数的this指向cat

• 需要动态的this的时候

var button = document.getElementById('press')
button.addEventListener('click',()=>{
    this.classList.toggle('on')
})

上面代码运行时，点击按钮会报错，
因为button的监听函数是一个箭头函数，导致里面的this就是全局对象。
如果改成普通函数，this就会动态指向被点击的按钮对象。

嵌套的箭头函数

* es5:
function insert(value) {
  return {into: function (array) {
    return {after: function (afterValue) {
      array.splice(array.indexOf(afterValue) + 1, 0, value);
      return array;
    }};
  }};
}

insert(2).into([1, 3]).after(1);
* es6:
let insert = (value)=>{
    ({into:(array)=>({after:(afterValue)=>{
        array.splice(array.indexOf(afterValue) + 1, 0, value)
        return array;
    }})})
}
insert(2).into([1, 3]).after(1); //[1, 2, 3]

indexOf,存在返回对应位置,不存在返回-1
splice(新增/删除位置,删除的数量(如果为0就不删除),內容)

一个部署管道机制（pipeline）的例子，即前一个函数的输出是后一个函数的输入

const pipeline = (...funcs)=>{
    val=>funcs.reduce((a,b)=>b(a),val)
} 
const plus1 = a=>a+1
const mult2 = a=>a*2
const addThenMult = pipeline(plus1,mult2)
addThenMult(5) //12
即:
const plus = a=>a+1
const mult2 = a=>a*2
mult2(plus1(5))
// 12

reduce():

arr.reduce(function(prev,cur,index,arr){
    ...
},init)
arr:原数组
prev:上一次调用回调时的返回值.或者初始值init
cur:当前正在处理的元素
index:表示当前正在处理的数组元素的索引，若提供 init 值，则索引为0，否则索引为1
init:初始值

尾调用优化

概念

尾调用:函数式编程的一个概念,指某个函数的最后一步时调用另一个函数

function f(x){
    return g(x)
}

上面代码中，函数f的最后一步是调用函数g，这就叫尾调用。
以下三种情况，都不属于尾调用。

// 情况一:调用g之后还有赋值操作
function f(x){
  let y = g(x);
  return y;
}

// 情况二:调用g之后还有别的操作
function f(x){
  return g(x) + 1;
}

// 情况三:return的时undefined
function f(x){
  g(x);
}

尾调用不一定出现在函数尾部，只要是最后一步操作即可

function f(x){
    if(x>0){
        return m(x)
    }
    return n(x)
}

m和n都属于尾调用

尾调用优化

尾调用优化:只保留内层函数的调用帧

function f() {
  let m = 1;
  let n = 2;
  return g(m + n);
}
f();

// 等同于
function f() {
  return g(3);
}
f();

// 等同于
g(3);

如果所有函数都是尾调用，那么完全可以做到每次执行时，调用帧只有一项，
这将大大节省内存。这就是“尾调用优化”的意义。

function addOne(a){
    var one = 1
    function inner(b){
        retrun b+one
    }
    return inner(a)
}

注意:目前只有 Safari 浏览器支持尾调用优化，Chrome 和 Firefox 都不支持

尾递归

递归:函数调用自身
尾递归:尾调用自身
下面代码是一个阶乘函数，计算n的阶乘，最多需要保存n个调用记录，复杂度 O(n) 。

function factorial(n) {
  if (n === 1) return 1;
  return n * factorial(n - 1);
}

factorial(5) // 120

改写成尾递归，只保留一个调用记录，复杂度 O(1)

function factorial(n, total) {
  if (n === 1) return total;
  return factorial(n - 1, n * total);
}

factorial(5, 1) // 120

非尾递归的 Fibonacci 数列实现如下

function Fibonacci (n){
    if(n<=1){return 1}
    return Fibonacci(n-1)+Fibonacci(n-2)
}
Fibonacci(10) // 89
Fibonacci(100) // 超时
Fibonacci(500) // 超时

function Fibonacci(n,ac1=1,ac2=1){
    if(n<=1){return ac2}
    return Fibonacci(n-1,ac2,ac1+ac2)
}

Fibonacci2(100) // 573147844013817200000
Fibonacci2(1000) // 7.0330367711422765e+208
Fibonacci2(10000) // Infinity

ES6 中只要使用尾递归，就不会发生栈溢出（或者层层递归造成的超时），相对节省内存

递归函数的改写

如果想采用尾递归的实现,需要改写递归函数,确保最后一步只调用自身
做到这一点的方法，就是把所有用到的内部变量改写成函数的参数
计算5的阶乘,怎么做才可以只传入一个参数:

方法一:是在尾递归函数之外，再提供一个正常形式的函数

function tailFactorial(n, total) {
  if (n === 1) return total;
  return tailFactorial(n - 1, n * total);
}

function factorial(n) {
  return tailFactorial(n, 1);
}

factorial(5) // 120

柯里化:将多参数的函数转换成单参数的形式

方法二:es6的函数默认值

function factorical(n, total = 1){
      if (n === 1) return total;
      return factorial(n - 1, n * total);
}
factorial(5) // 120

递归的本质是循环操作,
纯粹的函数式编程语言没有循环操作命令，所有的循环都用递归实现，
这就是为什么尾递归对这些语言极其重要。

严格模式

ES6的尾调用优化直再严格模式下开启,正常模式无效
这是因为在正常模式下，函数内部有两个变量，可以跟踪函数的调用栈。

func.arguments：返回调用时函数的参数。
func.caller：返回调用当前函数的那个函数。

尾调用优化发生时，函数的调用栈会改写，因此上面两个变量就会失真。
严格模式禁用这两个变量，所以尾调用模式仅在严格模式下生效。

function restricted() {
  'use strict';
  restricted.caller;    // 报错
  restricted.arguments; // 报错
}
restricted();

尾递归优化的实现

(https://es6.ruanyifeng.com/?s...[没看!]

(https://segmentfault.com/a/11...

函数参数的尾逗号

ES2017 允许函数的最后一个参数有尾逗号（trailing comma）。

此前，函数定义和调用时，都不允许最后一个参数后面出现逗号。

function clownsEverywhere(
  param1,
  param2
) { /* ... */ }

clownsEverywhere(
  'foo',
  'bar'
);

上面代码中，如果在param2或bar后面加一个逗号，就会报错。

如果像上面这样，将参数写成多行（即每个参数占据一行），以后修改代码的时候，想为函数clownsEverywhere添加第三个参数，或者调整参数的次序，就势必要在原来最后一个参数后面添加一个逗号。这对于版本管理系统来说，就会显示添加逗号的那一行也发生了变动。这看上去有点冗余，因此新的语法允许定义和调用时，尾部直接有一个逗号。

function clownsEverywhere(
  param1,
  param2,
) { /* ... */ }

clownsEverywhere(
  'foo',
  'bar',
);

这样的规定也使得，函数参数与数组和对象的尾逗号规则，保持一致了。

Function.prototype.toString()

修改后的toString()方法，明确要求返回一模一样的原始代码。

function /* foo comment */ foo () {}
原来:
foo.toString()
// function foo() {}

es6:
foo.toString()
// "function /* foo comment */ foo () {}"

catch

以前明确要求catch命令后面必须跟参数
try {
  // ...
} catch (err) {
  // 处理错误
}

ES2019 做出了改变，允许catch语句省略参数。
try {
  // ...
} catch {
  // ...
}