深入解析JavaScript函数参数与arguments对象的同步机制

提示：在深入阅读本篇内容之前，建议先参考《理解javascript_13_执行模型详解》以建立基础认知。

说明：本文部分观点基于个人推导，缺乏官方文档直接支持。若存在疏漏，欢迎指正。

代码示例与现象观察

首先观察一段看似复杂的代码示例：

 
function say(msg,other,garbage){
alert(arguments[1]);//world
var other = 'nice to meet you!';
var msg;
alert(arguments.length);
alert(msg);//hello
alert(other);//nice to meet you!
alert(arguments[1]);//nice to meet you!
alert(garbage);//undefined
} 
say('hello','world');

这段代码的执行结果可能出乎意料。为什么msg能正常输出'hello'而非undefined？当函数定义的参数与内部声明的变量同名时，会发生什么？arguments对象与形式参数之间究竟存在何种关联？接下来我们将逐一解析这些疑问。

简易内存模型示意图

注：图中虚线代表曾经存在的引用指向。

参数同步机制解析

原理解析

首先明确两个概念：形式参数与实际参数。形式参数是函数定义时显式声明的参数列表；由于JavaScript的灵活性，调用函数时传递的参数数量无需与形式参数严格一致。实际调用时传递的值即为实际参数，而arguments对象正是对这些实际参数的封装。从say函数可见，虽然定义了三个形式参数，但调用时仅传入两个值，因此arguments.length为2而非3。此外，arguments表现出特殊行为：它似乎将所有实际参数视为对象处理，对于基本数据类型，会转换为对应的包装对象类型。这一判断依据是：在函数内部重新赋值与形式参数同名的变量时，arguments中对应的值也会随之改变。

执行上下文构建过程

接下来分析say方法执行上下文的构建过程。由于逻辑较为复杂，此处使用伪代码进行演示：

 
function say(msg,other,garbage){
//首先对函数声明的变量进行预解析，此内部执行流程对外不可见
var msg = undefined;
var other = undefined;
var garbage = undefined;
//随后对函数内部声明的变量进行预解析
var other = undefined;//此时该声明已无实际意义
var msg = undefined;//同样无意义
//执行实际参数的赋值操作
msg = new String('hello');//arguments将实际参数视为对象处理
other = new String('world');
//正式进入函数体代码执行
alert(arguments[1]);//world
other = 'nice to meet you!';
//var msg;已在预解析阶段处理，故不再重复执行
alert(arguments.length);//2
alert(msg);//hello
alert(other);//nice to meet you!
alert(arguments[1]);//nice to meet you!
alert(garbage);//undefined
} 

上述伪代码已充分解释前述所有现象，此处不再赘述。

需要特别强调的是：在函数内部使用var声明与形式参数同名的变量是无效的，因为在预解析阶段，它们已被视为同一变量。

其他补充说明

其他补充

关于arguments的特性还有更多内容，我在《伪数组》一文中亦有提及。如需了解arguments的实际应用场景，可参考以下文章：

http://www.gracecode.com/archives/2551/

以上就是全部内容。希望大家能多提宝贵意见，共同指正。