J2SE一一JDK8新特性(吐血整理)

下面对几个经常使用的特性作下重点说明。html

1、Lambda表达式

百科介绍java

函数编程很是关键的几个特性以下:
(1)闭包与高阶函数
函数编程支持函数做为第一类对象,有时称为  闭包 或者  仿函数 (functor)对象。实质上,闭包是起函数的做用并能够像对象同样操做的对象。
与此相似,FP 语言支持  高阶函数 。高阶函数能够用另外一个函数(间接地,用一个 表达式 ) 做为其输入参数,在某些状况下,它甚至返回一个函数做为其输出参数。这两种结构结合在一块儿使得能够用优雅的方式进行模块化编程,这是使用 FP 的最大好处。
(2)惰性计算
在惰性计算中, 表达式 不是在绑定到变量时当即计算,而是在求值程序须要产生表达式的值时进行计算。延迟的计算使您能够编写可能潜在地生成无穷输出的函数。由于不会计算多于程序的其他部分所须要的值,因此不须要担忧由无穷计算所致使的 out-of-memory 错误。
(3)没有“反作用”
所谓"反作用"(side effect),指的是函数内部与外部互动(最典型的状况,就是修改全局变量的值),产生运算之外的其余结果。函数式编程强调没有"反作用",意味着函数要保持独立,全部功能就是返回一个新的值,没有其余行为,尤为是不得修改外部变量的值。
综上所述,函数式编程能够简言之是: 使用不可变值和函数, 函数对一个值进行处理, 映射成另外一个值。这个值在面向对象语言中能够理解为对象,另外这个值还能够做为函数的输入。程序员

1.2 Lambda表达式

官方教程地址web

1.2.1 语法

完整的Lambda表达式由三部分组成:参数列表、箭头、声明语句;express

(Type1 param1, Type2 param2, ..., TypeN paramN) -> {  statment1;  statment2;  //.............  return statmentM;}

1\. 绝大多数状况,编译器均可以从上下文环境中推断出lambda表达式的参数类型,因此参数能够省略:编程

(param1,param2, ..., paramN) -> {  statment1;  statment2;  //.............  return statmentM;}

二、 当lambda表达式的参数个数只有一个,能够省略小括号:安全

param1 -> {  statment1;  statment2;  //.............  return statmentM;}

三、 当lambda表达式只包含一条语句时,能够省略大括号、return和语句结尾的分号:数据结构

param1 -> statment

这个时候JVM会自动计算表达式值并返回,另外这种形式还有一种更简写法,方法引用写法,具体能够看下面的方法引用的部分。多线程

1.2.2 函数接口

函数接口是只有一个抽象方法的接口, 用做 Lambda 表达式的返回类型。
接口包路径为java.lang.function,而后接口类上面都有@FunctionalInterface这个注解。下面列举几个较常见的接口类。闭包

image

这些函数接口在使用Lambda表达式时作为返回类型,JDK定义了不少如今的函数接口,实际本身也能够定义接口去作为表达式的返回,只是大多数状况下JDK定义的直接拿来就能够用了。并且这些接口在JDK8集合类使用流操做时大量被使用。

1.2.3 类型检查、类型推断

Java编译器根据 Lambda 表达式上下文信息就能推断出参数的正确类型。 程序依然要通过类型检查来保证运行的安全性, 但不用再显式声明类型罢了。 这就是所谓的类型推断。Lambda 表达式中的类型推断, 其实是 Java 7 就引入的目标类型推断的扩展。

image

有时候显式写出类型更易读,有时候去掉它们更易读。没有什么法则说哪一种更好;对于如何让代码更易读,程序员必须作出本身的选择。

1.2.4 局部变量限制

Lambda表达式也容许使用自由变量(不是参数,而是在外层做用域中定义的变量),就像匿名类同样。 它们被称做捕获Lambda。 Lambda能够没有限制地捕获(也就是在其主体中引用)实例变量和静态变量。但局部变量必须显式声明为final,或事实上是final。
为何局部变量有这些限制?
(1)实例变量和局部变量背后的实现有一个关键不一样。实例变量都存储在堆中,而局部变量则保存在栈上。若是Lambda能够直接访问局部变量,并且Lambda是在一个线程中使用的,则使用Lambda的线程,可能会在分配该变量的线程将这个变量收回以后,去访问该变量。所以, Java在访问自由局部变量时,其实是在访问它的副本,而不是访问原始变量。若是局部变量仅仅赋值一次那就没有什么区别了——所以就有了这个限制。
(2)这一限制不鼓励你使用改变外部变量的典型命令式编程模式。

1.2.5 使用示例

<pre style="box-sizing: border-box; outline: 0px; margin: 0px 0px 20px; padding: 15px; font-weight: 400; position: relative; white-space: pre-wrap; overflow-wrap: normal; overflow: auto; font-family: Menlo, Monaco, Consolas, &quot;Courier New&quot;, monospace; font-size: 13px; line-height: 1.42857; color: rgb(101, 123, 131); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; word-break: break-word; border: 1px solid rgb(204, 204, 204); background: rgb(246, 246, 246);">List<Integer> list = Arrays.asList(1,2,3,4,5,6,7,8,9,10);
long num = list.stream().filter( a -> a > 4 ).count();
System.out.println(num);</pre>

上面这段是统计list中大于4的值的个数,使用的lambda表达式为 a-> a> 4 ,这里参数a没有定义类型,会自动判断为Integer类型,而这个表达式的值会自动转化成函数接口Predicate对应的对象(filter方法定义的输入参数类型),至于stream及相关的操做则是下面要说的流操做。它们常常一块儿配合进行一块儿数据处理。

2、流

2.1 流介绍

流是Java API的新成员,它容许你以声明性方式处理数据集合(经过查询语句来表达,而不是临时编写一个实现)。就如今来讲,你能够把它们当作遍历数据集的高级迭代器。此外,流还能够透明地并行处理,你无需写任何多线程代码了!

2.2 使用流

类别 方法名 方法签名 做用
筛选切片 filter Stream<T> filter(Predicate<? super T> predicate) 过滤操做,根据Predicate判断结果保留为真的数据,返回结果仍然是流
  distinct Stream<T> distinct() 去重操做,筛选出不重复的结果,返回结果仍然是流
       
  limit Stream<T> limit(long maxSize) 截取限制操做,只取前 maxSize条数据,返回结果仍然是流
       
  skip Stream<T> skip(long n) 跳过操做,跳过n条数据,取后面的数据,返回结果仍然是流
       
映射 map <R> Stream<R> map(Function<? super T, ? extends R> mapper) 转化操做,根据参数T,转化成R类型,返回结果仍然是流
  flatMap <R> Stream<R> flatMap(Function<? super T, ? extends Stream<? extends R>> mapper) 转化操做,根据参数T,转化成R类型流,这里会生成多个R类型流,返回结果仍然是流
       
匹配 anyMatch boolean anyMatch(Predicate<? super T> predicate) 判断是否有一条匹配,根据Predicate判断结果中是否有一条匹配成功
  allMatch boolean allMatch(Predicate<? super T> predicate) 判断是否全都匹配,根据Predicate判断结果中是否所有匹配成功
       
  noneMatch boolean noneMatch(Predicate<? super T> predicate) 判断是否一条都不匹配,根据Predicate判断结果中是否全部的都不匹配
       
查找 findAny Optional<T> findAny() 查找操做, 查询当前流中的任意元素并返回Optional
  findFirst Optional<T> findFirst() 查找操做, 查询当前流中的第一个元素并返回Optional
       
归约 reduce T reduce(T identity, BinaryOperator<T> accumulator); 归约操做,一样两个类型的数据进行操做后返回相同类型的结果。好比两个整数相加、相乘等。
  max Optional<T> max(Comparator<? super T> comparator) 求最大值,根据Comparator计算的比较结果获得最大值
       
  min Optional<T> min(Comparator<? super T> comparator) 求最小值,根据Comparator计算的比较结果获得最小值
       
汇总统计 collect <R, A> R collect(Collector<? super T, A, R> collector) 汇总操做,汇总对应的处理结果。这里常常与
  count long count() 统计流中数据数量
       
遍历 foreach void forEach(Consumer<? super T> action) 遍历操做,遍历执行Consumer 对应的操做

上面是Stream API的一些经常使用操做,按场景结合lambda表达式调用对应方法便可。至于Stream的生成方式,Stream的of方法或者Collection接口实现类的stream方法均可以得到对应的流对象,再进一步根据须要作对应处理。

另外上述方法若是返回是Stream对象时是能够链式调用的,这个时候这个操做只是声明或者配方,不产生新的集合,这种类型的方法是惰性求值方法;有些方法返回结果非Stream类型,则是及早求值方法。

“为何要区分惰性求值和及早求值? 只有在对须要什么样的结果和操 做有了更多了解以后, 才能更有效率地进行计算。 例如, 若是要找出大于 10 的第一个数字, 那么并不须要和全部元素去作比较, 只要找出第一个匹配的元素就够了。 这也意味着能够在集合类上级联多种操做, 但迭代只需一次。这也是函数编程中惰性计算的特性,即只在须要产生表达式的值时进行计算。这样代码更加清晰,并且省掉了多余的操做。

这里还对上述列表操做中相关的Optional与Collectors类作下说明。

Optional类是为了解决常常遇到的NullPointerException出现的,这个类是一个可能包含空值的容器类。用Optional替代null能够显示说明结果可能为空或不为空,再使用时使用isPresent方法判断就能够避免直接调用的空指针异常。

Collectors类是一个很是有用的是归约操做工具类,工具类中的方法常与流的collect方法结合使用。好比
groupingBy方法能够用来分组,在转化Map时很是实用;partitioningBy方法能够用来分区(分区能够当作一种特殊的分组,真假值分组),joining方法能够用来链接,这个应用在好比字符串拼接的场景。

2.3 并行流

Collection接口的实现类调用parallelStream方法就能够实现并行流,相应地也得到了并行计算的能力。或者Stream接口的实现调用parallel方法也能够获得并行流。并行流实现机制是基于fork/join 框架,将问题分解再合并处理。

不过并行计算是否必定比串行快呢?这也不必定。实际影响性能的点包括:
(1)数据大小输入数据的大小会影响并行化处理对性能的提高。 将问题分解以后并行化处理, 再将结果合并会带来额外的开销。 所以只有数据足够大、 每一个数据处理管道花费的时间足够多
时, 并行化处理才有意义。
(2) 源数据结构
每一个管道的操做都基于一些初始数据源, 一般是集合。 将不一样的数据源分割相对容易,这里的开销影响了在管道中并行处理数据时到底能带来多少性能上的提高。
(3) 装箱
处理基本类型比处理装箱类型要快。
(4) 核的数量
极端状况下, 只有一个核, 所以彻底不必并行化。 显然, 拥有的核越多, 得到潜在性能提高的幅度就越大。 在实践中, 核的数量不单指你的机器上有多少核, 更是指运行时你的机器能使用多少核。 这也就是说同时运行的其余进程, 或者线程关联性( 强制线程在某些核或 CPU 上运行) 会影响性能。
(5) 单元处理开销
好比数据大小, 这是一场并行执行花费时间和分解合并操做开销之间的战争。 花在流中
每一个元素身上的时间越长, 并行操做带来的性能提高越明显

实际在考虑是否使用并行时须要考虑上面的要素。在讨论流中单独操做每一块的种类时, 能够分红两种不一样的操做: 无状态的和有状态的。无状态操做整个过程当中没必要维护状态, 有状态操做则有维护状态所需的开销和限制。若是能避开有状态, 选用无状态操做, 就能得到更好的并行性能。 无状态操做包括 map、filter 和 flatMap, 有状态操做包括 sorted、 distinct 和 limit。这种理解在理论上是更好的,固然实际使用仍是以测试结果最为可靠 。

3、方法引用

方法引用的基本思想是,若是一个Lambda表明的只是“直接调用这个方法”,那最好仍是用名称来调用它,而不是去描述如何调用它。事实上,方法引用就是让你根据已有的方法实现来建立Lambda表达式。可是,显式地指明方法的名称,你的代码的可读性会更好。因此方法引用只是在内容中只有一个表达式的简写。

当 你 需 要使用 方 法 引用时 , 目 标引用 放 在 分隔符::前 ,方法 的 名 称放在 后 面 ,即ClassName :: methodName 。例如 ,Apple::getWeight就是引用了Apple类中定义的方法getWeight。请记住,不须要括号,由于你没有实际调用这个方法。方法引用就是Lambda表达式(Apple a) -> a.getWeight()的快捷写法。

这里有种状况须要特殊说明,就是类的构造函数状况,这个时候是经过ClassName::new这种形式建立Class构造函数对应的引用,例如:

image

4、默认方法

4.1 介绍

为了以兼容方式改进API,Java 8中加入了默认方法。主要是为了支持库设计师,让他们可以写出更容易改进的接口。具体写法是在接口中加default关键字修饰。

4.2 使用说明

默认方法因为是为了不兼容方式改进API才引入,因此通常正常开发中不会使用,除非你也想改进API,而不影响老的接口实现。固然在JDK8有大量的地方用到了默认方法,因此对这种写法有必定的了解仍是有帮助的。
采用默认方法以后,你能够为这个方法提供一个默认的实现,这样实体类就无需在本身的实现中显式地提供一个空方法,而是默认就有了实现。

4.3 注意事项

因为类能够实现多个接口,也能够继承类,当接口或类中有相同函数签名的方法时,这个时候到底使用哪一个类或接口的实现呢?
这里有三个规则能够进行判断:
(1) 类中的方法优先级最高。类或父类中声明的方法的优先级高于任何声明为默认方法的优先级。
(2) 若是没法依据第一条进行判断,那么子接口的优先级更高:函数签名相同时,优先选择拥有最具体实现的默认方法的接口,即若是B继承了A,那么B就比A更加具体。
(3) 最后,若是仍是没法判断,继承了多个接口的类必须经过显式覆盖和调用指望的方法,显式地选择使用哪个默认方法的实现。否则编译都会报错。

5、方法参数反射

官方教程地址

JDK8 新增了Method.getParameters方法,能够获取参数信息,包括参数名称。不过为了不.class文件由于保留参数名而致使.class文件过大或者占用更多的内存,另外也避免有些参数( secret/password)泄露安全信息,JVM默认编译出的class文件是不会保留参数名这个信息的。

这一选项需由编译开关 javac -parameters 打开,默认是关闭的。在Eclipse(或者基于Eclipse的IDE)中能够以下图勾选保存:

image

6、日期/时间改进

1.8以前JDK自带的日期处理类很是不方便,咱们处理的时候常常是使用的第三方工具包,好比commons-lang包等。不过1.8出现以后这个改观了不少,好比日期时间的建立、比较、调整、格式化、时间间隔等。
这些类都在java.time包下。比原来实用了不少。

6.1 LocalDate/LocalTime/LocalDateTime

LocalDate为日期处理类、LocalTime为时间处理类、LocalDateTime为日期时间处理类,方法都相似,具体能够看API文档或源码,选取几个表明性的方法作下介绍。

now相关的方法能够获取当前日期或时间,of方法能够建立对应的日期或时间,parse方法能够解析日期或时间,get方法能够获取日期或时间信息,with方法能够设置日期或时间信息,plus或minus方法能够增减日期或时间信息;

6.2 TemporalAdjusters

这个类在日期调整时很是有用,好比获得当月的第一天、最后一天,当年的第一天、最后一天,下一周或前一周的某天等。

6.3 DateTimeFormatter

之前日期格式化通常用SimpleDateFormat类,可是不怎么好用,如今1.8引入了DateTimeFormatter类,默认定义了不少常量格式(ISO打头的),在使用的时候通常配合LocalDate/LocalTime/LocalDateTime使用,好比想把当前日期格式化成yyyy-MM-dd hh:mm:ss的形式:

LocalDateTime dt = LocalDateTime.now();DateTimeFormatter dtf = DateTimeFormatter.ofPattern("yyyy-MM-dd hh:mm:ss");       System.out.println(dtf.format(dt));

7、参考资料

官方教程:http://docs.oracle.com/javase/tutorial/

《Java 8实战》

《Java 8函数式编程》

相关文章
相关标签/搜索