嵌套泛型继承

Question

class Field<T> {

  private final Class<T> type;

  public Field(Class<T> type) {
    this.type = type;
  }
}

class Pick<V> {
  private final V value;
  private final Class<V> type;

  public Pick(V value, Class<V> type) {
    this.value = value;
    this.type = type;
  }
}

和这个问题相关的课程:

class PickField<T> extends Field<Pick<T>> {

  public PickField(Class<Pick<T>> type) {
    super(type);
  }
}

现在，这似乎已被编译器接受。不幸的是，我不知道/理解如何创建PickField的新实例，例如字符串选择。

当然，这确实不起作用：
新的PickField

这是不允许的(我想我知道为什么):< br> new PickField

那么该怎么做呢？还是整个方法以某种方式“闻到”？




Answer 1

有一种方法，但并不完全是一个好方法。您需要创建一个如下方法：

public static <I, O extends I> O toGeneric(I input) {
    return (O) input;
}

然后，创建对象：

new PickField<String>(toGeneric(Pick.class));

就像我说的，这不是一个好方法，因为你基本上只是对编译器撒谎，但它是有效的。

Answer 2

这里有各种各样的问题。

首先，正如您指出的，您不能在编译时获得参数化类型的类，因为只有一个类是为泛型类型编译的，而不是为每个给定的类型参数编译一个类(例如< code>Pick

正如你所提到的，参数化PickField

您可以使用运行时习惯用法来推断正确的< code >选择

因此，您可以通过显式强制转换来参数化构造函数调用，如下所示：

new PickField<String>(
    (Class<Pick<String>>)new Pick<String>("", String.class).getClass()
);

...它将使用“未选中的强制转换”警告进行编译（类型安全：来自类的未选中强制转换）

真正的问题可能是为什么您需要知道 Pick 类中类型的值。

Answer 3

我认为 PickField 应该仅使用 Pick 实例进行参数化。

所以这样做应该没问题:

class PickField<T extends Pick<T>> extends Field<T> {

    public PickField(Class<T> c) {
        super(c);
    }
}

然后，您可以用以下代码实例化它:

PickField<SomeSpecificPick> instance = new PickField<>(SomeSpecificPick.class);

其中SomeSpecificPick被定义为：

public class SomeSpecificPick extends Pick<SomeSpecificPick> {

    public SomeSpecificPick(SomeSpecificPick value, Class<SomeSpecificPick> type) {
        super(value, type);
    }
}

更多信息（与主题相关）：

< li >为什么没有用于具体参数化类型的类文本？ < li >如何获得泛型类型T的类实例？ < li >擦除一般类型