为什么编译器声明不存在唯一的最大实例?
|
我有以下课程:
public class Obj<T> extends BaseModel {
public static final String OBJECT = \"object\";
public Obj(T object) {
setObject(object);
}
public T getObject() {
return get(OBJECT);
}
public void setObject(T object) {
set(OBJECT, object);
}
}
和...
/** This is a 3rd party library class **/
public class BaseModel implements ModelData, Serializable {
//...members and stuff...
@SuppressWarnings({\"unchecked\", \"rawtypes\"})
public <X> X get(String property) {
X obj = null;
if (start > -1 && end > -1) {
Object o = map.get(property.substring(0, start));
String p = property.substring(start + 1, end);
if (o instanceof Object[]) {
obj = (X) ((Object[]) o)[Integer.valueOf(p)];
} else if (o instanceof List) {
obj = (X) ((List) o).get(Integer.valueOf(p));
} else if (o instanceof Map) {
obj = (X) ((Map) o).get(p);
}
} else {
obj = (X) map.get(property);
}
return obj;
}
}
编译时,出现以下错误。
type parameters of <X>X cannot be determined; no unique maximal instance exists for type variable X with upper bounds T,java.lang.Object -> getObject()
据我所知,Eclipse不会发生这种情况,因为它使用与我的Ant构建相同的JDK。我已经看到了有关Sun编译器问题的SO线程,但这似乎是用于动态声明类型的静态方法。
为什么会出现此错误,更重要的是,如何解决该错误?
到目前为止,我发现的唯一原因就是将这样的方法强制转换为:
@SuppressWarnings({\"unchecked\"})
public T getObject() {
return (T) get(OBJECT); //yuck
}
告诉我我很沮丧,这是正确的方法。
没有找到相关结果
已邀请:
4 个回复
荆怖赡
在下面的代码中:
您必须记住,在编译器实际开始编译Java代码之前,泛型总是“展开”。这是一个预处理步骤。 在您的情况下,编译器不知道在编译时用什么来替换X。编译器需要确定X的类型,因为它需要对照T进行检查以验证代码。因此,错误... 解决此问题的方法是将
并添加演员表:
您将在编译时收到未经检查的警告,但是您的代码将被编译(因此,您的解决方法是有效的)。
玖料萄
凰葱崎济邯
在参数和类型参数之间没有明确的关系:
类型推断是通常的路径,但是方法也可以使用显式类型参数来调用,就像类一样。该格式大致遵循声明的格式,因此在Obj内部,您可以拥有
您也可以直接使用
,但仍必须使用该未经检查的演员表将其恢复为
。注意,显式参数需要一个限定符,通常是类的实例名称。由于您的示例使用了超类的方法,因此通过reference13ѭ隐式引用了它。 这不能解决在非泛型类(
)内应用泛型方法(
)的潜在问题。请注意,库中的代码将强制类型转换为type参数。这种样式确实是将通用功能反向移植到非通用Java代码中的解决方案之一。看来他们正在尝试向库用户隐藏此内容,但由于他们未对类进行泛化,因此无法从实例中推断出类型(即,您确实想拥有
)。 [编辑:更正并解释了显式方法类型参数]
撵穆
该代码将在Eclipse中编译,但不能在命令行中使用Maven或
。它似乎是Bug 6302954,但是在更新到最新的JDK之后,我仍然看到它。 由于Pivot提供了
类,因此我无法在自己的源代码树中对其进行修改(在该项目中,不提供分叉库) 对我有用的解决方案来自错误报告中的第一条回复,将代码更改为: