java 参数化类型_java – 如何用更具体的类型替换参数化类型

请考虑以下设置：

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

public interface SuperType {

}

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

public interface SuperType> {

public S doSomething();

}

让我们考虑SuperType< V,S的实现扩展SuperType< V,S>>：

public class SubType implements SuperType> {

private final V value;

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

public SubType doSomething() { return this; }

}

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

Object s = "Java Generics";

SubType x = new SubType<>(s);

现在我们想要为SuperType< V,S扩展SuperType< V,S>>定义另一种方法.它采用V的更具体的类型参数并返回相同的实现类型S但现在用W扩展V参数化：

public interface SuperType> {

public S doSomething();

public > T doMoreSpecific(Class typeToken);

}

此新接口定义旨在支持：

Object s = "Java Generics";

SubType x = new SubType<>(s);

SubType y = x.doMoreSpecific(String.class);

在这里,我很难实现SubType< V>.我想提供的实现是：

public class SubType implements SuperType> {

private final V value;

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

public SubType doSomething() { return this; };

public SubType doMoreSpecific(Class typeToken) {

return new SubType<>((W) value);

}

}

我的问题是：

我应该如何为SuperType< V,S>>类型中的方法doMoreSpecific()定义签名.以便实施提供

子类型LT; V>实现SuperType< V,SubType< V>>可以接受吗？

或者,哪种实现和接口方法定义可以解决问题？

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