Question

请考虑以下设置：

我们有一个接口SuperType，参数化如下：

public interface SuperType<V> {
}

SuperType支持方法链接。因此，它定义了另一个类型参数，它捕获每个方法返回的具体实现子类型，如下所示：

public interface SuperType<V, S extends SuperType<V, S>> {

    public S doSomething();
}

让我们考虑一下SuperType<V, S extends SuperType<V, S>>：

的实现

public class SubType<V> implements SuperType<V, SubType<V>> {

    private final V value;

    public SubType(V value) { this.value = value; }

    public SubType<V> doSomething() { return this; }
}

有人使用示例字符串实例化SubType<V>，但为类型参数Object提供V：

Object s = "Java Generics";
SubType<Object> x = new SubType<>(s);

现在我们要为SuperType<V, S extends SuperType<V, S>>定义另一个方法，它采用更具体的类型参数V并返回相同的实现类型S，但现在使用W extends V进行参数化：

public interface SuperType<V, S extends SuperType<V, S>> {

    public S doSomething();

    public <W extends V, T extends SuperType<W, T>> T doMoreSpecific(Class<W> typeToken);
}

此新界面定义旨在支持：

Object s = "Java Generics";
SubType<Object> x = new SubType<>(s);
SubType<String> y = x.doMoreSpecific(String.class);

我努力实施SubType<V>。我想提供的实现是：

public class SubType<V> implements SuperType<V, SubType<V>> {

    private final V value;

    public SubType(V value) { this.value = value; }

    public SubType<V> doSomething() { return this; };

    public <W extends V> SubType<W> doMoreSpecific(Class<W> typeToken) {
        return new SubType<>((W) value);
    }
}

我的问题是：

如何在doMoreSpecific()类型中定义方法SuperType<V, S extends SuperType<V, S>>的签名，以便由 SubType<V> implements SuperType<V, SubType<V>>可以接受吗？

否则，哪种实现和接口方法定义可以解决问题？

或者，为什么我们不能用Java做到这一点？

Answer 1

使用以下签名：

<W extends V> SuperType<W, ?> doMoreSpecific(Class<W> typeToken);

可能有一些不安全的情况，但我还没有找到，欢迎任何批评！

Answer 2

您无法执行代码建议您想要的内容，您有一个类型方法：从参数类型中推断出W，但参数类型仅在通话网站。即，方法doMoreSpecific()中没有个版本可以在接口SuperType中指定（必须实现）。

您最接近的是使W成为SuperType的泛型类型参数，但是您的实现只适用于一个类W，这将是typeToken冗余，这显然不是你想要的。

Answer 3

我不知道doMoreSpecific背后的确切意图是什么，但如果它只是从SubType<Object>投射到SubType<String>，您可以执行以下操作（尽管这不是很好）练...）：

Object s = "Java Generics";
SubType<Object> x = new SubType<>(s);
SubType<String> y = (SubType<String>) (SubType<?>) x;

注1：这仍然会发出警告。

注意2：如果s不属于String类型，此演员表甚至可以使用！但是在调用y.doSomething()时，您将获得ClassCastException。（对于那种情况，你会得到你的例子。）

例如：以下（丑陋的）代码也可以使用（除了突出显示的行）：

    ArrayList<?> lo = new ArrayList<Object>();
    ArrayList<Integer> li = (ArrayList<Integer>) lo;
    ArrayList<String> ls = (ArrayList<String>) lo;

    li.add(5);
    ls.add("five");

    System.out.println(lo);        // prints "[5, five]"

    System.out.println(li.get(0)); // prints "5"
    System.out.println(li.get(1)); // ClassCastException

    System.out.println(ls.get(0)); // ClassCastException
    System.out.println(ls.get(1)); // prints "five"

注3：这完美地展示了泛型实际上是如何工作的：他们所做的就是自动在所需的位置插入演员。

如何使用更具体的类型替换参数化类型

3 个答案: