Java 16新特性


2021年3月16日,甲骨文正式发布了Java 16!想当年JDK1.6新出的场景和历历在目,一瞬间,版本已经变成了16,真正体会了一把什么叫做光阴似箭,沧海桑田。虽然目前大部分的场合,Java8还占着主导地位,但我猜想各位Javaer应该对Java16的新特性也大有兴趣吧!

看完之后我觉得这次更新还是很有意思的,我就精选几个Java16的新特性,供大家一饱眼福!(大家可以自己建个项目用起来试试)


支持模式匹配的instanceof

想想你是怎么用instanceof的吧,一个例子:

if (obj instanceof String) {     String s = (String) obj;    // grr...     ... }

这代码是不是让人蛋疼,我都知道是个String了,还让我强转一下,该改进一下啦~

if (obj instanceof String s) {     //这里s随你用了 从类型判断,到变量定义,类型转换,一气呵成,爽不爽? }

进一步的,还可以这么用,模式变量s在判断条件里直接使用

if (obj instanceof String s && s.length() > 5) {     flag = s.contains("jdk"); }

不过要小心,下面的用法是错误的(原因就不多解释啦):

if (obj instanceof String s || s.length() > 5) {    // Error!     ... }


Records类型

我们对Java最大的意见是啥?当然是太繁琐了,一个简单的功能,繁重的语法要整出好几十行,不急,改进这就来了,看看新的Recodes类型吧!

假设你现在有这么一个类:


这是一个典型的不可变的数据对象,equals ()方法, hashCode()方法,toString()方法其实都是比较通用的。但是我们不得不为它多写那么几行代码。虽然有IDE的鼎力协助,但是看上去还是不怎么爽(如果没有IDE,更要哭了)。不过没事Records来了!用Records来表示上面的类,你只需要:

record Point(int x, int y) { }

是不是特别简单,感觉心里特别爽?record类和普通的class不太一样,它会帮你隐式生成一些字段和构造函数。比如上面的record就会编译成这样:

record Point(int x, int y) {     // 隐式生成字段     private final int x;     private final int y;     // 隐式生成构造函数,并带上所有的参数     Point(int x, int y) {         this.x = x;         this.y = y;     } }

ZGC并发线程处理

ZGC是The Z Garbage Collector,是JDK 11中推出的一款低延迟垃圾回收器,它尝试解决GC之痛,也就是停顿。

同时,它也将面向以TB为单位的超大规模的内存。在Java 16中,ZGC的线程栈处理的众多操作,从检查点移动到了并发阶段,这样意味着停顿更小了。(后面准备出个zgc相关的文章,顺便测一波这次的停顿优化时长)


弹性元空间

在Java虚拟机中,元空间用来保存一些类的元信息,并且,元空间中的数据是可以被垃圾回收的。但不幸的是,空闲的未被使用的元空间并不会归还给操作系统,这就导致了内存浪费。

这个新特性就是为了解决这个问题,它使得虚拟机可以从元空间中归还未使用的内存,从而更加有效得利用物理内存。同时有一个新的虚拟机参数可以用来控制这种回收的执行强度:-XX:MetaspaceReclaimPolicy=(balanced|aggressive|none)


Unix Domain套接字

Unix Domain套接字本身提供给了一套兼容于网络编程,但是更加可靠、高效、安全的进程间通信方式,它不需要经过网络协议栈,不需要打包拆包、计算校验和、维护序号和应答等,只是将应用层数据从一个进程拷贝到另一个进程。

在Java 16中,已经可以直接使用这种套接字(Unix-domain (AF_UNIX),虽然叫做UNIX套接字,windows 10和Windows Server 2019也是可以使用的)了。为了支持Unix Domain套接字,新增了专门的java.net.UnixDomainSocketAddress类,下面看一下它的使用:

 


新的打包工具

提供了一个新的打包工具jpackage,用来打包独立的Java应用程序。这个工具可以生成windows上的exe和msi,MacOS上的pkg和dmg,以及linux上的deb和rpm。它很好的给用户提供了一键式安装Java程序的好方法。

比如,对于非模块化的应用,可以这么打包:

jpackage --name myapp --input lib --main-jar main.jar 或者 直接指定main class jpackage --name myapp --input lib --main-jar main.jar --main-class myapp.Main

对于模块化的应用:

jpackage --name myapp --module-path lib -m myapp 或者直接指定main class jpackage --name myapp --module-path lib -m myapp/myapp.Main


值对象错误使用的警告

值对象,比如java.lang.Integer, java.lang.Double之类的不变对象,在废弃构造函数的基础上,进一步标记为forRemoval(不要再使用它们的构造函数了哦!)。

同时,如果在值对象上进行同步,将会被警告,比如:

Double d = 20.0; synchronized (d) { ... } // javac和hotsopt都会警告 Object o = d; synchronized (o) { ... } // HotSpot 会警告

在虚拟机层面,还提供了参数可以在虚拟机层面控制报错行为:

  • -XX:DiagnoseSyncOnValueBasedClasses=1 将这种同步行为视为致命错误

  • -XX:DiagnoseSyncOnValueBasedClasses=2 打开日志,在控制台和飞行记录仪中记录这种同步行为


默认限制使用JDK内部API

对于一些JDK内部的API,作出了更严格的限制。比如 com.sun.*, jdk.*, and org.*这些包里的API,从Java 16开始,默认已经禁止使用了。因此,鼓励大家使用标准API,而不是内部API(点击这里查看可以替换的内部API)。比如说下面这句代码,在Java 16中将报错:

System.out.println(sun.security.util.SecurityConstants.ALL_PERMISSION);

错误示例:

Exception in thread "main" java.lang.IllegalAccessError: class Test   (in unnamed module @0x5e481248) cannot access class   sun.security.util.SecurityConstants (in module java.base) because   module java.base does not export sun.security.util to unnamed   module @0x5e481248

同时,JDK还提供--illegal-access参数用来控制对内部API的使用:

  • --illegal-access=permit 允许使用内部API

  • --illegal-access=warn 允许使用内部API,不过每次使用会得到一个警告

  • --illegal-access=debug 允许使用内部API,会更详细的打印每一个错误的调用堆栈,用它你就可以找到你在哪里有不正确的调用,就可以修复那些不合适的使用

  • --illegal-access=deny 禁止使用内部API


孵化项目:向量API

我们知道,像Go这样的后起之秀,已经在内部使用了AVX指令,性能飙升。Java在这方面也不甘示弱,在Java 16中,向量API作为一个孵化项目,允许我们直接使用SIMD指令来提高性能(如果有效使用,这波就带你起飞了)。

让我们先一睹为快吧!

下面是一个简单的标量计算:

void scalarComputation(float[] a, float[] b, float[] c) {    for (int i = 0; i < a.length; i++) {         c[i] = (a[i] * a[i] + b[i] * b[i]) * -1.0f;    } }

重点来了,使用AVX2带你起飞:

//256位的向量浮点运算 static final VectorSpecies<Float> SPECIES = FloatVector.SPECIES_256;  void vectorComputation(float[] a, float[] b, float[] c) {     int i = 0;     int upperBound = SPECIES.loopBound(a.length);     for (; i < upperBound; i += SPECIES.length()) {         // FloatVector va, vb, vc;         var va = FloatVector.fromArray(SPECIES, a, i);         var vb = FloatVector.fromArray(SPECIES, b, i);         var vc = va.mul(va).                     add(vb.mul(vb)).                     neg();         vc.intoArray(c, i);     }      for (; i < a.length; i++) {         c[i] = (a[i] * a[i] + b[i] * b[i]) * -1.0f;     } }


孵化项目:外部链接API

你是不是有抱怨过JNI太难用了?没关系,JNI的进化版来了,这就是外部链接器!它提供了一个静态的,纯Java的访问本地native 代码的方法,它将极大简化我们调用本地代码的过程。

新的API:

  • LibraryLookup::ofDefault:返回被JVM加载的库,可以看到所有这些库的符号

  • LibraryLookup::ofPath:加载指定路径

  • LibraryLookup::ofLibrary :根据库名,加载库

下面代码展示了,使用Java调用clang库中的clang_getClangVersion()方法:

LibraryLookup libclang = LibraryLookup.ofLibrary("clang"); LibraryLookup.Symbol clangVersion = libclang.lookup("clang_getClangVersion");

另外一个重要的类是C链接器:

interface CLinker {     MethodHandle downcallHandle(LibraryLookup.Symbol func,                                 MethodType type,                                 FunctionDescriptor function);     MemorySegment upcallStub(MethodHandle target,                              FunctionDescriptor function); }

downcallHandle()表示在Java中调用本地方法;upcallStub()方法在native方法中调用java代码。

下面的代码展示了如何在Java代码中,调用C函数size_t strlen(const char *s):

MethodHandle strlen = CLinker.getInstance().downcallHandle(         LibraryLookup.ofDefault().lookup("strlen"),         MethodType.methodType(long.class, MemoryAddress.class),         FunctionDescriptor.of(C_LONG, C_POINTER)     );

上面代码首先找到strlen符号;然后描述它的签名。最后使用downcallHandle()得到表示strlen()函数的MethodHandle对象;最后,就可以调用strlen()方法啦~

try (MemorySegment str = CLinker.toCString("Hello")) {    long len = strlen.invokeExact(str.address()); // 5 }

反过来,也可以把Java函数作为参数传递给C函数进行回调:

比如有一个C函数:

void qsort(void *base, size_t nmemb, size_t size,            int (*compar)(const void *, const void *));

要调用这个C函数,必须准备一个函数指针compar,为了使用它,我们首先要得到它的MethodHandle:

MethodHandle qsort = CLinker.getInstance().downcallHandle(         LibraryLookup.ofDefault().lookup("qsort"),         MethodType.methodType(void.class, MemoryAddress.class, long.class,                               long.class, MemoryAddress.class),         FunctionDescriptor.ofVoid(C_POINTER, C_LONG, C_LONG, C_POINTER)     );

接着,用一个纯Java类来实现compar函数:

class Qsort {     static int qsortCompare(MemoryAddress addr1, MemoryAddress addr2) {             return MemoryAccess.getIntAtOffset(MemorySegment.ofNativeRestricted(),                                                 addr1.toRawLongValue()) -                     MemoryAccess.getIntAtOffset(MemorySegment.ofNativeRestricted(),                                                addr2.toRawLongValue());     } }

然后需要一个MethodHandle指向上述函数:

MethodHandle comparHandle     = MethodHandles.lookup()                    .findStatic(Qsort.class, "qsortCompare",                                MethodType.methodType(int.class,                                                      MemoryAddress.class,                                                      MemoryAddress.class));

然后,使用upcallStub()方法,得到一个函数指针(应该说是用Java描述的C函数指针):

MemorySegment comparFunc     = CLinker.getInstance().upcallStub(comparHandle,                                             FunctionDescriptor.of(C_INT,                                                                   C_POINTER,                                                                   C_POINTER)); );

最后,把这个"C函数指针"传给C函数:

try (MemorySegment array = MemorySegment.allocateNative(4 * 10)) {     array.copyFrom(MemorySegment.ofArray(new int[] { 0, 9, 3, 4, 6, 5, 1, 8, 2, 7 }));     qsort.invokeExact(array.address(), 10L, 4L, comparFunc.address());     int[] sorted = array.toIntArray(); // [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 ] }

好了,这就是使用外部链接API来使用本地代码的全过程,是不是很酷炫呢?


预览功能:密封类

类的继承是面向对象的一个重要特性,但是滥用继承对对象模型的建模也是非常不利的。对于这一点,Java还有较大的改进空间,密封类,正式对对象继承的一种重大改进。

首先,来看JDK内部的一个例子:

package java.lang;  abstract class AbstractStringBuilder { ... } public final class StringBuffer  extends AbstractStringBuilder { ... } public final class StringBuilder extends AbstractStringBuilder { ... }

AbstractStringBuilder有两个子类StringBuffer和StringBuilder。但是,我们的代码却无法继承AbstractStringBuilder,因为AbstractStringBuilder是包内可见的,并不是public的。在很多场合,我们的对象模式其实并不希望彻底公开,我们有时候仅仅希望只有一些指定的类可以继承,而不是可以任由继承扩展。这就是密封类的设计初衷。

密封类/接口在声明的时候,就可以指定哪些类可以从这里继承,比如:

package com.example.geometry;  public abstract sealed class Shape     permits Circle, Rectangle, Square { ... }

注意新关键字sealed,它表示被修饰的类或者接口是密封的,紧接着使用permits关键字,指定哪些子类可以继承它,这里只有Circle,Rectangle和Square可以从Shape继承(继承类和密封类必须要在同一个模块,如果在unamed模块,就需要在同一个package)。

使用密封类,还有一些限制,比如:

1.子类必须是直接继承,而不是间接的

2.子类必须说明如果处理得到的密封属性,三选一,必选一个:

  • 子类标记为final,一了百了

  • 子类也作为sealed类,并做有限的继承扩展

  • 子类申明为non-sealed,公开使用(这种情况,密封类的初衷就被打破了,继承关系就不可控了)

下面的代码说明了这3种情况:

package com.example.geometry; //使用final public final class Circle extends Shape { ... } //使用sealed public sealed class Rectangle extends Shape      permits TransparentRectangle, FilledRectangle { ... } public final class TransparentRectangle extends Rectangle { ... } public final class FilledRectangle extends Rectangle { ... } //使用non-sealed public non-sealed class Square extends Shape { ... }


写在最后的话

看了那么多Java 16的新功能,心里是不是有点小激动?不要犹豫了,下一个试试?

阿丙友情提示:不要在自己的项目中尝试最新版本,等稳定后再尝试,可以在自己的demo和自己项目上尝试。

我是敖丙,你知道的越多,不知道的越多,我们下期见。