首页 > 代码库 > [Java 8] 函数式编程简介
[Java 8] 函数式编程简介
思维方式的转变
以从一个城市集合中寻找是否存在Chicago为例:
习惯的方式
boolean found = false; for(String city : cities) { if(city.equals("Chicago")) { found = true; break; } } System.out.println("Found chicago?:" + found);
以上代码就是绝大多数开发人员在面对这个问题时的第一反应。它通过命令式风格(Imperative Style)的代码来完成需要的逻辑,但是看起来会比较复杂,因为代码量较多。
稍有经验的开发人员则会利用现有的API来实现,使代码更简洁同时也更具有可读性,因为它将代码风格由命令式转变为声明式(Declarative Style)。
System.out.println("Found chicago?:" + cities.contains("Chicago"));
简单的一行代码,就能够将程序的意图显示出来。
另一个例子
假设对于20元以上的商品,进行9折处理,最后得到这些商品的折后价格。如下解决方案立即会映入脑海:
final List<BigDecimal> prices = Arrays.asList( new BigDecimal("10"), new BigDecimal("30"), new BigDecimal("17"), new BigDecimal("20"), new BigDecimal("15"), new BigDecimal("18"), new BigDecimal("45"), new BigDecimal("12")); BigDecimal totalOfDiscountedPrices = BigDecimal.ZERO; for(BigDecimal price : prices) { if(price.compareTo(BigDecimal.valueOf(20)) > 0) totalOfDiscountedPrices = totalOfDiscountedPrices.add(price.multiply(BigDecimal.valueOf(0.9))); } System.out.println("Total of discounted prices: " + totalOfDiscountedPrices);
当你经常性的写这种类型的代码时,不知道是否会产生一种无聊或者不安的情绪。因为这段代码已经普通到有点乏味了,虽然它能够正常工作,但是总会感觉到它并不是那么优雅。
更优雅的方式,是使用声明式的代码:
final BigDecimal totalOfDiscountedPrices = prices.stream() .filter(price -> price.compareTo(BigDecimal.valueOf(20)) > 0) .map(price -> price.multiply(BigDecimal.valueOf(0.9))) .reduce(BigDecimal.ZERO, BigDecimal::add); System.out.println("Total of discounted prices: " + totalOfDiscountedPrices);
没有声明任何的临时变量,没有各种if判断,逻辑一气呵成。同时也更具有可读性: 首先将价格集合根据条件进行过滤(filter),然后对过滤后的集合进行折扣处理(map),最后将折扣后的价格进行相加(reduce)。
它利用了Java 8的新特性,Lambda表达式以及相关的方法如stream(),reduce()等将代码转变成函数式的风格(Functional Style)。Lambda表达式和其相关内容会在后文中进行详细介绍。
使用函数式代码的好处
- 减少了可变量(Immutable Variable)的声明
- 能够更好的利用并行(Parallelism)
- 代码更加简洁和可读
当然,Java 8中对于函数式编程风格的引入,并不是为了要颠覆已经根深蒂固面向对象编程风格。而是让它们和谐共处,取长补短。比如,使用面向对象对实体进行建模,对实体之间的关系进行表述;而使用函数式编码来实现实体中的各种状态改变,业务流程以及数据处理。
函数式编程的核心
声明式的代码风格(Declarative Style) : 这需要提高代码的抽象层次,比如在前面的例子中,将从集合中搜索一个元素的操作封装到contains方法中。
更多的不变性(Promote Immutability) : 能不声明变量就不要声明,需要变量时尽量使用final来修饰。因为变量越多,就意味着程序越难以并行。实现了不变性的方法意味着它不再有副作用,不会因为调用而改变程序的状态。
使用表达式来代替语句(Prefer Expression to Statement) : 使用语句也就意味着不变性的破坏和程序状态的改变,比如赋值语句的使用。
使用高阶函数(High-Order Function) : 在Java 8以前,重用是建立在对象和类型系统之上。而Java 8中则将重用的概念更进一步,使用函数也能够实现代码的重用。所谓高阶函数,不要被其名字唬住了,实际上很简单:
- 将函数作为参数传入到另外一个函数中
- 函数的返回值可以是函数类型
- 在函数中创建另一个函数
在前文中,已经见过函数作为参数传入到另一个函数的例子了:
prices.stream() .filter(price -> price.compareTo(BigDecimal.valueOf(20)) > 0) .map(price -> price.multiply(BigDecimal.valueOf(0.9))) .reduce(BigDecimal.ZERO, BigDecimal::add);
price -> price.multiply(BigDecimal.valueOf(0.9))
实际上就是一个函数。只不过它的写法使用了Lambda表达式,当代码被执行时,该表达式会被转换为一个函数。
函数式接口(Functional Interface)
为了在Java中引入函数式编程,Java 8中引入了函数式接口这一概念。
函数式接口就是仅声明了一个方法的接口,比如我们熟悉的Runnable,Callable,Comparable等都可以作为函数式接口。当然,在Java 8中,新添加了一类函数式接口,如Function,Predicate,Consumer,Supplier等。
在函数式接口中,可以声明0个或者多个default方法,这些方法在接口内就已经被实现了。因此,接口的default方法也是Java 8中引入的一个新概念。
函数式接口使用@FunctionalInterface注解进行标注。虽然这个注解的使用不是强制性的,但是使用它的好处是让此接口的目的更加明确,同时编译器也会对代码进行检查,来确保被该注解标注的接口的使用没有语法错误。
如果一个方法接受一个函数式接口作为参数,那么我们可以传入以下类型作为参数:
- 匿名内部类(Anonymous Inner Class)
- Lambda表达式
- 方法或者构造器的引用(Method or Constructor Reference)
第一种方式是Java的以前版本中经常使用的方式,在Java 8中不再被推荐。 第二种方式中,Lambda表达式会被编译器转换成相应函数式接口的一个实例。 第三种方式会在后文中详细介绍。
[Java 8] 函数式编程简介