gpt4 book ai didi

java - 为什么编译器不推断泛型中的捕获关系?

转载 作者:行者123 更新时间:2023-11-30 06:59:33 24 4
gpt4 key购买 nike

<分区>

想象一下这样的界面

public interface MessageParameter<T> {

public List<T> unmarshal(byte[] array);
public int getLength(List<T> values);

}

以及该接口(interface)的消费者

public class GenericUser {

List<MessageParameter<?>> payload = new ArrayList<>();

public void run() {
byte[] byteArray = new byte[] { 1, 2 };

for (MessageParameter<?> element : payload) {
element.getLength(element.unmarshal(byteArray)); //compiler error
}
}
}

编译器报错

 The method getLength(List<capture#1-of ?>) in the type MessageParameter<capture#1-of ?> is not applicable for the arguments (List<capture#2-of ?>)

很明显,因为我在两个方法调用中都使用了 element,所以两者的类型是相同的,应该被允许。另一种问同样问题的方法,为什么编译器创建 capture#2?为什么不能推断出它们在逻辑上都是相同的 capture

我错过了什么吗?是否存在此代码会抛出运行时异常的反例??

我的主要问题不是如何修复代码(虽然这也很有趣,但我目前的解决方案是使用 Object 而不是 ?),而是 < strong>这个错误的逻辑原因是什么?在我看来,这更像是编译器实现上的一个缺陷,而不是一个逻辑限制

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