Demo1：

var a = "全局";
function fn() {
    console.log(a);  // undefined
    var a = "局部";
    console.log(a);  // 局部
}
fn();

以上代码，相当于：

var a = "全局";
function fn() {
    var a;
    console.log(a);  // undefined
    a = "局部";
    console.log(a);  // 局部
}
fn();

分析：

一、在ES6之前，JavaScript没有块级作用域（一对花括号{}即为一个块级作用域），只有全局作用域和函数作用域。。。变量声明提升：即将变量声明，提升到它所在作用域的最开始的部分，但是【提升的仅仅是变量的声明，变量的赋值并不会被提升！！】
二、如果函数内，存在【和全局变量同名的，局部变量或形参】，那么，函数内部逻辑使用的变量，就是自己的变量，而不会去修改外部的同名变量！~~~
三、函数内部，使用 var 定义的变量为：局部变量。。

demo1---扩展：

var a = "全局";
function fn() {
    console.log(a);  // 全局
    a = "局部";
    console.log(a);  // 局部
}
fn();
console.log(a);  // 局部

分析：

函数内部，不使用 var 定义的变量为：全局变量。。但是【函数不调用，此全局变量不起作用！】

=====================================

Demo2：

// 函数声明

fn();
function fn() {
    console.log('猪猪');  // 猪猪
}

// 函数表达式

fn();  // Uncaught TypeError: fn is not a function
var fn = function() {
    console.log('猪猪');
}

分析：

一、定义函数的方式有两种：一种是函数声明，另一种是函数表达式。

函数声明和函数表达式，在声明提升方面，有什么差异呢？

二、函数声明方式，定义的函数：函数声明语句，将会被提升到它所在作用域的最开始的部分，即函数声明提升！。。所以，可以把函数声明放在调用它的语句后面。。（函数声明提升，不仅函数名会"被提前"，函数体也会"被提前"！）

三、函数表达式方式，定义的函数：变量声明部分会"被提前"，但是，它的赋值（也就是函数）并不会被提前。。。从这一点上来说，和前面所讲的变量声明提升是完全一致的，并且，由于"被提前"的变量的默认值是 undefined ，所以报的错误属于 "TypeError" ，因为 undefined 不是函数，当然不能被调用！！

=====================================

Demo3：

var getName = function () {
    console.log('函数表达式');
};
function getName () {
    console.log('函数声明');
};

getName();    //输出：函数表达式

function getName () {
    console.log('函数声明');
};
var getName = function () {
    console.log('函数表达式');
};

getName();    //还是：函数表达式

窍门：

刨去所有的声明提升（函数声明提升&变量声明提升），观察剩下的代码逻辑的顺序。。。

But，，，看下面的：

getName();    //输出：函数声明

var getName = function() {
  console.log('函数表达式');
}
function getName() {
  console.log('函数声明');
}

以上代码，相当于：

function getName() {
    console.log('函数声明');
}
var getName;

getName();    //输出：函数声明

getName = function() {
    console.log('函数表达式');
}

分析：

一、《你不知道的JavaScript（上卷）》里面说：函数声明和变量声明都会被提升，但是：函数会首先被提升，然后才是变量。。即【函数声明提升】优先级高于【变量声明提升】。。。
二、但是，为什么 undefined 的变量getName不会导致getName()抛错？？？书上说是因为：【重复声明会被忽略】。。。（声明过的变量不会重复声明！）

变形（此demo和上面demo，是一个道理）：

console.log(a);  // ƒ a(){}
var a = 3;
function a(){}

以上代码，相当于：

function a(){}
var a;  // 实际无效
console.log(a);  // ƒ a(){}
a = 3;

=====================================

Demo4：

【形参】 == 【声明局部变量】

function fn(a) {
    console.log(a);  // 哈哈哈
}
fn('哈哈哈');

function fn(a) {
    console.log(a);  // undefined
}
fn();   

分析：

如果有实参传入，相当于给形参（局部变量）赋值！
如果没有实参传入，相当于只是声明了局部变量，并初始化为undefined，并没有赋值~~！

看这里：

var name = "小灰灰";
function fn(name) {
    console.log(name);  // 小灰灰
    name = "喜羊羊";
    var name = "灰太狼";
}
fn(name);
console.log(name);  // 小灰灰

分析：

Q：函数fn内部的输出，为什么不是 undefined 呢？？？
A：因为在执行函数内部逻辑之前，有实参传给形参，完成赋值。。（外部name小灰灰传入函数，并赋值给了函数的形参name）

以上代码，相当于：

var name = "小灰灰";
function fn(name) {
    var name;
    name = "小灰灰";
    console.log(name);  // 小灰灰
    name = "喜羊羊";
    name = "灰太狼";
}
fn(name);
console.log(name);  // 小灰灰