JS函数是如何执行的

当局部变量和函数参数同名时，该怎么理解呢？

function test(a){
        var a=a||5;
        alert(a)
}

test() //没传参的话，就是5；传参的话就alert参数

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

在 ES5.1 里面函数是这样执行的（不讨论use strict和一些特殊情况，JS好复杂的），按如下顺序执行：

1. 确定“this”的值 (确切的来说，this在JS里面不是一个变量名而是一个关键字)

2. 创建一个新的作用域

3. 处理形参/实参（没有定义过才声明，无论如何都重新赋值，没有对应实参则赋值为"undefined"）： 
   对于每一个传入的实参，按照从左往右的顺序依次执行：如果对应的形参在本作用域中还没有定义，则在本作用域中声明形参，并赋值。如果已经定义过了，则重新给其赋值。(没有对应实参则赋值为"undefined"）（没有定义：就是“没有声明”的意思）

4. 处理函数定义（没有定义过才声明，无论如何都重新赋值）： 
   对该函数中所有的定义的函数，按照代码写的顺序依次执行：如果这个变量名在本作用域中还没有定义，则在本作用域中声明这个函数名，并且赋值为对应的函数，如果定义了这个变量，在可写的情况下重新给这个变量赋值为这个函数，否则抛出异常。

5. 处理 "arguments"（没有定义过才声明和赋值）: 
   如果在本作用域中没有定义 arguments，则在本作用域中声明arguments并给其赋值。

6. 处理变量声明（没有定义过才声明，不赋值）：
   对于所有变量声明，按照代码写的顺序依次执行：如果在本作用域中没有定义这个变量，则在本作用域中声明这个变量，赋值为undefined

7. 然后执行函数代码。（当然是去变量定义里面的 var 执行）

参考：http://www.ecma-international.org/ecma-262/5.1/#sec-10.5

所以当在函数执行的时候，会自动除去所有的声明，访问一个变量（如果你的代码里没有重新给其赋值的话）查找的顺序其实是：最后一个定义的函数名？，最后一个形参？（e.g. 形参可以重名，以最右边为准）？，arguments？，最前面声明的那个变量？

所以说，如果test传入参数，就会赋给a,如果没有传入参数a就是undefined，然后除去声明执行代码就是a=a||5;（此时访问的a是形参里声明的那个a，后面的声明自动忽略了）