函数的副作用及其他.DOC

PAGE PAGE 1 函数的副作用及其他 纯函数（Pure Function）是这样一种函数——输入输出数据流全是显式（Explicit）的。显式（Explicit）的意思是，函数与外界交换数据只有一个唯一渠道——参数和返回值；函数从函数外部接受的所有输入信息都通过参数传递到该函数内部；函数输出到函数外部的所有信息都通过返回值传递到该函数外部。 如果一个函数通过隐式（Implicit）方式，从外界获取数据，或者向外部输出数据，那么，该函数就不是Pure Function，叫作Impure Function。 隐式（Implicit）的意思是，函数通过参数和返回值以外的渠道，和外界进行数据交换。比如，读取全局变量，修改全局变量，都叫作以隐式的方式和外界进行数据交换；比如，利用I/O API（输入输出系统函数库）读取配置文件，或者输出到文件，打印到屏幕，都叫做隐式的方式和外界进行数据交换。 如果用社会现象来比喻，显式（Explicit）就是显规则，隐式（Implicit）就是潜规则。 Pure Function就是那种一根筋的理想主义者，绝不搞歪门邪道，没有什么灰色收入，数据入口和出口只有一条唯一途径——参数和返回值。只要卡住参数、返回值的出入口，就可以监控所有的数据流向。这对征税很有好处。比如一般的工薪阶层，只有工资一条收入渠道，扣税是银行直接代缴的。 Impure Function就不一样了，为了行事方便，大开后门，各种暗地手段无所不用其极，路子很宽很野。从函数签名（函数名，参数列表，返回值）定义上，你不知道Impure Function内部实现中有多少潜在的条数据交换的通路。监控Impure Function的数据流向是比较困难的。对Impure Function征税，也是比较困难的。只能期望灰色收入的人群自己申报。 下面举几个例子。 f(x) { return x + 1 } f(x)函数就是Pure Function。 a = 0 q(x) { ? b = a } q(x) 访问了函数外部的变量。q(x)是Impure Function。 p(x){ print “hello” } p(x)通过I/O API输出了一个字符串。p(x)是Impure Function。 c(x) { ? data = readConfig() // 读取配置文件 } c(x)通过I/O API读取了配置文件。c(x)是Impure Function。  Pure Function内部有隐式（Implicit）的数据流，这种情况叫做副作用（Side Effect）。我们可以把副作用想象为潜规则。上述的I/O，外部变量等，都可以归为副作用。因此，Pure Function的定义也可以写为，没有副作用的函数，叫做Pure Function。 I/O API可以看作是一种特殊的全局变量。文件、屏幕、数据库等输入输出结构可以看作是独立于运行环境之外的系统外全局变量，而不是应用程序自己定义的全局变量。 上述只讨论了一般的情况，还有一种特殊的情况，我们没有讨论。有些函数的参数是一种In/Out作用的参数，即函数可能改变参数里面的内容，把一些信息通过输入参数，夹带到外界。这种情况，严格来说，也是副作用。也是Impure Function。 比如下面的函数。 process(context) { a = context.getInfo() result = calculate( a ) context.setResult( result ) } 这种情况下，context参数同时作为输入和输出渠道。严格意义上，这也叫作副作用。参数只作为输入，返回值只作为输出，这才符合严格的Pure Function定义。 一般情况下，Pure Function的参数应该是只读的。函数不应该改变参数内部的任何状态。 除此之外，还有一种特殊情况。比如，函数调用了获取系统时间的API。这种API是有状态的API，也可以看作是特殊的I/O API。这也是Impure Function。 Pure Function有这么多限制，那么Pure Function到底有什么好处呢？难道就是监控数据流方便？还是征税方便？ Pure Function的好处主要有几点： （1）无状态，Stateless。线程安全。不需要线程同步。 （2）Pure Function相互调用组装起来的函数，还是Pure Function。 （3）应用程序或者运行环境（Runtime）可以对Pure Function的运算结果进行缓存，运算加快速度。 上述的好处（3）需要说明一下。Pure Function的输入、输出