Java 泛型：泛型类型仅定义为返回类型

Question

我正在查看 GWT 的一些 GXT 代码，并且遇到了泛型的使用，但在 Java 教程中找不到另一个示例。 类名称为 com.extjs。 gxt.ui.client.data.BaseModelData 如果您想查看所有代码。 以下是重要的部分：

private RpcMap map;

public <X> X get(String property) {
  if (allowNestedValues && NestedModelUtil.isNestedProperty(property)) {
    return (X)NestedModelUtil.getNestedValue(this, property);
  }
  return map == null ? null : (X) map.get(property);
}

X 在类中或层次结构中的任何其他位置都没有定义，当我在 Eclipse 中点击“转到声明”时，它只会转到 。 在公共方法签名中。

我尝试使用以下两个示例调用此方法，看看会发生什么：

public Date getExpiredate() {
    return  get("expiredate");
}

public String getSubject() {
    return  get("subject");
}

它们编译并没有显示任何错误或警告。 我认为至少我必须进行演员阵容才能使其发挥作用。

这是否意味着泛型允许一个神奇的返回值，可以是任何东西，并且会在运行时爆炸？ 这似乎与泛型应该做的事情背道而驰。 谁能向我解释一下这一点，并可能给我一个指向一些文档的链接，以更好地解释这一点？ 我已经阅读了 Sun 关于泛型的 23 页 pdf，每个返回值的示例要么在类级别定义，要么在传入的参数之一中定义。

Answer 1

该方法返回您期望的任何类型（ 在方法中定义，并且绝对无界）。

这是非常非常危险的，因为没有规定返回类型实际上与返回值匹配。

这样做的唯一优点是，您不必强制转换此类可以返回任何类型的通用查找方法的返回值。

我想说：请谨慎使用此类构造，因为您会失去几乎所有类型安全性，而只会获得不必在每次调用 get() 时都编写显式强制转换的好处。

是的：这几乎是黑魔法，它会在运行时爆炸并打破泛型应该实现的整个想法。

Answer 2

类型在方法上声明。 这就是“”的意思。 然后，类型的范围仅限于方法，并且与特定调用相关。 测试代码编译的原因是编译器尝试确定类型，并且只有在无法确定类型时才会抱怨。 在某些情况下，你必须明确表达。

例如， 的声明Collections.emptySet()

public static final <T> Set<T> emptySet()

在这种情况下，编译器可以猜测：

Set<String> s = Collections.emptySet();

但如果不能，则必须键入：

Collections.<String>emptySet();

Answer 3

我只是想通过 GXT 类找出同样的事情。 具体来说，我试图调用具有以下签名的方法：

class Model {
    public <X> X get(String property) { ... }
}

要从代码中调用上述方法并将其将 X 转换为字符串，我执行以下操作：

public String myMethod(Data data) {
    Model model = new Model(data);
    return model.<String>get("status");
}

上面的代码将调用 get 方法并告诉它返回的类型by X 应作为字符串返回。

如果该方法与您在同一个类中，我发现我必须用“this.”来调用它。 例如：

this.<String>get("status");

正如其他人所说，GXT 团队的做法相当草率且危险。

Answer 4

BaseModelData 在编译时会引发未经检查的警告，因为它不安全。 像这样使用，您的代码将在运行时抛出 ClassCastException，即使它本身没有任何警告。

public String getExpireDate() {
  return  get("expiredate");
}

Answer 5

有趣的注释，来自 RpcMap (GXT API 1.2)

get 的标头：

public java.lang.Object get(java.lang.Object key)

其中未实例化的通用参数 具有相同的效果，除非您不必说“对象”无处不在。 我同意另一张海报的观点，这很草率而且有点危险。

Answer 6

是的，这很危险。 通常，您会像这样保护此代码：

<X> getProperty(String name, Class<X> clazz) {
   X foo = (X) whatever(name);
   assert clazz.isAssignableFrom(foo);
   return foo;
}

String getString(String name) {
  return getProperty(name, String.class);
}

int getInt(String name) {
  return getProperty(name, Integer.class);
}