一、函数声明和函数表达式有什么区别？

JavaScript有三种方法，可以定义一个函数。
1.函数声明。如下面的例子所示：

function a(s) {
  console.log(s);
}

上面的代码命名了一个a函数，以后使用a()这种形式，就可以调用相应的代码。
2.函数表达式。如下面的例子所示:

var a = function (s){
    console.log(s);
};

3.Function构造函数。如下面的例子所示：

var add = new Function(  'x',  'y',  'return x + y');
// 等同于
function add(x, y) {
  return x + y;
}

在上面代码中，Function构造函数接受三个参数，除了最后一个参数是add函数的“函数体”，其他参数都是add函数的参数。（但不推荐使用这种方法）

函数声明和函数表达式的区别：
1.函数声明必须以function开头。而函数表达式不用。
2.函数的表达式需要在语句的结尾加上分号，表示语句结束。而函数的声明在结尾的大括号后面不用加分号。
3.解析器会率先读取函数声明，并使其在执行任何代码之前可用；至于函数表达式，则必须等到解析器执行到它所在的代码行，才能被解释执行。意思就是，函数声明的代码会进行函数声明提升，而函数表达式不会。如下面的例子所示：

alert(sum(10,10));
function sum(num1,num2){
    return num1+num2;
}  //20

alert（sum(10,10)）; 
var sum = function(num1,num2){
    return sum1+sum2;
} //报错

二、什么是变量的声明前置？什么是函数的声明前置？

变量提升：JavaScript引擎的工作方式是，先解析代码，获取所有被声明的变量，然后再一行一行地运行。这造成的结果，就是所有的变量的声明语句，都会被提升到代码的头部，这就叫做变量提升（hoisting）,变量提升只会提升声明，不会提升赋值。例如：

console.log(a);
var a = 1;

//等价于

var a;
console.log(a);
a = 1;

函数的声明提升:
- 函数表达式的声明提升和变量的声明提升规则是一样的。
- 函数声明的声明提升是将整个函数声明提升到顶部。例如：

alert(sum(10,10));
function sum(num1,num2){
    return num1+num2;
} 
// 相当于
function sum(num1,num2){
    return num1+num2;
} 
alert(sum(10,10));

三、arguments是什么？

arguments 是一个类似数组的对象（除了长度之外没有任何数组属性），仅在函数内部有效，可以用arguments对象在函数中引用函数的参数。arguments对象是所有函数中可用的局部变量。
如果你调用一个函数，当这个函数的参数数量比它显式声明的参数数量更多的时候，你就可以使用 arguments 对象。用法如下：

四、函数的重载怎样实现？

重载是很多面向对象语言实现多态的手段之一，在静态语言中相同名字的函数参数个数不同或者顺序不同都被认为是不同的函数，称为函数重载。在EMCAScript不存在函数签名的特性，因此不能重载。函数通过名字确定唯一性，参数不同也被认为是相同的函数，后面的覆盖前面的。
但可以通过arguments实现同一个函数不同参数结果不同。如下所示：

五、立即执行函数表达式是什么？有什么作用？

立即执行函数表达式：

常用写法：
(function(){ /* code */ }());
(function(){ /* code */ })(); 
一元运算符写法：
!function(){ /* code */ }();
~function(){ /* code */ }();
-function(){ /* code */ }();
+function(){ /* code */ }();

作用：
1.定义的变量都是立即执行函数内的局部变量，不会影响到外面。可以解决全局变量容易互相覆盖的问题。
2.立即执行函数能配合闭包保存状态。
3.立即执行函数处理模块化可以减少全局变量造成的空间污染，构造更多的私有变量。
详解javascript立即执行函数表达式（IIFE）

六、什么是函数的作用域链？

每个函数都有自己的执行环境。当执行流进入一个函数时，函数的环境就会被推入一个环境栈中。
当代码在一个环境中执行时，会创建变量对象的一个作用域链，作用域链的用处，是保证对执行环境有权访问的所有变量和函数的有序访问。作用域链的前端，始终都是当前执行的代码所在的环境变量对象。
如果这个环境是函数，则将其活动对象作为变量对象。活动对象在最开始时只包含一个变量，（arguments对象）。作用域链中的下一个变量对象来自包含（外部）环境，而再下一个变量对象则来自下一个包含环境。这样，一直延续到全局执行环境；全局执行环境的变量对象始终都是作用域链中的最后一个对象。