Scala的新行为2.10
发布时间:2020-12-16 19:06:34 所属栏目:安全 来源:网络整理
导读:这里有两个REPL课程(灵感来自 this question,虽然我的问题不同): Welcome to Scala version 2.9.2 (Java HotSpot(TM) 64-Bit Server VM,Java 1.7.0).Type in expressions to have them evaluated.Type :help for more information.scala def ignore(it: Str
这里有两个REPL课程(灵感来自
this question,虽然我的问题不同):
Welcome to Scala version 2.9.2 (Java HotSpot(TM) 64-Bit Server VM,Java 1.7.0). Type in expressions to have them evaluated. Type :help for more information. scala> def ignore(it: String) = 42 ignore: (it: String)Int scala> ignore(null.asInstanceOf[Nothing]) res0: Int = 42 和: Welcome to Scala version 2.10.0 (Java HotSpot(TM) 64-Bit Server VM,Java 1.7.0). Type in expressions to have them evaluated. Type :help for more information. scala> def ignore(it: String) = 42 ignore: (it: String)Int scala> ignore(null.asInstanceOf[Nothing]) java.lang.NullPointerException at .<init>(<console>:9) at .<clinit>(<console>) at .<init>(<console>:7) at .<clinit>(<console>) at $print(<console>) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) ... 唯一的区别是第一个是Scala 2.9.2,第二个是2.10.0. 有人可以指出导致这种新行为的2.10中的变化吗? 我知道,将“无事”变成一个愚蠢的事情,而且答案可能是“这是所有未定义的行为,所以只是停止这样做”,但它看起来像是可能对升级程序有影响的那种事物,而我不记得任何讨论的变化,将解释这一点. 解决方法
由于Scala与一个选项上的“无”情况不同,所以即使空值为Nothing也是有问题的 – 应该只有零个Nothing的实例,而不是一个实例,根据使用方式可能会中断或不会中断.
因此,我看不出旧的行为只是一个bug.在发行说明中应该注意到它是固定的,但是依靠.asInstanceOf [Nothing]来做任何事情,除非抛出异常,这与我不认为需要更多的类型完全相反. (事实上??,我甚至不认为发行说明是需要的.) (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |