化工集团网站建设 中企动力,家纺网站建设,镇江建设银行网站,酒店品牌网站建设推广jdk内置线程实例Tagir Valeev最近发布了一条有关即将发布的Java JDK14版本的预览功能的推文#xff1a; #xff03;Java14模式匹配将名称隐藏带入了更高的疯狂程度。 在这里#xff0c;我为FLAG字段添加或删除了final修饰符#xff0c;该修饰符仅在不可达的if分支中访问。… jdk内置线程实例 Tagir Valeev最近发布了一条有关即将发布的Java JDK14版本的预览功能的推文 Java14模式匹配将名称隐藏带入了更高的疯狂程度。 在这里我为FLAG字段添加或删除了final修饰符该修饰符仅在不可达的if分支中访问。 这实际上改变了程序的语义 #ProgrammingIsFun 。 pic.twitter.com/UToRY3mpW9 Java14模式匹配将名称隐藏带入了更高的疯狂程度。 在这里我为FLAG字段添加或删除了final修饰符该修饰符仅在不可达的if分支中访问。 这实际上改变了程序的语义 #ProgrammingIsFun 。 pic.twitter.com/UToRY3mpW9 -Tagir Valeevtagir_valeev 2019年12月27日 问题在于有一个计划中的并且在EA版本中已经可用的Java新功能引入了模式变量而所提议的新标准的当前版本为某些真正令人毛骨悚然的编码问题留出了空间。 在推文之后详细讨论了足够的细节以了解实际问题。 但是在本文中我将总结所有这些内容以使您无需深入了解推文和标准。 什么是模式变量 在上面的推文中深入探讨问题概述之前让我们先讨论一下模式变量是什么。 也许有点草率比精确和完整更多的解释但这是来的。 进行多次编程后我们需要检查某些对象的类型。 运算符instanceof为我们做到了。 典型的示例代码可以是这样的 // HOW THIS IS TODAY, JAVA 14 Object z alma ; if (!(z instanceof String)){ throw new IllegalArgumentException(); } System.out.println(((String)z).length()); 在现实生活中变量z可能来自其他地方在这种情况下它是不那么明显这是一个字符串。 当我们想使用println打印出字符串的长度时我们已经知道z引用的对象是一个字符串。 另一方面编译器则没有我们必须将变量强制转换为String 然后才能使用length()方法。 其他语言做得更好。 理想情况下我可以写 // HOW IT WOULD BE THE SIMPLEST Object z alma ; if (!(z instanceof String)){ throw new IllegalArgumentException(); } System.out.println(z.length()); 这不是Java方式也不是JDK14简化此编程模式的方式。 相反建议的功能为instanceof运算符引入了一种新语法该语法引入了一个新变量 模式变量 。 长话短说上面的示例如下所示 // HOW IT IS IN JDK14-EA / OpenJDK (build 14-ea28-1366) Object z alma ; if (!(z instanceof String s)){ throw new IllegalArgumentException(); } System.out.println(s.length()); 它引入了一个新变量s 仅当引用的对象是String时才在范围内。 没有异常抛出部分的简单代码版本是 Object z alma ; if (z instanceof String s){ // we have here s and it is a String System.out.println(s.length()); } // we do not have s here 当条件为真时对象是字符串因此我们有“ s”。 如果条件为假那么我们将跳过then_statement并且由于没有字符串因此这里没有s。 代码中只有在对象为字符串时才运行“ s”。 这样模式变量的变量范围不仅由变量的句法范围决定而且受可能的控制流程确定和限制。 仅考虑可以确定分析的控制流。 在Java编译器中这种控制流分析并非无与伦比。 例如如果存在编译器可以检测到的无法访问的代码则Java程序将不会编译。 到目前为止这似乎很简单我们都很高兴获得Java 14的新功能。 JSL14标准 精确范围计算在JLS14Java语言规范14标准中定义。 在撰写本文时该规范仅作为预览提供。 http://cr.openjdk.java.net/~gbierman/jep305/jep305-20191021/specs/patterns-instanceof-jls.html#jls-6.3.2.2 由于Java程序的执行流程可以由许多不同的语言构造控制因此为每种结构定义了模式变量的范围。 对于不同的逻辑运算符有单独的部分来评估短路“ if”语句“ while”语句等。 我不想广泛讨论不同的情况。 在这里我将仅关注“ if”语句的情况而没有“ else”部分。 上面引用的标准说 以下规则适用于“ ifeS”14.9.1语句 *当e为true时由e引入的模式变量肯定与S相匹配。 如果e引入的任何模式变量true都已经在S的作用域中则是编译时错误。 *当且仅当false和S无法正常完成时ifeS引入V。 如果if语句引入的任何模式变量已经在范围内则是编译时错误。 有趣的部分是“无法正常完成”。 上面的示例就是一个很好的例子我们创建了一个所谓的guard if语句。 当变量z不是String我们将抛出异常返回或执行其他操作这将始终阻止在变量不是String的if语句之后执行代码。 对于throw或return语句通常很容易直接看出代码“无法正常完成”。 在无限循环的情况下这并不总是那么明显。 问题 让我们看一下以下代码片段 private static boolean FLAG true ; static String variable Hello from field ; public static void main() { Object z Hello from pattern matching ; if (!(z instanceof String variable)){ while (FLAG) { System.out.println( We are in an endless loop ); } } System.out.println(variable); } 在这种情况下我们有一个循环它是无限的或不是无限的。 这取决于代码的另一部分它可能会将类字段FLAG的值从true更改为false 。 这部分代码“可以正常完成”。 如果我们修改上面的代码只需稍微使字段FLAG为final 如 private static final boolean FLAG true ; static String variable Hello from field ; public static void main() { Object z Hello from pattern matching ; if (!(z instanceof String variable)){ while (FLAG) { System.out.println( We are in an endless loop ); } } System.out.println(variable); } 那么编译器将看到循环是无限的并且无法正常完成。 在第一种情况下该程序Hello from field中打印出Hello from field Hello from pattern matching打印Hello from pattern matching 。 第二种情况下的模式variable隐藏了字段variable因为模式变量的范围扩展到了if语句之后的命令因为那么部分不能正常完成。 确实此预览功能确实存在问题。 在这种情况下代码的可读性非常可疑。 模式变量的范围以及是否隐藏字段取决于该字段的final修饰符该修饰符不存在。 当我们查看某些代码时实际的执行和代码结果应该很简单并且不应该真正依赖于距离很远的某些代码并且可能会跳过我们在本地阅读代码的注意力。 这不是Java中唯一出现此异常的情况。 例如您的代码库中可以有一个名为String的类。 当它们引用String类型时位于同一包中的类的代码将使用该类。 如果我们从用户代码中删除String类则String类型的含义变为java.lang.String 。 代码的实际含义取决于“远”的其他代码。 然而第二个例子是一个黑客没有大意的Java程序员不可能将String类命名为严重https://github.com/verhas/jScriptBasic/blob/master/src/main/ java / com / scriptbasic / classification / String.java 或JDK中java.lang包中也存在的其他名称。 也许这是纯粹的运气也许在决策过程中考虑了这一点以避免从java.lang包中强制导入类。 这是历史。 另一方面变量名隐藏和上述情况似乎并不那么怪异某些Java代码中肯定不会偶然发生某些事情。 幸运的是这只是预览功能。 它将按原样出现在JDK14中但作为预览功能仅当javac编译器和Java执行使用--enable-preview标志并且预览功能将来可能以不兼容的方式更改时它才可用。 解 我不知道它将如何改变。 我什至不能说它会改变。 仅凭我个人的看法如果仍然那样下去将是非常可悲的。 有了此功能只要我们计算经验丰富的Java程序员可以编写的程序的精妙程度和可读性Java就会是更好的语言。 但是如果我们看看没有经验的新鲜的初级人员如何弄糟代码情况将会更糟。 以我的拙见第二点更为重要而Java在这方面有很强的优势。 Java不是一种黑客语言您应该非常拼命编写一个非常不可读的代码。 我不希望它改变。 说完之后我们可以看看技术上的可能性。 一种是放弃该功能这实际上不是一个好的解决方案。 这实际上不是解决方案。 另一种可能性是将模式变量的范围限制为then语句或else语句。 就个人而言我希望绑定变量范围仅适用于显式声明的else块而不适用于这种情况下的隐式块。 -Michael Rasmussenjmichaelras 2019年12月27日 这样我们就不会依赖代码的“无法正常完成”功能。 else保证只有在if语句的条件为false时才执行else分支。 这将使解决方案不太优雅。 同样另一种可能性是禁止模式变量遮盖任何字段变量。 它可以解决上面概述的问题但是会引入一个不同的问题。 受此限制当我们引入一个名为V的新字段变量时可能会发生带有方法和模式变量V的现有类停止编译的情况。 至少这个问题是编译时的问题而不是运行时有错误的某些代码。 我宁愿有100个编译时错误也不愿有一个运行时错误。 还有一种可能是放弃模式变量而仅使用原始变量和扩展的类型信息而当前的预览解决方案使用模式变量。 Kotlin粉丝会喜欢这种解决方案。 由于局部变量已经遮蔽或不遮盖字段变量因此这也可以很好地消除阴影问题。 该解决方案的缺点是重新作用域限定的变量类型在代码的不同位置将具有不同的类型。 让我们看下面的代码 package javax0.jdk14.instanceof0; public class Sample2 { public static class A { public static void m(){ System.out.println( A ); } } public static class B extends A { public static void m(){ System.out.println( B ); } } public static void main(String[] args) { A a new B(); if ( a B b){ ( a instanceof B b){ bm(); } am(); } } 此代码将先打印出B然后打印出A因为根据变量b的声明类型对bm()的调用与Bm()相同并且根据声明的类型对am()与Am()的相同方法的变量a 。 省略模式变量并使用原始变量可能会造成混淆 // NOT ACTUAL CODE public static void main(String[] args) { A a new B(); if ( a B){ ( a instanceof B){ am(); } am(); } am()会在不同的行上调用不同的方法吗 如您所见除此问题外没有已知的最佳或最佳解决方案。 在JDK中称您的代表为“国会”并告诉他们那样不好。 Psst他们已经从原始推文中知道了。 带走 这是一篇特别的文章因为这与某些完善的Java功能或某些良好的编程工具或样式模式方法无关。 我们讨论了预览功能。 预览功能也许证明了为什么我们需要Java中的预览功能。 对于需要长期支持的长期商业项目请使用最新的LTS版本。 将最新发布的Java版本用于您的实验和开源项目并在用户需要时准备支持较旧的Java版本。 不要在项目中使用预览功能也不要准备从代码中获得新版本以防它们在变为非预览但正常功能时在下一个Java版本中发生更改。 尝试使用预览功能以将其包含在内并在它们成为真实功能时具有某种肌肉记忆。 并且还可以向Java社区提供反馈以防您觉得它们不是很完美。 翻译自: https://www.javacodegeeks.com/2020/01/jdk14-instance-of-ea-issue.htmljdk内置线程实例
