《编程导论（Java）·3.1.2 方法》之 副作用

4. 副作用

在一些语言如Pascal中，子程序被分成两种：函数和过程。尽管Java没有强制性地要求将方法区分为命令和函数。然而这样的差别对于良好地设计程序有非常大的帮助^[1]。

首先说明一个概念：副作用(side effect)。副作用通常是针对操作(表达式)而言的，一个操作/表达式有“副作用”是指在对该表达式求值时，会改变程序的一个或多个数据，以致再次对该表达式求值时。可能会得出不同的结果。其实。Java的4种表达式语句如赋值、自增自减、方法调用、对象创建都可能带来副作用。

这里讨论方法的副作用。一个方法的运行，假设在返回一个值之外还导致某些外部“状态”发生变化，则称该方法产生了副作用。这里所谓“状态”发生变化，能够是实例域或静态变量被改动、方法的实參被改动(Java 中不会出现这样的情况。可是实參为引用时，其指向的对象可能被改动从而产生副作用)、将数据传递给显示器、打印机或存入文件里等等。

当然，方法内部的表达式也会出现副作用。假设它只影响局部变量而不影响外部状态，则方法没有副作用。基于副作用概念。定义两个术语：

²       有返回值并且没有副作用的方法称为函数(function)。

²       没有返回值的方法必定有副作用，除非它的方法体是空的或者方法没有意义。所以，没有返回值的方法、有返回值但有副作用的方法称为过程(procedure)或命令(command)。

简言之。有副作用的方法称为过程。

如此严格地定义出函数的概念，是由于函数使得系统的状态稳定，函数的行为easy预測。

更进一步，假设函数是纯粹的函数(pure function，纯函数)——它的输出值依靠和只依靠其输入、对于同样的输入总是返回同样的值，(由于纯函数的纯粹和无副作用)对纯函数的调用就行被一个值代替(或者说，将方法视为一个值)，这就是函数式编程语言中著名的引用透明(referentialtransparency)特性。

例程 3‑3纯函数

package semantics.method;
public class SideEffectsDemo{
    private static int x = 0;
    //纯函数(pure function)
    public static int times(int i,int j){
        return  i * j ;
    }
    //非纯函数
    public static int m(int i,int j){
        return  i * j +x;
    }
}

在函数式编程语言(functionalprogramming language)如Haskell[2]中，尤其强调避免副作用。

当然了，全然不产生副作用的编程语言是没有不论什么用处的。比如数据显示和存入文件等等副作用都是必要的。强调无副作用的Haskell 语言。使用一种技术将它们分离出来，用一种安全的方式单独运行。

Java是命令式面向对象语言，但可以借鉴函数式语言的长处，也期待Java中增加重要的函数式语言的特性。随着Java 8的公布，引入的λ表达式(Lambda Expressions)表明。Java開始大力引入函数式语言的特性。(They enable you to treat functionality as a method argument, or code as data.)

练习3-5：何谓方法、函数、纯函数？ 解释副作用的含义。

练习3-6：实现方法，求f(x)=x^3 + 3x+1。注：书中x^3表示x*x*x.

---

[1] 參考RichardMitchell。Jim Mackim著，孟岩译。Design by Contract原则与实践。

[2] http://www.haskell.org/learning.html