JDK 14 / JEP 305模式匹配“ Smart Casts”实例

我通常将Java代码中instanceof运算符的存在视为“ 红色标志 ”，这意味着在某些情况下使用instanceof不一定是错误的，但是使用它有时表示可以以一种更干净的方式解决设计问题，如所述本文末尾引用的一些资源中的内容（包括有关Java以外语言的类似类型检查功能的资源）。

尽管我已经看到instanceof不需要使用多次，但我遇到了更多情况，要避免instanceof并不容易。当使用遗留代码库以及某些库和框架时，尤其如此，在这些库和框架中，我无法重构类之间的关系以支持接口，方法重写以及其他可用于消除对instanceof 。

与使用的一个非常普通的技术instanceof是立即强制转换为类型在有条件使用检查instanceof 。 JEP 305 [“ instanceof（Preview）的模式匹配”]提供了这种常见模式的示例，在这里我略微修改了该示例：

 if (object instanceof String)  { final String string = (String) object; // Do something with the 'string' variable typed as String  }

本杰·韦伯（Benji Weber ）发表了关于使用反射和使用lambda表达式来实现类似Kotlin的 “智能转换实例”的文章。幸运的是， JDK 14和JEP 305对此方法提供了内置的语言支持（尽管处于预览状态）。

JDK 14引入了预览功能，该功能允许在条件内完全实现条件和关联的强制转换instanceof 。接下来显示对以上代码示例的影响：

 if (object instanceof String string)  { // Do something with the 'string' variable typed as String  }

此预览功能在JDK 14 Early Access Builds中可用，而我在本文中的示例中使用的是JDK 14 Early Access Build 34 。

在JDK 14 JEP 305预览功能是一个小的精密，其优点是在漫长的更加明显if - then - else的条件语句。接下来的两个代码清单提供了对调用instanceof的“旧方法”和显式转换为使用instanceof 模式匹配的“新预览方法”的比较。

传统instanceof结合显式cast

 static void makeAnimalNoises( final Object animal)  { if (animal Dog) (animal instanceof Dog) { final Dog dog = (Dog) animal; out.println(dog.bark()); } else if (animal Cat) (animal instanceof Cat) { final Cat cat = (Cat) animal; out.println(cat.meow()); } else if (animal Duck) (animal instanceof Duck) { final Duck duck = (Duck) animal; out.println(duck.quack()); } else if (animal Horse) (animal instanceof Horse) { final Horse horse = (Horse) animal; out.println(horse.neigh()); } else if (animal Cow) (animal instanceof Cow) { final Cow cow = (Cow) animal; out.println(cow.moo()); } else if (animal instanceof Lion) { final Lion lion = (Lion) animal; out.println(lion.roar()); } else { out.println( "ERROR: Unexpected animal: " + animal); }  }

JDK 14 / JEP 305预览功能

 static void makeAnimalNoises( final Object animal)  { if (animal Dog dog) (animal instanceof Dog dog) { out.println(dog.bark()); } else if (animal instanceof Cat cat) { out.println(cat.meow()); } else if (animal Duck duck) (animal instanceof Duck duck) { out.println(duck.quack()); } else if (animal Horse horse) (animal instanceof Horse horse) { out.println(horse.neigh()); } else if (animal Cow cow) (animal instanceof Cow cow) { out.println(cow.moo()); } else if (animal Lion lion) (animal instanceof Lion lion) { out.println(lion.roar()); } else { out.println( "ERROR: Unexpected animal: " + animal); }  }

完整的代码在GitHub上，并且可以使用旧方法和新预览方法之间的区别。

因为instanceof模式匹配是预览功能，所以使用此功能的代码必须使用javac标志--enable-preview和-source 14进行编译。它必须使用java标志--enable-preview 。

结论

有关如何实现此功能的更多详细信息，请参见“ RFR：JDK-8237528：instanceof的模式匹配的低效率编译 ”一文。 instanceof 模式匹配支持是Amber向Java减少样板代码提供的又一步。

有关使用instanceof问题的资源