通配符绑定内的泛型类型出错

我有一个自定义迭代器接口

public interface ThrowingIterator<T, E extends Throwable> {
  // matches interface of standard Iterator, but next() and hasNext() can throw E
}

和一个实现

public class CustomIterator implements ThrowingIterator<List<MyType>, IOException> {
  // ...
  public CustomIterator() {
     // ...
  }
  public static ThrowingIterator<List<MyType>, IOException> helperFactory() {
    // ...
  }
}

哪里 class MyType implements MyInterface 。我的问题属于以下职能范围:

ThrowingIterator<List<? extends MyInterface>, IOException> getIterator() {
  if (someCondition) {
    return new CustomIterator();
  }
  return CustomIterator.helperFactory();
}

由于不同的原因,编译器在两个返回语句上都出现错误。Intellij提供以下功能:

// first
Required: ThrowingIterator<List<? extends MyInterface>, IOException>
Provided: CustomIterator
// second
Required: ThrowingIterator<List<? extends MyInterface>, IOException>
Provided: ThrowingIterator<List<MyType>, IOException>

据我所知, CustomIterator 应该符合需要,因为它实现的类型 ThrowingIterator 符合通配符范围(尤其是第二种情况,因为 MyType implements MyInterface ,这正是我所想的 ? extends MyInterface 正在尝试捕获。) 如何在最大限度地减少声明/签名中的通配符数量的同时解决此泛型问题? 的签名 getIterator() 我也明白在列表上提供迭代器是不好的做法;修复在其他地方处理的问题。