纯函数和可观察副作用

当我第一次听到 “纯函数 (Pure Function)” 这个术语的时候我很疑惑。常规的函数做错了什么?为什么要变纯? 为什么我需要纯的函数?

除非你已经知道什么是纯函数,否则你可能会问同样的疑惑。不过这个概念其实很简单。我们可以花个 5 分钟一起来看以下。

什么函数是纯的?

纯函数的定义是:

  1. 如果函数的调用参数相同,则永远返回相同的结果。它不依赖于程序执行期间函数外部任何状态或数据的变化,必须只依赖于其输入参数。
  2. 该函数不会产生任何可观察的副作用,例如网络请求,输入和输出设备或数据突变(mutation)。

这就是纯的函数。 如果一个函数符合上述 2 个要求,它就是纯函数。 你可能在过去甚至无意地情况下编写过纯函数。

在我们研究一个函数一个纯或不纯之前,让我们先讨论一下可怕的“副作用”。

什么是可观察的副作用?

一个可以被观察的副作用是在函数内部与其外部的任意交互。这可能是在函数内修改外部的变量,或者在函数里调用另外一个函数等。

注: 如果纯函数调用纯函数,则不产生副作用依旧是纯函数。

副作用来自,但不限于:

  • 进行一个 HTTP 请求
  • Mutating data
  • 输出数据到屏幕或者控制台
  • DOM 查询/操作
  • Math.random()
  • 获取的当前时间

副作用本身并不是毒药,某些时候往往是必需的。 但是,对于要保持纯粹的函数,它不能包含任何副作用。当然,并非所有函数都需要是纯函数。 我将在稍后讨论这个情况。

不过首先,让我们来看一些纯的和不纯的函数对比的例子......

纯函数的例子

以下是一个计算产品税后价格(英国税率是20%)的纯函数的例子:

function priceAfterTax(productPrice) { return (productPrice * 0.20) + productPrice;}

它符合我们所说的两条纯函数的定义。不依赖于任何外部输入,不改变任何外部数据、没有副作用。

即使你用同样的输入运行运行这个函数 100,000,000 次它依旧产生同样的结果

非纯函数

我们已经看了纯函数的例子,现在一起来看一个非纯函数(Impure function)的 JavaScript 例子:

var tax = 20;
function calculateTax(productPrice) {
    return (productPrice * (tax/100)) + productPrice;
}

暂停片刻,看看你是否能看出为什么这个函数不纯。

其中函数的计算结果取决于外部 tax 变量,而纯函数不能依赖外部变量。它没有满足定义中的第一个要求,因此这个函数是不纯的。

为什么说纯函数在 JavaScript 很重要?

纯函数在函数式编程中被大量使用。而且诸如 ReactJS 和 Redux 等优质的库都需要使用纯函数。

不过,纯函数也可以用在平常的 JavaScript 开发中使用,不一定要限死在某个编程范例中。 你可以混合纯的和不纯的函数,这完全没问题。

并非所有函数都需要是纯的。 例如,操作 DOM 的按钮按下的事件处理程序就不适合纯函数。 不过,这种事件处理函数可以调用其他纯函数来处理,以此减少项目中不纯函数的数量。

可测试性和重构

另一个使用纯函数的原因是测试以及重构。

使用纯函数的一个主要好处是它们可以直接测。 如果传入相同的参数,它们将始终产生相同的结果。

同时纯函数还使得维护和重构代码变得更加容易。你可以放心地重构一个纯函数,不必操心没注意到的副作用搞乱了整个应用而导致终调试地狱。(译注:如果项目中充斥着副作用,那么函数/模块之间的逻辑可能互相交织耦合,在后期新增逻辑时可能由于依赖复杂而难以重构,更常见的是开发为了应付需求而不断的引入新的副作用到原本的逻辑上从而导致代码变得越来越糟糕。)

正确地使用纯函数可以产生更加高质量的代码。并且也是一种更加干净的编码方式。

此外,纯函数不不是 JavaScript 的专利。想要了解更多内容可以参见 Wiki。同时也推荐阅读 开发建议手册 以及 纯函数 vs. 非纯函数

原文地址:https://www.cnblogs.com/closefriend/p/12105478.html

时间: 2024-11-07 06:16:17

纯函数和可观察副作用的相关文章

js —— 纯函数

//纯函数 ---> 不对外界产生副作用的函数就叫纯函 纯函数:const sum = function(value1, value2) { return value1 + value2 } *********************************只要每次给定相同的输入值,就一定会得到相同的输出值: 例如传入1与2,就一定会得到3不会改变原始输入参数,或是外部的环境,所以没有副作用不依頼其他外部的状态,变量或常量********************************* 非纯函

纯函数、透明引用、副作用的含义

Side Effects(副作用) According to Wikipedia, a function is said to have a side effect "if, in addition to returning a value, it also modifies some state or has an observable interaction with calling functions or the outside world." Side effects inc

什么是函数式编程(副作用、纯函数、引用透明)

副作用的概念:一个带有副作用的函数不仅只是简单的返回一个值,还干了一些其他的事情,比如: 修改一个变量 直接修改数据结构 设置一个对象的成员 抛出一个异常或以一个错误终止 打印到终端或读取用户的输入 读取或写入一个文件 在屏幕上绘画 因此我们对于函数式程序的判定边界就在于:函数的副作用. 于是--当函数没有副作用,那么我们就说这个函数符合函数式编程(FP):再给出纯函数这个概念用来定义一个函数没有副作用,我们可以说纯函数构成的程序风格就是函数式的! buyCoffee的例子(p3):函数只不过是

函数的副作用 —— 纯函数的理解

函数副作用指当调用函数时,除了返回函数值之外,还对主调用函数产生附加的影响.例如修改全局变量(函数外的变量)或修改参数. 纯函数 纯函数(Pure Function)——输入输出数据流全是显式(Explicit)的. 显式的意思是,函数与外界交换数据只有一个唯一渠道——参数和返回值:函数从函数外部接受的所有输入信息都通过参数传递到该函数内部:函数输出到函数外部的所有信息都通过返回值传递到该函数外部. 非纯函数 如果一个函数通过隐式(Implicit)方式,从外界获取数据,或者向外部输出数据,那么

函数式编程(一):纯函数

其他:函数式编程(二):curry 什么是纯函数? 纯函数是这样一种函数,即相同的输出,永远会得到相同的输出,而且没有任何可观察的副作用.‘副作用’是在计算结果的过程中,系统状态的一种变化,或者与外部世界进行可观察的交互.概括来讲,只要跟函数外部环境发生的交互就都是副作用.函数式编程的哲学就是假定副作用是造成不正当行为的主要原因.并不是说,要禁止使用一切副作用,而是,要让他们在可控的范围内发生.从定义上来说,纯函数必须能根据相同的输入返回相同的输出:如果函数需要跟外部事物打交道,那么就无法保证这

Function Programming - 纯函数(Pure Function)

纯函数的定义,非常重要!! Pure function 意指相同的输入,永远会得到相同的输出,而且没有任何显著的副作用. 老样子,我们还是从最简单的栗子开始: var minimum = 21; var OutercompareNumber = function(number) { return number > minimum; } 以及 var InnercompareNumber = function(number) { var minimum = 21; return number >

什么叫pure function(纯函数)

在Knockout中,用到了pureComputer(),其原理来自于纯函数(pure function).那么,什么叫纯函数呢? 纯函数 (来自:http://en.wikipedia.org/wiki/Pure_function) 在计算机编程中,假如满足下面这两个句子的约束,一个函数可能被描述为一个纯函数: 给出同样的参数值,该函数总是求出同样的结果.该函数结果值不依赖任何隐藏信息或程序执行处理可能改变的状态或在程序的两个不同的执行,也不能依赖来自I/O装置的任何外部的输入(通常是这样的-

C#中的函数式编程:递归与纯函数(二)

在序言中,我们提到函数式编程的两大特征:无副作用.函数是第一公民.现在,我们先来深入第一个特征:无副作用. 无副作用是通过引用透明(Referential transparency)来定义的.如果一个表达式满足将它替换成它的值,而程序的行为不变,则称这个表达式是引用透明的. 现在,我们不妨进行一个尝试:我们来实现一些函数,但是这次有一个限制:只能用无副作用的表达式. 先以素数判定为例子,我们要写一个函数bool IsPrime(int n),它返回这个整数是不是素数.简单起见,我们采用最朴素的方

js函数式编程(1)-纯函数

我将写的第一个主题是js的函数式编程,这一系列都是mostly adequate guide这本书的读书总结.原书在gitbook上,有中文版.由于原作者性格活泼,书中夹杂很多俚语,并且行文洒脱.中文译版难免有时需要思量一番,既然读了就写出来,能方便别人最好,也请读者指正.正文如下. 如果一个函数是纯函数,那么其不依赖外部环境,并且不产生副作用. 1.不依赖外部环境,反例如下: const a1 = 10; const aFunc1 = () => { // 依赖外部变量 return a1;