大佬教程收集整理的这篇文章主要介绍了Groovy – 类型检查,泛型不起作用,大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
Integer x = (new Test<Integer>(5)).value // works as expected Integer y = (new Test<Object>(new Object())).value // throws a COMPILE error as expected Integer z = (new Test(new Object())).value // throws a RUNTIME exception class Test<T> { T value public Test(T value){ this.value = value } }
最后一个赋值(Integer z = …)不会抛出编译时错误,而是在运行时因GroovyCastException而失败.有没有人知道这种行为或有一些指向文档的相关部分?到目前为止,我还没有找到任何东西.此外,我的理解是Test< Object>和测试(没有通用参数)应该平等对待?
更新
我正在使用Groovy版本2.4.3并在GroovyConsole AppSpot准备了一个在线脚本来显示静态类型检查的不一致性.
import groovy.transform.Typechecked @Typechecked class Test { static method() { ArrayList<Integer> IntegerArrayList = new ArrayList<>(); ArrayList rawArrayList = new ArrayList(); ArrayList<Object> objectArrayList = new ArrayList<>(); IntegerArrayList << 1; rawArrayList << new Object(); objectArrayList << new Object(); Integer x = IntegerArrayList.get(0); // Case 1: works as expected Integer y = rawArrayList.get(0); // Case 2: doesn't throw a compile error but should Integer z = objectArrayList.get(0); // Case 3: throws a compile error as expected } }
我提交了一份错误报告.见TypeChecked Groovy does not throw illegal assignment error at compile time when using raw generic type.让我们看看会发生什么.
以上是大佬教程为你收集整理的Groovy – 类型检查,泛型不起作用全部内容,希望文章能够帮你解决Groovy – 类型检查,泛型不起作用所遇到的程序开发问题。
如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。
本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。