static <T, V extends T> void haha(T x, V y) { } 的V extends T中,T是参数时候,JDK1.8不会报错,这应该是JDK1.8的bug。。如果把V extends T中的T改为具体的类,如果带入的参数不符合要求,JDK1.8能成功报错。。。。。。。。
下面是bug展示过程
下面是类型的编程,同样是JDK1.8.0_151,编译会报错,有错误提示信息。。。
本文探讨了JDK1.8中一个关于泛型的潜在bug,具体表现为当使用泛型参数限定时,编译器未能正确地识别错误情况。通过对不同场景的对比分析,揭示了此问题的本质及其触发条件。
static <T, V extends T> void haha(T x, V y) { } 的V extends T中,T是参数时候,JDK1.8不会报错,这应该是JDK1.8的bug。。如果把V extends T中的T改为具体的类,如果带入的参数不符合要求,JDK1.8能成功报错。。。。。。。。
下面是bug展示过程
下面是类型的编程,同样是JDK1.8.0_151,编译会报错,有错误提示信息。。。
678

被折叠的 条评论
为什么被折叠?