JavaScript函数声明的标准语法与参数传递

函数是 JavaScript 中构建模块化逻辑与实现代码复用的基础单元。在语言规范中，标准函数声明拥有独立且严格的语法定义，并在编译解析阶段具备整体“提升（Hoisting）”的特征；而在参数处理方面，JavaScript 始终严格遵循“按值传递（Pass by Value）”的规则。理解函数声明的形式边界、作用域绑定方式，以及基础类型与引用类型在内存中的传递行为，是规避边界错误与写出健壮代码的关键基础。本文将围绕函数声明的标准语法、生命周期执行流、参数内存模型以及现代参数语法展开系统解析。

一、函数声明的标准语法规范

在 ECMAScript 规范中，函数声明（Function Declaration）是一种专门的语句形式。它通过保留字 function 开头，后接必需的函数名标识符、圆括号包围的形参列表，以及花括号包裹的执行体代码块：

function functionName(parameter1, parameter2) {
  // 函数执行体语句
  return parameter1 + parameter2;
}

标准函数声明具备三个核心语法要求：

• 必须包含合法标识符：与匿名函数表达式不同，独立函数声明必须拥有明确的名称，该名称将在当前词法作用域内绑定为一个不可配置但可重写的标识符。
• 形参列表以逗号分隔：圆括号内定义零个或多个形参占位符，形参变量的作用域直接限制在函数执行体内。
• 执行体用块语句包围：哪怕函数体内仅包含一行代码，函数声明的执行体也必须由成对的花括号 { } 包裹，不可像箭头函数那样省略花括号。

在语法层面，必须将函数声明与函数表达式（Function Expression）明确区分开来。当 function 关键字作为表达式的一部分出现（例如赋值给变量或作为立即执行函数）时，它属于表达式而非声明：

// 标准函数声明：独立语句，处于顶层或块作用域内
function calculateArea(radius) {
  return Math.PI * radius * radius;
}

// 函数表达式：作为赋值表达式的右值，不存在声明提升
const getPerimeter = function(radius) {
  return 2 * Math.PI * radius;
};

二、生命周期与声明提升（Hoisting）机制

JavaScript 引擎在执行一段代码时，会经历“编译/词法分析”与“逐行执行”两个主要阶段。函数声明的一个标志性特征是完整提升（Declaration Hoisting）：在代码执行前，引擎已将函数名注册到当前作用域的环境记录中，并直接在内存中完成了函数对象的创建与绑定。

这一机制使得函数可以在其物理书写位置之前被成功调用：

// 可以在声明前正常调用
const result = square(5); 
console.log(result); // 25

function square(n) {
  return n * n;
}

与 var 变量声明提升只初始化为 undefined 不同，函数声明的提升是“声明与定义同时提升”。若在同一作用域内存在重复的函数声明，后声明的函数会覆盖先前的定义；若同名变量通过 var 声明但未赋值，函数声明的优先级更高；但若 var 进行了显式赋值，赋值执行后变量将被覆盖为新值。

三、参数传递的本质：按值传递（Pass by Value）

关于 JavaScript 的参数传递方式，常有“基本类型按值传递、对象按引用传递”的误解。实际上，ECMAScript 规范明确规定：所有函数的参数传递一律是“按值传递”。区别仅在于不同数据类型存储在变量中的“值”具有不同的表现形式：

1. 基本数据类型的参数传递

基本类型（Number、String、Boolean、null、undefined、Symbol、BigInt）的数据直接存储在栈内存中。当基本类型作为实参传入函数时，形参获得的是该值的一个独立拷贝。在函数体内对形参的重新赋值或修改，绝不会波及函数外部的实参变量：

function modifyPrimitive(val) {
  val = val + 10;
  console.log("函数内 val:", val); // 30
}

let score = 20;
modifyPrimitive(score);
console.log("外部 score:", score); // 20，未发生改变

2. 引用数据类型的参数传递（共享传递 Call by Sharing）

对象、数组与函数属于引用类型。变量在栈内存中存储的并不是对象本身，而是指向堆内存中真实对象实体的一个内存地址指针。当将一个对象传入函数时，传递给形参的值正是这个内存地址的副本。

• 修改属性生效：因为形参和外部实参保存了指向堆内存同一对象的相同地址，通过形参修改其属性（如 obj.name = "新值"），外部对象会同步发生变化。
• 重新赋值失效：若在函数内部直接给形参赋予一个新对象（如 obj = { }），这只是将形参局部指针指向了堆中的另一块新空间，并不会改写外部实参变量中保存的原始指针。

function handleObject(user) {
  // 修改共享堆内存对象的属性
  user.name = "Bob"; 

  // 将局部形参重定向到新对象，断开与原对象的关联
  user = { name: "Charlie" };
  user.name = "David";
}

const currentUser = { name: "Alice" };
handleObject(currentUser);
console.log(currentUser.name); // 输出 "Bob"，证明属性修改生效，但整对象赋值互不干扰

四、现代参数语法与高级传递模式

随着 ECMAScript 标准的演进，函数声明在形参定义与接收机制上得到了重大增强。掌握这些特性可以显著简化参数校验与预处理代码。

1. 默认参数（Default Parameters）

在 ES6 之前，设置参数默认值通常依赖短路运算 a = a || 10，但这容易将合法的 0、false 或空字符串误判为缺省值。现代标准语法直接在形参列表后使用等号指定默认值：

function configureServer(port = 8080, host = "localhost") {
  return `Server running on ${host}:${port}`;
}

console.log(configureServer());          // "Server running on localhost:8080"
console.log(configureServer(3000));      // "Server running on localhost:3000"
console.log(configureServer(undefined)); // 触发默认值: 8080
console.log(configureServer(null));      // null 是有效值，不会触发默认值

2. 剩余参数（Rest Parameters）替代 arguments

旧版 JavaScript 中使用内置的 arguments 对象获取所有传入的实参，但 arguments 只是一个类数组对象，缺少 map、filter、reduce 等标准数组原型方法。现代语法推荐使用剩余参数（Rest Parameters）：

// 使用 ...items 将剩余实参汇聚为一个真正的 Array 实例
function sumAll(multiplier, ...numbers) {
  return numbers.map(n => n * multiplier).reduce((sum, curr) => sum + curr, 0);
}

console.log(sumAll(2, 10, 20, 30)); // (10*2) + (20*2) + (30*2) = 120

剩余参数必须是形参列表中的最后一个参数，并且一个函数声明中只能存在一个剩余参数。

3. 参数解构传递（Parameter Destructuring）

当函数需要接收多个可选配置参数时，传统的多参数列表极易因位置传错而产生 Bug。利用解构赋值语法，可以直接在形参列表中解构对象属性，并为单个属性指定默认值：

function renderButton({ text = "提交", theme = "primary", size = "medium" } = {}) {
  return `<button class="btn btn-${theme} btn-${size}">${text}</button>`;
}

// 调用时参数顺序无所谓，配置清晰明了
console.log(renderButton({ theme: "danger", text: "删除" }));
// 即使不传入任何参数也不会报错（因为最外层提供了 = {} 兜底默认值）
console.log(renderButton());

五、参数数量匹配与映射规则

JavaScript 在执行函数调用时不会对形参与实参的数量做强制约束，具有高度的动态宽容度：

六、实践总结与开发排坑建议

综合以上分析，编写高品质的 JavaScript 函数声明及处理参数时，建议遵循以下工程原则：

1. 推荐“先声明后使用”：尽管函数声明提升机制允许在声明之前调用函数，但在模块化与工程化开发中，自上而下保持“声明在先、调用在后”的代码结构能大幅提高可读性，避免因函数与同名变量交互带来的意料外行为。
2. 避免在条件控制块中随意使用函数声明：虽然 ES6 规范对块级作用域内的函数声明做了标准化，但在旧版非严格模式或不同引擎历史版本间仍存在微小语义分歧。若需要在条件分支（如 if...else）中动态决定函数逻辑，更推荐使用变量与函数表达式进行绑定。
3. 谨记对象参数的副作用（Side Effects）：在函数内部修改入参对象的属性会真实改写外部数据状态。若要编写纯函数（Pure Function），应在函数入口处对入参进行浅拷贝（如 { ...options }）或深拷贝（如 structuredClone(data)），切断与外部堆内存的引用连接。
4. 全面转向默认参数与剩余参数：淘汰过时的 arguments 伪数组与 || 默认值兜底写法，优先采用 ES6 默认参数与剩余参数语法，保证参数语义清晰且类型稳定。