函数

是什么，为什么存在

JavaScript 函数把一段行为包装成可调用对象。调用方通过实参提供本次运行的数据，函数通过返回值或明确的副作用交付结果。函数不是只能写在某个位置的语法片段，而是可以赋给变量、存入对象、作为实参传递并从其他函数返回的 一等函数（first-class function） 。

函数解决的是行为复用与边界表达问题。一个命名准确的函数可以把「如何计算」藏在稳定接口后面，让调用方只关心输入、输出和失败方式。它也建立独立的局部作用域，避免临时名称泄漏到外部代码。

函数声明、传统函数表达式和箭头函数都会产生函数值，但它们不是可以随意互换的排版风格。声明的初始化时机不同；箭头函数没有自己的 this、arguments，也不能用于构造调用。选择形式时应看调用契约，而不是只看哪一种最短。

形参（parameter）写在函数定义中，实参（argument）出现在调用表达式里。一次调用会把实参按位置绑定到 形参 ；实参数量不必与形参数量相等。遗漏的形参得到 undefined，多余实参只有在函数主动读取时才会影响行为。

函数还让行为本身成为数据。接收函数或返回函数的 高阶函数（higher-order function） 可以组合校验、转换和策略，而不用把每种变化写进条件分支。传入的函数通常称为回调，但回调的参数、返回值、调用次数和错误处理都必须由调用方 API 明确定义。

你会在事件处理、数组转换、路由处理器、定时任务、测试替身和依赖注入中遇到函数。闭包、箭头函数细节以及 call、apply、bind 的完整规则各有独立主题；这里关注所有这些用法共同依赖的函数基础。

工作原理

函数代码求值后会得到函数对象。函数对象保存可执行代码及其创建位置的 词法环境（lexical environment） 引用，并具有独立标识；两段源码看起来相同，不代表两个函数对象相等。把函数赋给另一个变量只复制对象引用，不会复制函数体。

调用表达式先求值被调用者与实参。运行时随后创建本次调用的执行上下文，建立形参和局部绑定，并按函数种类与调用形式确定 this。函数体执行到 return、抛出异常或走到末尾后，本次调用结束。

图中的每次 call expression 都创建新的形参和局部绑定。函数对象可以被反复调用，但不同调用不会共享普通局部变量。若函数需要跨调用保留状态，状态必须位于外部对象、模块绑定或闭包中。

创建函数与绑定名称

函数声明在所在作用域实例化时创建并初始化绑定，所以同一作用域内的代码通常可以在声明文本之前调用它。这个常被简称为「函数提升」，但关键事实是绑定已经持有函数对象，而不只是名称被提前登记。

函数表达式只负责产生函数值，外层绑定何时可用取决于承载它的声明。const calculate = function () {} 中的 calculate 从作用域开始就存在于暂时性死区，但要执行到初始化语句后才能读取。把这种行为笼统说成「函数表达式不会提升」会掩盖真正的失败原因。

具名函数表达式在自己的函数体内提供内部名称，适合递归，也会改善诊断名称。这个内部名称通常不会泄漏到外层作用域。匿名表达式和箭头函数则常从赋值目标推断 name。

表格描述的是普通函数，不涵盖生成器、异步函数、类方法和绑定函数的全部组合。不要通过猜测 prototype 属性来判断任意值是否可构造；若 API 要求构造器，应把这一点写进契约并直接测试。

绑定形参与实参

调用时，实参表达式先从左到右求值，然后绑定到形参。默认形参初始化器也按从左到右的顺序处理，因此后面的默认值可以引用前面的形参。初始化器在每次调用时运行，不是在函数定义时运行。

只有实参缺失或值严格为 undefined 时，默认值才会生效。null、false、0 与空字符串都是已提供的值，不会触发默认形参。若业务上把 null 也视为缺失，函数必须显式归一化。

剩余形参会把尚未绑定的实参收集到真正的数组中，并且必须位于形参列表末尾。它比旧式 arguments 更明确，因为名称表达用途，也能直接使用数组方法。箭头函数没有自己的 arguments，而 arguments 的旧式别名行为还会受严格模式和形参形式影响。

解构形参先要求外层值可解构，再处理模式内部的默认值。function read({ id }) {} 在无实参或传入 undefined 时会抛出 TypeError；写成 function read({ id } = {}) {} 才覆盖整个对象缺失的情况。模式内部的 id = 'draft' 只处理属性值为 undefined 的情况。

完成调用

return expression 先求值表达式，再立即结束当前函数调用。单独的 return 与执行到函数体末尾都会产生 undefined。调用方应区分「命令型函数刻意不返回结果」与「函数漏写返回值」，因为运行时看到的值相同。

JavaScript 会在受限位置插入分号。return 后紧跟换行时，返回语句已经结束，下一行的对象字面量不会成为返回值。返回多行表达式时，把表达式起始符号放在 return 同一行，或用括号明确包裹。

抛出异常会跳过普通返回路径，沿调用栈寻找匹配的处理器。函数契约应说明哪些失败通过返回值表达，哪些会抛出异常；混用 null、错误对象和异常会迫使每个调用方猜测。

async function 每次调用都会返回 Promise，即使源码写的是 return 3。普通回调 API 不会因为收到异步函数就自动等待它。异步控制流的并发与错误传播规则属于 javascript/async-await 和 javascript/promises。

调用形式决定接收者

普通函数的 this 不是在定义处固定的。object.method() 把点号左侧对象作为接收者；把同一个函数取出后执行 detached()，接收者规则已经改变。严格模式下的普通独立调用会得到 undefined。

call、apply 和 bind 可以显式提供普通函数的接收者。箭头函数改为从外层捕获 this，所以这些方法不能替换箭头函数的 this。若函数完全不使用 this，优先把依赖作为普通形参传入，契约会更容易看懂和测试。

方法取出后仍是同一个函数对象，但它不会记住原对象。事件订阅等 API 还会按函数标识移除回调，因此临时创建两次包装器或绑定函数也会失败。详细优先级和修复模式见 javascript/this-binding 与 javascript/call-apply-bind。

示例

下面四个示例依次验证名称初始化、参数边界、函数值组合和调用点接收者。所有输出都来自本地 Node 24 执行对应文件。

声明与表达式的初始化时机

函数声明 formatOrder 可以在源码声明之前调用。calculateTotal 的 const 绑定则仍在暂时性死区，第一次读取会抛出 ReferenceError；初始化之后，同一个绑定正常工作。

输出中的 total 来自具名函数表达式的内部名称。外部变量仍叫 calculateTotal，两者服务于不同目的：外部名称用于取得函数值，内部名称用于函数体自引用与诊断。

这里捕获错误只是为了同时展示初始化前后的行为。生产代码不应把暂时性死区当作分支机制；应调整声明位置，或在确实需要提前调用时选择函数声明。

默认值、解构与剩余实参

summarizeOrder 为整个对象形参和对象属性分别提供默认值。剩余形参 amounts 是数组，因此空输入也能用初始值 0 安全归约。

function summarizeOrder({ id, currency = 'EUR' } = {}, ...amounts) {
  const total = amounts.reduce((sum, amount) => sum + amount, 0);
  return `${id ?? 'draft'}: ${currency} ${total.toFixed(2)}`;
}

const regularOrder = summarizeOrder({ id: 'A-42' }, 10, 5.5);
const omittedCurrency = summarizeOrder({ id: 'B-7', currency: undefined }, 4);
const nullCurrency = summarizeOrder({ id: 'C-9', currency: null }, 4);
const draftOrder = summarizeOrder();

console.log(regularOrder);
console.log(omittedCurrency);
console.log(nullCurrency);
console.log(draftOrder);

A-42: EUR 15.50
B-7: EUR 4.00
C-9: null 4.00
draft: EUR 0.00

第二次调用显式传入 undefined，所以属性默认值仍会运行。第三次调用保留 null，证明默认形参不是通用的空值合并机制。若 null 不符合领域契约，应在入口校验并拒绝或归一化它。

整个对象的 = {} 只保护无实参和 undefined。传入 null 时仍无法解构。调用边界测试应把省略、undefined 和 null 当作三个独立用例。

把函数作为策略传递

pipe 接收初始值与任意数量的步骤函数。每一步的返回值会成为下一步的实参，因此步骤的输入输出类型必须首尾相接。

function pipe(value, ...steps) {
  return steps.reduce((current, step) => step(current), value);
}

const addTax = (amount) => amount * 1.2;
const roundCents = (amount) => Math.round(amount * 100) / 100;
const formatEuros = (amount) => `EUR ${amount.toFixed(2)}`;

const total = pipe(80, addTax, roundCents, formatEuros);

console.log(total);
console.log(typeof addTax);
console.log(addTax === ((amount) => amount * 1.2));

EUR 96.00
function
false

pipe 是高阶函数，三个步骤则是普通函数值。最后一行创建了新的箭头函数对象；即使源码行为相同，它与 addTax 也不是同一标识。

这个简化管道只处理同步返回值，并让异常直接向上传播。不要在没有定义 Promise、错误与取消语义的情况下，把异步步骤塞进同一个接口。

保留调用点接收者

同一个 formatId 函数先作为方法调用，再作为独立函数调用。严格模式下，独立调用的 this 是 undefined，读取 this.id 因此抛出 TypeError。

'use strict';

function formatId(prefix) {
  return `${prefix}-${this.id}`;
}

const invoice = { id: 7, formatId };
console.log(invoice.formatId('INV'));

const detached = invoice.formatId;
try {
  console.log(detached('INV'));
} catch (error) {
  console.log(error.name);
}

const fixed = detached.bind({ id: 8 });
console.log(fixed('RET'));

INV-7
TypeError
RET-8

bind 返回新的函数对象，并永久保存这里提供的接收者。若后续要注销回调，应保存这个返回值并在注册与注销时使用同一个引用。

若格式化逻辑不需要方法语义，更简单的接口是 formatId(id, prefix)。显式形参消除了隐藏接收者，也让函数可以安全地直接传给多数回调 API。

陷阱

修复方法： 先列出调用点与函数依赖的能力。只有确认不存在提前调用、动态接收者、arguments 或构造调用后，才把形式替换成箭头函数，并运行覆盖这些契约的测试。

修复方法： 明确区分「省略」与「显式无值」。只把 undefined 视为省略时使用默认形参；两者含义相同时，在入口使用经过评审的空值归一化，并保留 0、false 与空字符串等合法值。

修复方法： 单表达式保留表达式体，复杂逻辑则写出 return。返回对象字面量时使用 item => ({ id: item.id })，并测试真实返回值，而不只断言回调被调用。

修复方法： 新代码优先声明 ...args。剩余形参给出真正数组和明确名称，也不会触发简单形参在非严格旧代码中的别名规则。

修复方法： 使用 event => service.handle(event) 明确转发，或只绑定一次并保存结果。需要移除监听器时，注册与移除必须使用同一个函数标识。

延伸阅读

• MDN：函数参考
• MDN：默认形参
• MDN：剩余形参
• MDN：箭头函数
• ECMAScript 规范：OrdinaryCallBindThis