JavaScript函数式编程中的纯函数与所指透明性解析

纯函数与函数式编程概述

本文详细介绍JavaScript函数式编程中纯函数的应用方法，旨在为读者提供实用的参考与学习素材。

函数式编程倡导大量使用纯函数。纯函数的定义在于其仅依赖传入的参数，不访问函数外部的任何状态，也不会对函数外部的环境产生任何影响。与之相对的是不纯函数，这类函数可能读取全局变量，或者修改全局变量的值，从而引入外部依赖和状态变更。

优先使用纯函数的原因在于其更高的可靠性和无副作用特性。对于相同的输入，纯函数始终返回相同的结果，这一特性被称为所指透明（Referential transparency）。这种确定性使得程序运行更加稳定，同时也极大地简化了单元测试的过程。

理解函数的副作用

副作用

纯函数的核心特征是无副作用，任何存在副作用的函数都不属于纯函数范畴。以生活为例，服用感冒药旨在治疗疾病，但其引发的嗜睡即为副作用。在编程中，函数的副作用通常表现为对函数外部状态的依赖或修改。

以下是一个具体示例：

let name = 'longzhoufeng'
const greet = () => {
 console.log(`hello, ${name}`)
}

上述greet函数并非纯函数，因为它依赖于函数外部的全局变量name。这种依赖存在风险，因为全局变量name可能在程序运行过程中被其他代码修改。尝试执行以下操作：

greet() // 输出：“hello, longzhoufeng”
let name = 'longzhoupeng' // name 的值被改变了
greet() // 输出：“hello, longzhoupeng”

对代码进行如下调整：

const greet = (name) => {
 console.log(`hello, ${name}`)
}

修改后的函数明确声明了其依赖的输入参数name，仅依赖于传入的name值。然而，该函数依然不是纯函数，因为它在控制台输出内容，这构成了对外部环境的改变（副作用）。因此，需进一步调整：

const greet = (name) => {
 return `hello, ${name}`
}

经过修改后，greet函数成为纯函数。它仅依赖传入的name参数，且不改变任何外部状态。无论何时传入相同的name值，它都会返回相同的结果。这种函数既安全又可靠，是函数式编程推崇的理想形式。

所指透明性解析

所指透明

所指透明（Referential transparency）是指表达式的值可以直接被其结果替换而不改变程序行为。例如，语句“中国的首都”所指代的内容明确为“北京”，含义透明。相反，“我有点饿”这一表达所指不透明，因为无法确定其具体意图是外出就餐还是要求他人购买食物。

纯函数具备所指透明性，因为对于相同的输入，它总是返回相同的结果，不存在歧义。

const greet = (name) => {
 return `hello, ${name}`
}
const logger = (message) => {
 console.log(message)
}
logger(greet('longzhoufeng'))
// 上面的表达式也可以这样：
logger('hello, longzhoufeng')
// 得到的结果是一样的，因为 greet 所指透明。
// 给它一个 “longzhoufeng”，它所指的东西就是 “hello, longzhoufeng”

由于greet函数具有所指透明性，在表达式中将其替换为其返回值不会影响程序运行。例如，在代码中所有调用greet('longzhoufeng')的地方，都可以直接替换为字符串'hello, longzhoufeng'。这是因为greet('longzhoufeng')的返回值即为该字符串，替换后逻辑保持一致。

参考资料

http://stackoverflow.com/questions/210835/what-is-referential-transparency

更多关于JavaScript相关内容可查看本站专题：《JavaScript常用函数技巧汇总》、《javascript面向对象入门教程》、《JavaScript错误与调试技巧总结》、《JavaScript数据结构与算法技巧总结》及《JavaScript数学运算用法总结》

希望本文所述对大家JavaScript程序设计有所帮助。