如何用更具体的替换参数化类型
考虑以下设置：
我们有一个如此参数化的接口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> ，但为类型参数V提供Object ：
Object s = "Java Generics";
SubType<Object> x = new SubType<>(s);
现在我们要定义SuperType<V, S extends SuperType<V, S>>另一个方法，它接受更具体的V类型参数并返回相同的实现类型S但现在用W extends V参数化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);
}
}
我的问题是：
我应该如何为SuperType<V, S extends SuperType<V, S>>类型的方法定义方法doMoreSpecific()的签名，以便由SubType<V> implements SuperType<V, SubType<V>>是可接受的？
否则，哪个实现和接口方法定义可以做到这一点？
或者，为什么我们不能在Java中这样做？
使用以下签名：
<W extends V> SuperType<W, ?> doMoreSpecific(Class<W> typeToken);
尽管我还没有找到任何不安全的情况，但欢迎任何批评！
你不能做你的代码建议你想要的，你有一个类型化的方法： W从参数类型推断出来，但参数类型仅在调用站点中是已知的。 即没有可以在SuperType接口中指定的方法doMoreSpecific() （必须实现）的版本。
你可以得到的最接近的结果是使W成为SuperType的泛型类型参数，但是那么你的实现只能工作一个类W ，这将是typeToken的冗余，这显然不是你想要的。
我不知道你的确切意图是在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：这很好地说明泛型如何工作：他们所做的全部都是自动在您需要的位置插入演员。
链接地址: http://www.djcxy.com/p/27115.html上一篇: How to replace a parameterized type with a more specific one