代码片段：
var a = 1;
function foo() {
console.log(a); //输出为undefined
if (!a) {
var a = 2;
}
alert(a);
};
foo();
以上代码执行的结果为：2
一、声明与定义
1、声明：是指声称某样东西的存在，比如：一个变量或一个函数；
var a; //声明变量
2、定义：是指某样东西的具体实现，比如：一个变量的值是多少，一个函数的函数体是什么；
var a = 1; //定义变量
即：
var a; //声明变量
a = 1; //定义变量(赋值)
var a = 1; //合二为一，声明变量并复制给它
//当你认为你只做了一件事的时候(var a = 1;),
//实际上解释器把这件事情分解成了两个步骤:一个是声明（var a;），另一个是定义（a = 1;）
回到最开始的代码片段：
var a = 1;
function foo() {
var a; //变量提升至顶部
if (!a) {
a = 2;
}
alert(a); //此时的a并不是函数体外的全局变量
};
foo();
如代码所示，当进入函数体内时，又定义了新的变量a，当时其值为undefined，故if判断条件为真，接着为新的变量a赋值2，输出结果为2。
二、作用域
1、为什么不是在if语句内声明新变量a?
答：因为javascript没有块级作用域，只有函数作用域，并不是代表遇见{ }就产生新的作用域。
当解析器读到if语句时，发现其声明了新的变量a，解析器会将声明提升至作用域顶部（这是默认行为，并且无法改变），这一过程就是变量提升。
如果就是要输出结果为1，那就要在函数体内部创建新的作用域，如：
var a =1;
function foo(){
if(!a){
(function(){ //会创建一个新的函数作用域，该作用域在函数体内部，故alert
var a = 2;//不过根据“闭包”，这个作用域可以访问上层作用域
})();
}
alert(a);
}
foo();
“请始终保持作用域内所有的变量声明都放置在作用域顶部。”
2、在javascript中，有四种方式可以让命名进入到作用域中（按优先级排序）：
（1）语言定义的命名：如this 或 arguments，他们在所有作用域内都有效，并且优先级最高；
（2）形式参数：函数定义时声明的形参会作为变量被提升至函数的作用域内，所以，形参是本地的，不是外部的或全局的，也可在执行函数时把外部变量传进来，传进来之后就变成本地的；
（3）函数声明：函数体内部也还可以声明函数；
（4）变量声明：即函数作用域内声明的变量会提升至作用域顶部。
三、函数声明和函数表达式的差别
1、当函数或变量提升时，只提升了声明，没有提升定义；
2、比如：
function test(){
foo();
function foo(){
alert("我是会出现的哦");
}
}
test();
function test(){
foo();
var foo = function (){
alert("我是不会出现的哦");
}
}
test();
具体来讲：
栗子一：函数foo 是一个声明，既然是声明，就会被提升，这就是函数声明的提升，函数声明和函数体都将被提升至作用域顶部；
栗子二：被提升的仅仅是函数名foo ，函数定义还停留在原处，因此在执行foo() 时，作用域只知道函数foo 的存在，不知道它是干嘛的，故执行会报错（undefined is not a function），这就是函数表达式，只有函数命名会提升，函数体还停留在原地。