纯函数是所有函数式编程语言中使用的概念,这是一个非常重要的概念,因为它是函数式编程的基础,它允许你创建简单和复杂的组合模式。
纯函数背后的数学术语我就不说了,我直接说说说它们是什么以及它们的样子。
你可以确定满足以下条件的函数是纯函数:
- 它应始终返回相同的值。不管调用该函数多少次,无论今天、明天还是将来某个时候调用它。
- 自包含(不使用全局变量)。
- 它不应修改程序的状态或引起副作用(修改全局变量)。
第一个条件:应始终返回相同的值
以以下功能为例
Math.cos(0) // 1
无论今天,明天还是将来某个时间调用 Math.cos(0)
都没关系,输出始终为1
。我们来看一个新的例子
const numberOfApples = 5;
const applesBought = 5;
const add = (num1, num2) => num1 + num2;
const totalApples = add(numberOfApples, applesBought) // 10
const totalApples = add(numberOfApples, applesBought) // 10
// ... one month later
const totalApples = add(numberOfApples, applesBought) //10
add函数也会发生同样的事情,不管调用该函数多少次或何时调用该函数,每次输出都相同。
现在,我们来看一个随时间或每次调用而变化的函数:
Math.random() // 返回一个随机数
Math.random() // 返回一个不同的随机数
// 一个月后
Math.random() // 返回一个不同的随机数
如你所见,每次调用 Math.random()
时,输出都会改变,因此我们不能说 Math.random()
是纯函数。
第二标准:自包含
通过使用非纯函数,这个标准也很容易理解,所以让我们看看非纯函数是什么样子的:
const numberOfApples = 5
const applesBought = 5
const addApplesToTotal = (num1) => numberOfApples + num1;
const totalApples = addApplesToTotal(applesBought); // 10
从上一个示例可以看到,函数 addApplesToTotal
使用的是上面定义的变量,它不是传递 numberOfApples
的值,而是直接访问外部范围。因此,addApplesToTotal
不是自包含的。
第三个条件:它不应修改程序的状态或引起副作用
与前面的标准一样,可以使用非纯函数很好地演示这个标准。我们来看一下
let totalApples = 5
const applesBought = 5
const addApplesToTotal = () => {
totalApples += applesBought
};
addApplesToTotal()
你能从前面的不纯函数中注意到什么?它打破了前面的两个标准!!
- 它正在访问外部作用域,因此它不是自包含的。
- 它正在引起副作用,因为它改变了
totalApples
的值。
为什么纯函数很重要?
- 纯函数不那么复杂
- 更容易调试
- 易于组合
- 易于并行化
总结
纯函数是函数编程中一个基本但功能强大的概念。学习和习惯纯函数可以使你更轻松地测试和调试代码。它们将允许你学习关于函数式编程的更复杂的知识。