【亡羊补牢】JS灵魂之问 第14期 修炼内功 函数基础 形参实参映射关系
引言
有几天没有更新JS灵魂之问的专栏系列文章了，秋招季，也在忙着备战笔试面试。今天得空再来写一篇文章，本篇要讲解的内容是关于 函数基础 ，那今天这篇看能不能问倒你了，一起来探索一下吧。
仰望星空的人，不应该被嘲笑
文章目录 最后
函数基础 函数种类、字面量
开门见山，下面代码会输出什么，不知道小伙伴平常有咩有想过这类问题
var test = function test1() {var a = 1;console.log(a);
}
test()
test1()
答案是 1 和 报错，报错信息如下：
这是为什么呢？实际上，我们申明了一个变量 test，把这个函数 test1赋给它的时候，就已经把这个变量赋予了函数的功能，调用 test()方法当然能够正常运行，输出 1。而对于表达式赋值，会自动忽略后面的函数名称，也就是说写与不写并不影响 test()方法的执行。不信，看看下面代码会输出什么？
var test = function() {var a = 1;console.log(a);
}
test() // 1
那这样，是不是说 test1完全没作用了，那写着干嘛，还多几个字符。当然不是！，test1在函数体内部是可见的，而在外部却不可见，通过这样，我们就可以实现递归操作
var test = function() {var a = 1;console.log(a);
}
而对于上述代码，后面函数体没有名字，我们称之为 匿名函数，是不是有点印象了，原来就是这东西，哟西~
而通过这种方式赋值的表达式，我们称之为 匿名函数表达式，也称为 函数字面量，这些专有名词一出来，瞬间觉得有点逼格了有没有！
字面量这种东西，简单来说就是数据，例如下述，有数字字面量，字符串字面量，数组字面量等等。简单理解就是，对于赋值的过程，右边的数据就是字面量。
var a = 10
var b = '111'
var c = [1,2,3]
形参实参映射
补充：如何获取形参和实参对应的长度？
function test (a,b) {console.log(test.length) // 形参的长度 2console.log(arguments.length) // 实参的长度 3
}
test(1,2,3)
我想小伙伴们应该清楚实参和形参是什么玩意，但是我们可以更改实参的值吗？例如下述代码，会输出什么呢？
function test(a, b) {a =3;console.log(arguments[0]);
}
test(1,2);
答案是 3，我们可以修改实参的值。
刚刚那题只是简单热个身，继续下一题吧，我们可以改变 b 的值吗？（提示：注意我并没有传对应实参哦~）
function test(a, b) {b = 3;console.log(arguments[1]);
}
test(1);
答案是 ，因此对于上一题表述，要修改一下：对于实参传递过来确定的值，我们是可以进行修改的，而如果实参并没有传递值过来，我们是不能进行修改的。这就是形参和实参的映射关系。
简单解释一下形参和实参的映射关系，其实实参和形参不能说是一类的，看上述代码，我们可以通过 来获取我们的实参，可以看做是一个数组里面的某一项值，而数组是存放堆内存的，而对应我们形参其实是存放在栈内存的，它们之间会有一个映射关系，并且是一对一对应的，上述我们实参没有对b进行赋值，尽管修改了形参，但改变不了我们的 [1] 就是这个道理。（没有建立一对一映射关系）。
作用域引入
再来一道引申题，为后续内容做铺垫。下面 a b c 分别会输出什么？
a = 1;
function test1 () {var b = 2;console.log(a) // function test2() {var c = 3console.log(b); // }test2();console.log(c); //
}
test1();
答案是 1 2 报错，这就牵扯到 scope 问题了，简单理解就是函数内部能访问外面的变量，而函数外面却不能访问内部的变量，也就是闭包问题。（这个后文会提到）
函数默认参数
如果实参没有赋值，那么形参怎样设置默认参数呢？说到默认参数，我想你应该会想到如下代码：
function test(a = 1, b = 1) {console.log(a)console.log(b)
}
test() // 1 1
好的，上述问题算是开胃小菜，我们继续，我如果给 a 设定默认值，而 b 通过实参传递过来呢？可以实现吗？之前没有传参的话，不是默认打印 吗，那我现在给 a 传递一个 ，是不是就会定为默认值。
function test(a = 1, b) {console.log(a)console.log(b)
}
test(undefined, 2)
答案是可以的，上述代码输出结果为 1 2。简单解释一下，在之前我们将了形参实参是有一个映射关系，对于堆内存 里面，如果给了 ，那么就会去栈内存形参里面找，如果不为 ，则会设置形参的默认值。（其实这是 es6 的语法了）
那么，可以用es5的方式实现一下吗？（当然可以，见代码）
function test(a, b) {a = arguments[0] || 1b = arguments[1] || 1console.log(a)console.log(b)
}
test(undefined, 2)
最后
文章产出不易，还望各位小伙伴们支持一波！
往期精选：
小狮子前端の笔记仓库
访问超逸の博客，方便小伙伴阅读玩耍~
学如逆水行舟，不进则退
