java - 纠正上限类类型 Iterable 和上限通配符 List 字段 Iterator 类型

Question

我正在尝试找到正确的泛型和通配符排列来完成这项工作。类型已更改，所有其他代码已删除，以使其尽可能简单。

这里我有一个上限为 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

我认为也许辅助函数可以弥补这一差距，但我的尝试没有任何运气。

这看起来并不应该那么难。强制类型转换真的是正确的方法吗？或者是否有一个通用声明可以使这一切协同工作？

Answer 1

我认为如果您想要 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>()) ，或者您编写类型不安全的代码。