我在理解类型推断中的捕获时遇到问题。我有一些看起来像这样的代码:
import java.util.EnumSet;
class A {
static enum E1 {
X
}
private static <T extends Enum<T>> EnumSet<T> barEnum(Class<T> x) {
return null;
}
private static void foo1(EnumSet<E1> s, E1 e) {
EnumSet<E1> x2 = barEnum(e.getClass());
}
private static void foo2(EnumSet<E1> s) {
EnumSet<E1> x = barEnum(s.iterator().next().getClass());
}
}
编译时会出现两个错误:
Test.java:15: error: method barEnum in class A cannot be applied to given types;
EnumSet<E1> x2 = barEnum(e.getClass());
^
required: Class<T>
found: Class<CAP#1>
reason: inference variable T has incompatible equality constraints E1,CAP#2
where T is a type-variable:
T extends Enum<T> declared in method <T>barEnum(Class<T>)
where CAP#1,CAP#2 are fresh type-variables:
CAP#1 extends E1 from capture of ? extends E1
CAP#2 extends E1 from capture of ? extends E1
Test.java:19: error: method barEnum in class A cannot be applied to given types;
EnumSet<E1> x = barEnum(s.iterator().next().getClass());
^
required: Class<T>
found: Class<CAP#1>
reason: inference variable T has incompatible equality constraints E1,CAP#2
where T is a type-variable:
T extends Enum<T> declared in method <T>barEnum(Class<T>)
where CAP#1,CAP#2 are fresh type-variables:
CAP#1 extends E1 from capture of ? extends E1
CAP#2 extends E1 from capture of ? extends E1
Note: Test.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
2 errors
在尝试理解错误时,我更改foo2
为捕获getClass()
局部变量中的值以查看实际类型:
private static void foo2(EnumSet<E1> s) {
// this works
Class<? extends Enum> c = s.iterator().next().getClass();
EnumSet<E1> y = barEnum(c);
}
现在,错误消失了,代码被编译了。我不明白引入与表达式类型完全相同的局部变量如何改变类型推断算法并解决问题。
分配s.iterator().next().getClass()
给局部变量时,使用的是原始类型- Enum
。这样可以克服编译错误,但是会收到警告。
如果改用强制转换,则可以在没有局部变量的情况下获得相同的行为:
private static void foo2(EnumSet<E1> s) {
EnumSet<E1> x = barEnum((Class<? extends Enum>)s.iterator().next().getClass());
}
您可以使用以下方法避免强制转换:
private static void foo2(EnumSet<E1> s) {
EnumSet<E1> x = barEnum(s.iterator().next().getDeclaringClass());
}
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句