jep290涉及jdk版本_JDK 14 / JEP 305模式匹配“ Smart Casts”实例

绝地灬酷狼 2023-02-25 04:00 16阅读 0赞

jep290涉及jdk版本

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

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

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

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

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

JDK 14引入了[预览功能][Link 3] ，该[功能][Link 3]允许在条件内完全实现条件和`instanceof` 。 接下来显示对以上代码示例的影响：

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

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

[![20200203-jdk14ea34.png][]][20200203-jdk14ea34.png 1]

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

**传统`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 Cat cat) (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上，][GitHub]并且可以使用[旧方法和新预览方法之间][Link 5]的[区别][Link 5] 。

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

**结论**

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

**有关使用`instanceof`问题的资源**

*  [Java'instanceOf'：为什么以及如何在代码中避免使用它][Java_instanceOf]
 *  [您真的需要instanceof吗？][instanceof 1]
 *  [在Java中使用instanceof是否考虑是不好的做法？][Java_instanceof]
 *  [使用Instanceof主要是代码异味][Instanceof]
 *  [有条件的Instanceof：代码气味][Instanceof 1]
 *  [当心操作符的instanceof][instanceof 2]
 *  [“ instanceof”有多邪恶？][instanceof 3]
 *  [类型检查是代码异味][Link 6]

> 翻译自: [https://www.javacodegeeks.com/2020/02/jdk-14-jep-305-instanceof-pattern-matching-smart-casts.html][https_www.javacodegeeks.com_2020_02_jdk-14-jep-305-instanceof-pattern-matching-smart-casts.html]

jep290涉及jdk版本

[instanceof]: https://www.baeldung.com/java-instanceof
[Link 1]: https://marxsoftware.blogspot.com/2013/06/common-red-flags-in-java-development.html
[JEP 305]: https://openjdk.java.net/jeps/305
[Benji Weber]: https://benjiweber.co.uk/
[Link 2]: https://benjiweber.co.uk/blog/2010/09/16/java-abuse-inline-instanceof/
[lambda]: https://benjiweber.co.uk/blog/2013/12/04/instanceof-smart-casts-with-java-8-lambdas/
[Kotlin]: https://kotlinlang.org/docs/reference/typecasts.html
[JDK 14]: https://openjdk.java.net/projects/jdk/14/
[Link 3]: https://openjdk.java.net/jeps/12
[JDK 14 Early Access Builds]: https://jdk.java.net/14/
[20200203-jdk14ea34.png]: https://4.bp.blogspot.com/-y2bmX2jY77g/Xjdb9MFeS2I/AAAAAAAAORk/4WzQl_IzgOY6EEShCujXL_e9CfTCBeZYQCLcBGAsYHQ/s320/20200203-jdk14ea34.png
[20200203-jdk14ea34.png 1]: https://4.bp.blogspot.com/-y2bmX2jY77g/Xjdb9MFeS2I/AAAAAAAAORk/4WzQl_IzgOY6EEShCujXL_e9CfTCBeZYQCLcBGAsYHQ/s1600/20200203-jdk14ea34.png
[Link 4]: https://cr.openjdk.java.net/~briangoetz/amber/pattern-match.html
[GitHub]: https://github.com/dustinmarx/javademos/blob/master/src/dustin/examples/jdk14/InstanceOfPatternMatchingDemo.java
[Link 5]: https://github.com/dustinmarx/javademos/commit/2979ef65ac94783d56640ab2cef6ba4425512bb0#diff-a29f57226ef9f358c19d46a8afd4a5b0
[javac]: https://docs.oracle.com/en/java/javase/13/docs/specs/man/javac.html
[java]: https://docs.oracle.com/en/java/javase/13/docs/specs/man/java.html
[RFR_JDK-8237528_instanceof_Pattern Matching]: https://mail.openjdk.java.net/pipermail/compiler-dev/2020-January/014251.html
[Amber]: https://openjdk.java.net/projects/amber/
[Java_instanceOf]: https://www.armedia.com/blog/instanceof-avoid-in-code/
[instanceof 1]: https://letstalkaboutjava.blogspot.com/2016/10/do-you-really-need-instanceof.html
[Java_instanceof]: https://www.quora.com/Is-using-instanceof-in-Java-consider-bad-practice-Any-alternative-to-using-this-keyword
[Instanceof]: https://smsohan.com/blog/2011/11/01/using-instanceof-is-mostly-code-smell/
[Instanceof 1]: https://wiki.c2.com/?InstanceofInConditionals
[instanceof 2]: http://www.javapractices.com/topic/TopicAction.do?Id=31
[instanceof 3]: https://blogs.oracle.com/geertjan/how-evil-is-instanceof
[Link 6]: http://blog.millermedeiros.com/type-check-is-a-code-smell/
[https_www.javacodegeeks.com_2020_02_jdk-14-jep-305-instanceof-pattern-matching-smart-casts.html]: https://www.javacodegeeks.com/2020/02/jdk-14-jep-305-instanceof-pattern-matching-smart-casts.html