【qw群沉淀】函数声明、形参、变量声明优先级
Franky 11:13:16
附上我的 笔记:
变量实例化(Variable Instantiation):(初始化执行上下文环境阶段)
每个执行环境都有一个相关联的变量对象(variable object).用来维护变量和函数的声明的标识符. 他们被当做变量对象的属性(property),添加到该对象上. 对于函数执行环境来说,形式参数也同变量声明一样被当做属性,添加到该对象上.
什么对象被当做变量对象来使用，以及该对象相关属性具备哪些特性.是由可执行代码的类型决定的.
.对于函数代码(function code) :
对于每个形参来说,同样会在变量对象上创建一个属性名与形参名（标识符）相同的属性. 这些属性的特性同样由代码类型决定. 这些参数的值由函数调用者提供.
如果函数调用者,提供的实参数量少于形参数量,余下的形参的值就是undefined.
如果有两个或多个形参同名,则由最后一个使用此名的形参对应的实参,向变量对象对应属性提供值,如果无对应实参,则对应属性值为undefined.（即该形参的值为undefined）.
.对于代码中的每个函数声明(FunctionDeclaration)语句来说 :
按照源码文本的顺序,以函数标识符（函数名）作为属性名,来建立对应变量对象的属.性.并把同时创建的函数对象作为该属性的值. 这些属性的特性由代码类型决定.
如果变量对象已经具备一个同名的属性,则覆盖掉原来的.
出于语义化的考量, 这个步骤必须在形式参数列表对象(本意应该是指,对应形参标识符的 变量对象的属性创建过程)创建之后. (注1)
.对于代码中的每个变量声明语句,或语句中不包含 in 运算符的变量声明来说
For each VariableDeclaration or VariableDeclarationNoIn in the code)(注2)
根据变量标识符(变量名) ,为变量对象创建对应的属性.属性值为 undefined. 这些属性的特性由代码的类型决定.
如果变量对象已经具备一个同变量标识符同名的属性,则该属性不做任何改变.包括特性.
所以,如果一个声明的变量名和一个函数名或者形参重名，那么这个变量的声明并不影响变量对象已经存在的对应属性以及该属性的特性.(这一点和函数名相反.)
(即特指函数声明和形参的优先级,高于变量声明 . 根据,函数声明语句的说明，我们得出 函数声明 > 形参 > 变量声明的结论)
Franky 11:16:02
注1 . Edition5中,对标识符初始化的过程描述,细节上虽然有很大差异.但最终的流程却是统一的, 即 先做形参初始化（包括arguments的初始化）, 然后是函数声明,最后才是变量声明. 优先级也雷同.
所谓语义化的考量. 即如下情况:
void function(fn){ function fn(){}; alert(typeof fn)// function. }(); function test(fn){ function fn(){} alert(fn ); } test(123);