一、变量声明和变量赋值：
if (!("a" in window)) {
var a = 1;
}
alert(a);//a为？
你可能认为alert出来的结果是1，然后实际结果是“undefined”。要了解为什么，我们需要知道JavaScript里的3个概念：
1、所有的全局变量都是window的属性，语句 var a = 1;等价于window.a = 1; 可以用如下方式来检测全局变量是否声明：
"变量名称" in window
2、声明置顶规则：所有的变量声明都在范围作用域的顶部。JavaScript引擎首先会扫描所有的变量声明，然后将这些变量声明移动到顶部。所以等价于：
var a;//声明置顶
if (!("a" in window)) {
var a = 1;
}
3、变量声明会被提前至顶部，但变量赋值不会，赋值仍在代码处赋值，在赋值之前均为undefined。
当变量声明和赋值在一起用的时候，JavaScript引擎会自动将它分为两部以便将变量声明提前，不将赋值的步骤提前是因为他有可能影响代码执行出不可预期的结果。
二、函数声明和函数表达式：
var a = 1,
b = function a(x) {
x && a(--x);
};
alert(a);
这个题目看起来比实际复杂，alert的结果是1；这里依然有3个重要的概念需要我们知道。
1、函数声明也是提前的，所有的函数声明都在执行代码之前都已经完成了声明，和变量声明一样。
什么是函数声明？是如下这样的代码：
function functionName(arg1, arg2){
//函数体
}
什么是函数表达式？如下这样的代码是函数表达式。函数表达式，相当于变量赋值。
var functionName = function(arg1, arg2){
//函数体
};
函数声明与函数表达式区别：函数声明同变量声明一样会提前；但是，函数表达式没有提前，就相当于平时的变量赋值。
2、函数声明会覆盖变量声明，但不会覆盖变量赋值。
function value(){
return 1;
}
var value;
alert(typeof value); //"function"
function value(){
return 1;
}
var value = 1;
alert(typeof value); //"number"
从代码1看到尽管变量声明在下面定义，但是变量value依然是function，也就是说这种情况下，函数声明的优先级高于变量声明的优先级，但如果该变量value赋值了，那结果就完全不一样了：该value赋值以后，变量赋值初始化就覆盖了函数声明。
3、执行上下文的关系：执行上下文分2个阶段：进入执行上下文和执行代码，在进入执行上下文的时候，创建变量对象里就已经有了：函数的所有形参、所有的函数声明、所有的变量声明。
三、函数的arguments属性初始化：
function b(x, y, a) {
arguments[2] = 10;
alert(a);
}
b(1, 2, 3);
活动对象是在进入函数上下文时刻被创建的，它通过函数的arguments属性初始化。arguments属性的值是Arguments对象，Arguments对象是活动对象的一个属性，它包括如下属性：
- callee — 指向当前函数的引用
- length — 真正传递的参数个数
- properties-indexes (字符串类型的整数) 属性的值就是函数的参数值(按参数列表从左到右排列)。 properties-indexes内部元素的个数等于arguments.length.；properties-indexes 的值和实际传递进来的参数之间是共享的。
这个共享其实不是真正的共享一个内存地址，而是2个不同的内存地址，使用JavaScript引擎来保证2个值是随时一样的，当然这也有一个前提，那就是这个索引值要小于你传入的参数个数，也就是说如果你只传入2个参数，而还继续使用arguments[2]赋值的话，就会不一致，例如：
function b(x, y, a) {
arguments[2] = 10;
alert(a);
}
b(1, 2);
这时候因为没传递第三个参数a，所以赋值10以后，alert(a)的结果依然是undefined，而不是10，但如下代码弹出的结果依然是10，因为和a没有关系。
function b(x, y, a) {
arguments[2] = 10;
alert(arguments[2]);
}
b(1, 2);
总结：
一、变量声明提前，变量赋值不提前。
二、函数声明也是提前的，但是函数表达式不会提前（仅相当于变量赋值）。
三、函数声明（优先级高）能覆盖变量声明，但是不能覆盖变量赋值。
四、执行上下文分进入执行上下文和执行代码2阶段。进入执行上下文的时候，函数的所有形参、所有的函数声明，所有的变量声明就都在变量对象里了。
五、函数的arguments属性初始化：arguments属性的索引值要小于传入参数的个数，那么其值和实际传参的值是共享的；若如果索引值大于传参个数，则不共享，即双方无关，互不影响。