纯函数是函数式编程的基石，其核心标准只有两条：输入相同时输出恒定，且不产生任何副作用（如修改全局变量、i/o操作等）；返回值本身不是副作用，字符串字面量等常量也不破坏纯度。
纯函数是函数式编程的基石，其核心标准只有两条：输入相同时输出恒定，且不产生任何副作用（如修改全局变量、i/o操作等）；返回值本身不是副作用，字符串字面量等常量也不破坏纯度。
在函数式编程实践中，能否准确识别纯函数（Pure Function），直接关系到代码的可测试性、可组合性与并发安全性。但初学者常因概念混淆而误判——例如将“返回字符串”或“使用字面量”错误归类为副作用。本文将从定义出发，结合正反示例与关键误区，系统厘清纯函数的判定逻辑。
✅ 纯函数的两大黄金准则
一个函数要被认定为纯函数，必须同时满足以下两个条件：
- 确定性（Determinism）：对任意相同输入，必然返回完全相同的输出，不受调用次数、时间、上下文状态影响；
-
无副作用（No Side Effects）：执行过程中不修改任何外部可变状态，包括但不限于：
- 修改全局变量或模块级变量；
- 更改传入的对象/数组（mutating arguments）；
- 执行 I/O 操作（
console.log、fetch、fs.writeFile等）； - 抛出异常（严格意义上属于副作用，部分语言如 Haskell 将其排除在纯函数之外）；
- 调用其他非纯函数。
⚠️ 注意：返回值本身永远不是副作用。
return "Hi, I'm " + name是纯粹的值构造过程，字符串字面量"Hi, I'm "是编译期确定的常量，不依赖运行时外部状态，因此不损害纯度。
✅ 正确示例：它确实是纯函数
function greet(name) {
return "Hi, I'm " + name;
}
// 验证纯度：
console.log(greet("Alice")); // "Hi, I'm Alice"
console.log(greet("Alice")); // "Hi, I'm Alice" —— 输出一致 ✅
console.log(greet("Bob")); // "Hi, I'm Bob" —— 输入变，输出按规则变化 ✅
// 无 console.log / global 变更 / 网络请求等 —— 无副作用 ✅
该函数完全符合纯函数定义：
- 输入
"Alice"恒得"Hi, I'm Alice"； - 字符串拼接仅基于参数
name和内部常量，不读取、不修改任何外部可变状态； - 不触发任何可观测的外部行为（如打印、存储、通知）。
同理，以下函数也均为纯函数：
const add2 = (x) => x + 2; // 常量 2 不构成副作用 const capitalize = (str) => str[0].toUpperCase() + str.slice(1); // 仅操作输入参数 const multiply = (a, b) => a * b; // 经典数学函数映射
❌ 典型非纯函数（Impure）及原因分析
| 函数 | 为何不纯？ | 关键问题 |
|---|---|---|
js const counter = { value: 0 };<br>function increment() {<br> counter.value++;<br> return counter.value;<br>} | 修改了外部可变对象 counter
|
状态突变（mutation） → 违反无副作用原则 | |
js function logGreet(name) {<br> console.log("Greeting:", name);<br> return "Hi, I'm " + name;<br>} | 调用 console.log 输出到控制台 |
I/O 副作用 → 外部可观测行为 | |
js let userName = "default";<br>function greetFromGlobal() {<br> return "Hi, I'm " + userName;<br>}<br>userName = "Alice"; // 后续修改 |
依赖并受外部可变变量影响 | 输入不封闭 → 同一调用可能返回不同结果 |
? 关键辨析：常量 ≠ 外部状态｜闭包 ≠ 必然不纯
-
常量是安全的：
"Hi, I'm "、42、[]（空数组字面量）、{}（空对象字面量）均属编译期固定值，不引入不确定性。 - 闭包可以是纯的：若闭包捕获的是不可变常量或只读引用，且自身不产生副作用，则仍为纯函数。例如：
const DEFAULT_GREETING = "Hello";
const makeGreeter = (prefix = DEFAULT_GREETING) =>
(name) => `${prefix}, ${name}!`; // ✅ 纯：prefix 在闭包中不可变，函数体无副作用
const enGreeter = makeGreeter("Hi");
console.log(enGreeter("Tom")); // "Hi, Tom!"
此处 makeGreeter 返回的函数是纯的——它所依赖的 prefix 在闭包创建时即固化，后续调用仅由 name 决定输出。
? 总结：三步快速判定法
- 看输入输出：对同一组参数，是否每次调用都返回完全相同的值？（✅ 是 → 进入第2步；❌ 否 → 直接判定为 impure）
-
查副作用痕迹：函数体内是否出现
console.*、document.*、localStorage.*、fetch、new Date()、Math.random()、globalVar++、obj.prop = ...等？（✅ 无 → 纯；❌ 有 → impure） -
审依赖来源：是否读取了可被外部修改的变量（如
let/var声明的全局变量、对象属性、数组元素）？（✅ 仅依赖参数和常量/闭包内不可变量 → 纯；❌ 依赖易变外部状态 → impure）
掌握这一判定逻辑，你就能在 JavaScript、Python、TypeScript 等多语言环境中，自信识别并构建真正可靠的纯函数，为函数式编程实践打下坚实基础。
