java - 泛型:为什么实现的集合返回一个对象而不是指定的类型？

Question

我正在尝试使用自定义 MapEntries 实现一个 OrderedMapEntry 列表 - 因为我需要一个带有 Vectors 的自定义解决方案，所以我不能使用 TreeMap( http://docs.oracle.com/javase/7/docs/api/java/util/TreeMap.html )。我实现了一个自定义列表，没有任何错误，但是当我在增强的 for 循环中使用 OrderedMapEntries 类时，它返回一个 Object。

• 使用增强的 for 循环时如何确保类型安全？我的实现在确保这种类型安全方面做错了什么？

  public class OrderedMapEntries<K, V> implements Iterator, Iterable{
  
      private Vector<MapEntry<K, Vector<V>>> vector;
      private int vectorIndex;  // initializes with -1
  
      class MapEntry<A, B extends AbstractList<V>> implements Iterator, Iterable{
          // MapEntry implementation
  
      public void insert(int index, K key, Vector<V> vec){
          MapEntry<K, Vector<V>> mapEntry = new MapEntry<>(key, vec);
          vector.add(index, mapEntry);
      }
  
      @Override
      public MapEntry<K, Vector<V>> next(){
          vectorIndex++;
          return vector[vectorIndex]; 
      }
  }
  

我尝试使用增强的 for 循环遍历集合，但它失败了，因为 next() 返回一个对象而不是我指定的元素。

OrderedMapEntries<Integer, String> ome = new OrderedMapEntries<>();
// I filled it with some test data

for (OrderedMapEntries<Integer, String>.MapEntry<Integer, Vector<String>> entry : ome){
    ; 
    }

Answer 1

您正在实现 Iterable , 原始类型，不是 Iterable<K>或 Iterable<V> .如果像这样省略类型参数，那么 iterator 的签名变成 -

Iterator iterator();

返回 Iterator , 不是 Iterator<K>或 Iterator<V> , 谁的 next方法将具有如下签名 -

Object next();

这就是您获得 Object 的原因在增强的 for 循环中，因为它在内部调用 Iterator的 next获取下一个元素。

如果您使用这样的原始类型，您几乎永远无法确保适当的类型安全。更多信息，请查看Effective Java , Item 23 - 不要在新代码中使用原始类型。

此外，您的 OrderedMapEntries类应该只实现 Iterable<E> (请查看 ArrayList 是如何做到这一点的)。实现 iterator其中的方法，以便它返回适当的 Iterator<E>到增强的 for 循环。