我正在尝试找到正确的泛型和通配符排列来完成这项工作。类型已更改,所有其他代码已删除,以使其尽可能简单。
这里我有一个上限为 Number
的泛型类实现 Iterable
。它包含 List
的泛型类型。
我想传入 List
任何Number
子类,并返回Iterator
来自 List
的该类型字段。
这是基本想法,但显然行不通。
class GenericQuestion<T extends Number> implements Iterable<T> {
List<T> numbers;
GenericQuestion(List<T> number) {
this.numbers = number;
}
public Iterator<T> iterator() {
return numbers.iterator();
}
static void main() {
for (Number n : new GenericQuestion<Number>(new ArrayList<Integer>())) { // <---- error
System.out.println(n.byteValue());
}
}
}
这给出了预期的错误
incompatible types: ArrayList<Integer> cannot be converted to List<Number>
上限通配符来救援!几乎...
class GenericQuestion<T extends Number> implements Iterable<T> {
List<? extends T> numbers;
GenericQuestion(List<? extends T> number) {
this.numbers = number;
}
public Iterator<T> iterator() {
return numbers.iterator(); // <----- error
}
static void main() {
for (Number n : new GenericQuestion<Number>(new ArrayList<Integer>())) {
System.out.println(n.byteValue());
}
}
}
现在我对迭代器类型冲突感到困扰。
incompatible types: Iterator<CAP#1> cannot be converted to Iterator<T>
where T is a type-variable:
T extends Number declared in class GenericQuestion
where CAP#1 is a fresh type-variable:
CAP#1 extends T from capture of ? extends T
现在从逻辑上讲,我非常确定将返回的迭代器强制转换为类型 (Iterator<T>)
是完全安全的。 ,
但我宁愿以“正确”的方式来做这件事。我尝试过各种各样的事情。这是又一次绝望的尝试,但仍然没有成功。
class GenericQuestion<T extends Number> implements Iterable<T> {
List<T> numbers;
<U extends Number> GenericQuestion(List<U> number) {
this.numbers = number; // <----- error
}
public Iterator<T> iterator() {
return numbers.iterator();
}
static void main() {
for (Number n : new GenericQuestion<Number>(new ArrayList<Integer>())) {
System.out.println(n.byteValue());
}
}
}
错误。
incompatible types: List<U> cannot be converted to List<T>
where U,T are type-variables:
U extends Number declared in constructor <U>GenericQuestion(List<U>)
T extends Number declared in class GenericQuestion
我认为也许辅助函数可以弥补这一差距,但我的尝试没有任何运气。
这看起来并不应该那么难。强制类型转换真的是正确的方法吗?或者是否有一个通用声明可以使这一切协同工作?
最佳答案
我认为如果您想要 T
上存在差异,您必须在某处有一些类型的不安全代码。 .
导致此限制的原因是 Iterable<T>
。它需要一个方法Iterator<T> iterator()
。您无法确定您的Iterator<? extends T>
可以转换为Iterator<T>
因为唯一可能出现这种情况的情况是当您的 Iterator<? extends T>
是 Iterator<T>
在运行时。您可能已经了解 A<T>
的事实无法转换为A<U>
即使T extends U
.
如果您创建了自己的 MyIterable<T>
界面,你可以这样做:
class GenericQuestion<T extends Number> implements MyIterable<T> {
List<? extends T> numbers;
GenericQuestion(List<? extends T> number) {
this.numbers = number;
}
public Iterator<? extends T> iterator() {
return numbers.iterator();
}
static void main() {
GenericQuestion<Number> q = new GenericQuestion<>(new ArrayList<Integer>());
Iterator<? extends Number> iter = q.iterator();
System.out.println(iter.next().byteValue());
}
}
interface MyIterable<T> {
Iterator<? extends T> iterator();
}
但是正如你所看到的,你不能使用MyIterable
使用 for 循环。
因此,您要么不允许 new GenericQuestion<Number>(new ArrayList<Integer>())
,或者您编写类型不安全的代码。
关于java - 纠正上限类类型 Iterable 和上限通配符 List 字段 Iterator 类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53359229/