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

如何解决为什么编译器声明不存在唯一的最大实例？

| 我有以下课程：

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\");

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

如何解决为什么编译器声明不存在唯一的最大实例？

解决方法

相关推荐