标签:class 模式匹配 详细 item 语句 赋值 info 添加 预览
305: Pattern Matching for instanceof (Preview)
JEP 305新增了使instanceof运算符具有模式匹配的能力。模式匹配能够使程序的通用逻辑更加简洁,代码更加简单,同时在做类型判断和类型转换的时候也更加安全,接下来我们来详细讲解一下。
几乎每个程序员都见过如下代码,在包含判断表达式是否具有某种类型的逻辑时,程序会对不同类型进行不同的处理。我么来看一下熟悉的instanceof-and-cast
用法:
这段程序做了3件事:
先判断obj的真实数据类型
判断成立后进行了强制类型转换(将对象obj强制类型转换为String)
声明一个新的本地变量str,指向上面的obj
这种模式的逻辑并不复杂,并且几乎所有Java程序员都可以理解。但是出于以下原因,上述做法并不是最理想的:
语法臃肿乏味
同时执行类型检测校验和类型转换。
String类型在程序中出现了3次,但是最终要的可能只是一个字符串类型的对象变量而已。
JDK 14提供了新的解决方案:新的instanceof模式匹配 ,新的模式匹配的用法如下所示,在instanceof
的类型之后添加了变量str
。如果instanceof
对obj
的类型检查通过,obj
会被转换成str
表示的String
类型。在新的用法中,String
类型仅出现一次。
具体描述
示例代码:
如果obj是String的实例,则将其强制转换为String并分配给绑定变量s。绑定变量在if语句的true块中,而不在if语句的false块中。
if (obj instanceof String s) { // 使用s } else { // 不能使用s }
与局部变量的范围不同,绑定变量的范围由包含的表达式和语句的语义确定。例如,在此代码中:
if (!(obj instanceof String s)) { .. s.contains(..) .. } else { .. s.contains(..) .. }
true块中的s表示封闭类中的字段,false块中的s表示由instanceof运算符引入的绑定变量。
当if语句的条件变得比单个instanceof更复杂时,绑定变量的范围也会相应地增长。 例如,在此代码中:
if (obj instanceof String s && s.length() > 5) {.. s.contains(..) ..}
绑定变量s在&&
运算符右侧以及true块中。仅当instanceof成功并分配给s时,才评估右侧。
另一方面,在此代码中:
if (obj instanceof String s || s.length() > 5) {.. s.contains(..) ..}
绑定变量s不在||
右侧的范围内运算符,也不在true块的范围内。s指的是封闭的一个字段。
接下来我们看一下模式匹配帮助我们简化案例的经典做法:
通常equals()
方法的实现都会先检查目标对象的类型。instanceof
的模式匹配可以简化equals()
方法的实现逻辑。下面代码中的Student类展示了相关的用法。
instanceof运算符“匹配”规则如下:
如果obj是String类型,则将obj类型转换为String,并将其赋值给变量str。绑定的变量作用域为if语句内部,并不在false语句块内。
到这儿,有一定Java基础的同学应该看出来的JDK 14后的instanceof的模式匹配极大的简化了类型检查和转型的问题。
标签:class 模式匹配 详细 item 语句 赋值 info 添加 预览
原文地址:https://www.cnblogs.com/dalianpai/p/12785314.html