java - 对类型参数做出假设？

Question

我想将 Iterator 子类化为 FooIterator。我的代码看起来像这样:

public class FooIterator<E> implements Iterator<E> {
  public FooIterator(Collection<Bar> bars) {
    innerIterator = bars.iterator();
  }

  @Override
  public boolean hasNext() {
    return innerIterator.hasNext();
  }

  @SuppressWarnings("unchecked")
  @Override
  public E next() {
    Bar bar = innerIterator.next();
    return new E(bar);
  }

  @Override
  public void remove() {
    throw new UnsupportedOperationException("Don't remove from FooIterator!");
  }

  private Iterator<Bar> innerIterator;
}

...除了，当然，这是行不通的，因为我无法从 Bar 实例化一个新的 E。

我只会将其与具有采用 Bar 的构造函数的 E 一起使用。有什么方法可以向编译器“证明”这一点，或者如果 E 没有合适的构造函数就抛出运行时错误？

或许我只是没有在这里使用正确的设计模式？我最近一直在做很多 C++，我觉得我可能以错误的方式处理这个问题。

Answer 1

这是一种有点复杂的方法，但它可以工作并且类型安全(使用反射的解决方案不会)。它基本上包括将 E 的构造从 Bar 委托(delegate)给一个单独的类。你可以有一个 BarConverter 接口(interface):

interface BarConverter<E> {
    E convert (Bar bar);
}

那么你的类可以变成:

public class FooIterator<E> implements Iterator<E> {

    public FooIterator(Collection<Bar> bars, BarConverter<E> converter) {
        innerIterator = bars.iterator();
        this.converter = converter;
    }

    @Override
    public E next() {
        Bar bar = innerIterator.next();
        return converter(bar);
    }
}