gpt4 book ai didi

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

转载 作者:塔克拉玛干 更新时间:2023-11-03 04:32:06 24 4
gpt4 key购买 nike

考虑以下设置:

我们有一个接口(interface)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);
}

这个新的接口(interface)定义旨在支持:

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>>可以接受吗?

否则,哪个实现和接口(interface)方法定义可以解决问题?

否则,为什么我们不能用 Java 来做到这一点?

最佳答案

使用以下签名:

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

可能还有一些不安全的情况,虽然我还没有找到,欢迎大家批评指正!

关于java - 如何用更具体的类型替换参数化类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/30861787/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com