为什么编译器声明不存在唯一的最大实例?

| 我有以下课程:
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
}
告诉我我很沮丧,这是正确的方法。     
已邀请:
它不会编译,因为您的代码对泛型->的期望过高,即,以下代码中的 X部分:
public <X> X get(String property) { ... }
在下面的代码中:
public T getObject() {
  return get(OBJECT);
}
您必须记住,在编译器实际开始编译Java代码之前,泛型总是“展开”。这是一个预处理步骤。 在您的情况下,编译器不知道在编译时用什么来替换X。编译器需要确定X的类型,因为它需要对照T进行检查以验证代码。因此,错误... 解决此问题的方法是将 X替换为Object:
public Object get(String property) { ... }
并添加演员表:
public T getObject() {
  return (T) get(OBJECT);
}
您将在编译时收到未经检查的警告,但是您的代码将被编译(因此,您的解决方法是有效的)。     
这是Java SE 7中已修复的虚拟错误。     
方法类型参数通常是从该方法的参数隐式推断的。但是请注意,
get
在参数和类型参数之间没有明确的关系:
public <X> X get(String property)
类型推断是通常的路径,但是方法也可以使用显式类型参数来调用,就像类一样。该格式大致遵循声明的格式,因此在Obj内部,您可以拥有
public T getObject() {
    return super.<T>get(OBJECT);
}
您也可以直接使用
<Object>
,但仍必须使用该未经检查的演员表将其恢复为
T
。注意,显式参数需要一个限定符,通常是类的实例名称。由于您的示例使用了超类的方法,因此通过reference13ѭ隐式引用了它。 这不能解决在非泛型类(
BaseModel
)内应用泛型方法(
<X> X get
)的潜在问题。请注意,库中的代码将强制类型转换为type参数。这种样式确实是将通用功能反向移植到非通用Java代码中的解决方案之一。看来他们正在尝试向库用户隐藏此内容,但由于他们未对类进行泛化,因此无法从实例中推断出类型(即,您确实想拥有
Obj<T> extends BaseModel<T>
)。 [编辑:更正并解释了显式方法类型参数]     
我刚刚在使用Apache Pivot的项目中遇到了类似的问题。客户端代码充满了类似以下内容的行:
boolean foo = org.apache.pivot.json.JSON.get(item, \"foo\");
该代码将在Eclipse中编译,但不能在命令行中使用Maven或
javac
。它似乎是Bug 6302954,但是在更新到最新的JDK之后,我仍然看到它。 由于Pivot提供了
JSON
类,因此我无法在自己的源代码树中对其进行修改(在该项目中,不提供分叉库) 对我有用的解决方案来自错误报告中的第一条回复,将代码更改为:
boolean foo = org.apache.pivot.json.JSON.<Boolean>get(item, \"foo\");
    

要回复问题请先登录注册