函数式编程是一种强调将计算过程分解为可复用函数的编程范式，其中纯函数和不可变数据是该范式的两大核心支柱，理解它们的定义和作用，能帮助我们写出更可靠、更易维护的代码。
什么是纯函数
纯函数指的是满足两个条件的函数：第一，相同的输入永远返回相同的输出；第二，执行过程中不会产生任何可观察的副作用。副作用指的是函数执行时对外界环境产生的修改，比如修改全局变量、操作DOM、发送网络请求、写入文件等。
下面是一个纯函数的示例：
// 纯函数：计算两个数的和
function add(a, b) {
return a + b;
}
// 调用两次相同输入，输出完全一致
console.log(add(1, 2)); // 输出3
console.log(add(1, 2)); // 输出3
再来看一个非纯函数的示例：
// 非纯函数：依赖外部变量，且修改了外部变量
let count = 0;
function increment() {
count += 1;
return count;
}
// 相同输入（无参数）但输出不同
console.log(increment()); // 输出1
console.log(increment()); // 输出2
什么是不可变数据
不可变数据指的是创建之后就不能被修改的数据，任何对数据的修改操作都会生成一个新的数据副本，而不是在原数据上直接变更。这种特性避免了数据在传递过程中被意外修改的风险。
在JavaScript中，基本类型数据（字符串、数字、布尔值等）本身就是不可变的，而引用类型数据（对象、数组）默认是可变的，我们可以通过一些方式实现引用类型的不可变操作：
// 原始可变数组操作（非不可变）
const arr1 = [1, 2, 3];
arr1.push(4); // 直接修改原数组
console.log(arr1); // [1,2,3,4]
// 不可变数组操作：生成新数组
const arr2 = [1, 2, 3];
const newArr = [...arr2, 4]; // 扩展运算符生成新数组
console.log(arr2); // [1,2,3] 原数组不变
console.log(newArr); // [1,2,3,4]
// 不可变对象操作
const obj1 = { name: '张三', age: 20 };
const newObj = { ...obj1, age: 21 }; // 生成新对象
console.log(obj1); // {name:'张三',age:20} 原对象不变
console.log(newObj); // {name:'张三',age:21}
纯函数与不可变数据的重要性
提升代码的可预测性
纯函数的输出完全由输入决定，不需要关心外部状态的变化，调用时不需要额外了解函数的内部实现和环境依赖，代码的执行结果更容易预判，调试时也能快速定位问题。
便于代码的测试和复用
纯函数不依赖外部状态，测试时只需要传入固定的输入，验证输出是否符合预期即可，不需要 mock 复杂的外部环境。同时纯函数没有副作用，可以在不同的业务场景中直接复用，不会和其他逻辑产生冲突。
减少并发场景下的数据冲突
不可变数据不会被修改，多个线程或者多个函数同时读取同一份数据时，不需要加锁来保证数据一致性，这在多线程编程或者前端状态管理（比如React的状态更新）中能大幅减少数据竞争的bug。
支持函数组合与链式调用
函数式编程中经常会将多个小函数组合成复杂逻辑，纯函数因为没有副作用，组合起来时不会互相干扰，不可变数据也保证了每一步操作的中间结果不会被意外修改，让链式调用和函数组合的实现更可靠。
实际开发中的注意事项
虽然纯函数和不可变数据有很多好处，但也不是所有场景都必须严格遵循。比如发送网络请求、操作本地存储这些操作本身就会产生副作用，我们可以将副作用集中在少量的边界函数中处理，核心业务逻辑尽量使用纯函数和不可变数据。另外频繁创建数据副本可能会带来一定的性能开销，在性能敏感的场景可以结合结构共享等优化方案来平衡。
函数式编程的核心不是完全杜绝副作用和可变数据，而是通过合理的设计，把副作用和可变操作隔离在可控的范围内，让大部分业务逻辑保持纯函数和不可变特性。
总的来说，纯函数和不可变数据是函数式编程的基石，理解它们的本质和作用，能帮助我们写出更健壮、更易维护的代码，无论是前端开发还是后端开发，都能从中获得实际的收益。