java中迭代器应用

简介:

本文将利用分析代码的方式,来学习一个集合类的内部结构,以及遍历集合的迭代模式的源码实现细节。

下面我们先简单讨论一个根接口Collection,然后分析一个抽象类AbstractList和它的对应Iterator接口,并仔细研究迭代子模式的实现原理。

本文讨论的源代码版本是JDK 1.4.2,因为JDK 1.5在java.util中使用了很多泛型代码,为了简化问题,所以我们还是讨论1.4版本的代码。

1.集合类的根接口Collection

1.1 Collection元素的增加与删除
Collection接口是所有集合类的根类型。它的一个主要的接口方法是:

1
2
boolean  add(Object c)
//add()方法将添加一个新元素。注意这个方法会返回一个boolean,但是返回值不是表示添加成功与否。仔细阅读doc可以看到,Collection规定:如果一个集合拒绝添加这个元素,无论任何原因,都必须抛出异常。这个返回值表示的意义是add()方法执行后,集合的内容是否改变了(就是元素有无数量,位置等变化),这是由具体类实现的。即:如果方法出错,总会抛出异常;返回值仅仅表示该方法执行后这个Collection的内容有无变化。

 类似的还有:

1
2
3
4
boolean  addAll(Collection c);
boolean  remove(Object o);
boolean  removeAll(Collection c);
boolean  remainAll(Collection c);

1.2 将迭代器中的元素转换成数组

1
2
3
4
5
6
7
8
9
10
1 . Object[] toArray()方法。 Object[] toArray()方法很简单,把集合转换成数组返回。
//将object转换成特定的类型
String[] o = (String[])c.toArray();
 
2 .Object[] toArray(Object[] a)方法。 Object[] toArray(Object[] a)方法就有点复杂了,首先,返回的Object[]仍然是把集合的所有元素变成的数组,但是类型和参数a的类型是相同的。其次,如果参数a的大小装不下集合的所有元素,返回的将是一个新的数组。如果参数a的大小能装下集合的所有元素,则返回的还是a,但a的内容用集合的元素来填充。尤其要注意的是,如果a的大小比集合元素的个数还多,a后面的部分全部被置为 null 。如下:
 
String[] strng_array= new  String[ 100 ];
c.toArray(strng_array);
和下面的代码所实现的功能是一样的
String[] strng_array = (String[])c.toArray(); 

2.用Iterator模式实现遍历集合

Iterator模式是用于遍历集合类的标准访问方法。它可以把访问逻辑从不同类型的集合类中抽象出来,从而避免向客户端暴露集合的内部结构。
例如,如果没有使用Iterator,遍历一个数组的方法是使用索引:

1
2
3
4
5
6
for ( int  i= 0 ; i<array.size(); i++)
{
...
get(i)
...
}

而访问一个链表(LinkedList)又必须使用while循环:

1
2
3
4
5
6
while ((e=e.next())!= null )
{
...
e.data()
...
}

  以上两种方法客户端都必须事先知道集合的内部结构,访问代码和集合本身是紧耦合,无法将访问逻辑从集合类和客户端代码中分离出来,每一种集合对应一种遍历方法,客户端代码无法复用。

   举个例子:如果以后需要把ArrayList更换为LinkedList,则原来的客户端代码必须全部重写。

为解决以上问题,Iterator模式总是用同一种逻辑来遍历集合:

1
2
3
4
for (Iterator it = c.iterater(); it.hasNext(); )
{
...
}

  奥秘在于客户端自身不维护遍历集合的"指针",所有的内部状态(如当前元素位置,是否有下一个元素)都由Iterator来维护,而这个Iterator由集合类通过工厂方法生成,因此,它知道如何遍历整个集合。

  客户端从不直接和集合类打交道,它总是控制Iterator,向它发送"向前","向后","取当前元素"的命令,就可以间接遍历整个集合。
   首先看看java.util.Iterator接口的定义:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
public  interface  Iterator
{
   boolean  hasNext();
  Object next();
   void  remove();
}
 
依赖前两个方法就能完成遍历,典型的代码如下:
 
for (Iterator it = c.iterator(); it.hasNext(); )
{
  Object o = it.next();
   // 对o的操作...
}
1
<span style= "font-size: 15px;" >在JDK1. 5 中,还对上面的代码在语法上作了简化:<span style= "line-height: 1.5;" > </span></span>
1
2
3
4
5
6
// Type是具体的类型,如String。
for (Type t : c)
{
// 对t的操作...
}
每一种集合类返回的Iterator具体类型可能不同,Array可能返回ArrayIterator,Set可能返回SetIterator,Tree可能返回TreeIterator,但是它们都实现了Iterator接口,因此,客户端不关心到底是哪种Iterator,它只需要获得这个Iterator接口即可,这就是面向对象的威力。

  2.Iterator源码剖析


让我们来看看AbstracyList如何创建Iterator。

  首先AbstractList定义了一个内部类(inner class):

1
 
1
2
3
4
5
6
7
8
9
private  class  Itr  implements  Iterator
{
     ...
}
而iterator()方法的定义是:
public  Iterator iterator()
{
   return  new  Itr();
}

 因此客户端不知道它通过Iterator it = a.iterator();所获得的Iterator的真正类型。

 现在我们关心的是这个申明为private的Itr类是如何实现遍历AbstractList的:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
private  class  Itr  implements  Iterator
{
   int  cursor =  0 ;
   int  lastRet = - 1 ;
   int  expectedModCount = modCount;
}
//Itr类依靠3个int变量(还有一个隐含的AbstractList的引用)来实现遍历,cursor是下一次next()调用时元素的位置,第一次调用next()将返回索引为0的元素。lastRet记录上一次游标所在位置,因此它总是比cursor少1。
变量cursor和集合的元素个数决定hasNext():
 
 
public  boolean  hasNext()
 
{
 
   return  cursor != size();
}
 
//方法next()返回的是索引为cursor的元素,然后修改cursor和lastRet的值:
public  Object next()
 
{
  checkForComodification();
   try  {
   Object next = get(cursor);
   lastRet = cursor++;
    return  next;
  }  catch (IndexOutOfBoundsException e) {
   checkForComodification();
    throw  new  NoSuchElementException();
  }
}
   expectedModCount表示期待的modCount值,用来判断在遍历过程中集合是否被修改过。AbstractList包含一个modCount变量,它的初始值是 0 ,当集合每被修改一次时(调用add,remove等方法),modCount加 1 。因此,modCount如果不变,表示集合内容未被修改。
 
   Itr初始化时用expectedModCount记录集合的modCount变量,此后在必要的地方它会检测modCount的值:
 
final  void  checkForComodification() {
   if  (modCount != expectedModCount)
    throw  new  ConcurrentModificationException();
}
  如果modCount与一开始记录在expectedModeCount中的值不等,说明集合内容被修改过,此时会抛出ConcurrentModificationException。
 
  这个ConcurrentModificationException是RuntimeException,不要在客户端捕获它。如果发生此异常,说明程序代码的编写有问题,应该仔细检查代码而不是在 catch 中忽略它。
 
  但是调用Iterator自身的remove()方法删除当前元素是完全没有问题的,因为在这个方法中会自动同步expectedModCount和modCount的值:
 
public  void  remove() {
...
AbstractList. this .remove(lastRet);
...
// 在调用了集合的remove()方法之后重新设置了expectedModCount:
expectedModCount = modCount;
...
}
  要确保遍历过程顺利完成,必须保证遍历过程中不更改集合的内容(Iterator的remove()方法除外),因此,确保遍历可靠的原则是只在一个线程中使用这个集合,或者在多线程中对遍历代码进行同步。

3. 最后给个完整的示例:

1
2
3
4
5
6
7
8
9
Collection c =  new  ArrayList();
c.add( "abc" );
c.add( "xyz" );
for (Iterator it = c.iterator(); it.hasNext(); )
{
  String s = (String)it.next();
  System.out.println(s);
}
//如果你把第一行代码的ArrayList换成LinkedList或Vector,剩下的代码不用改动一行就能编译,而且功能不变,这就是针对抽象编程的原则:对具体类的依赖性最小。

  

本文转自二郎三郎博客园博客,原文链接:http://www.cnblogs.com/haore147/p/3618111.html,如需转载请自行联系原作者
相关文章
|
5天前
|
Java 大数据
解析Java中的NIO与传统IO的区别与应用
解析Java中的NIO与传统IO的区别与应用
|
5天前
|
缓存 监控 算法
如何优化Java应用的响应时间
如何优化Java应用的响应时间
|
4天前
|
监控 Java 数据库连接
Java面试题:如何诊断和解决Java应用的内存泄漏问题?
Java面试题:如何诊断和解决Java应用的内存泄漏问题?
11 2
|
5天前
|
设计模式 Java 数据库连接
Java中的设计模式在实际项目中的应用
Java中的设计模式在实际项目中的应用
|
5天前
|
搜索推荐 Java API
如何在Java应用中实现全文搜索功能
如何在Java应用中实现全文搜索功能
|
4天前
|
Java API
Java面试题:说明Lambda表达式在Java中的应用,以及函数式接口的概念和作用。
Java面试题:说明Lambda表达式在Java中的应用,以及函数式接口的概念和作用。
11 0
|
4天前
|
设计模式 Java
Java面试题:描述观察者模式的工作原理及其在Java中的应用。
Java面试题:描述观察者模式的工作原理及其在Java中的应用。
10 0
|
4天前
|
监控 网络协议 Java
Java面试题:解释Java NIO与BIO的区别,以及NIO的优势和应用场景。如何在高并发应用中实现NIO?
Java面试题:解释Java NIO与BIO的区别,以及NIO的优势和应用场景。如何在高并发应用中实现NIO?
10 0
|
4天前
|
缓存 搜索推荐 Java
Java面试题:简述CAP理论及其在分布式系统设计中的应用。请提供一个具体的例子,说明在系统设计中如何取舍一致性和可用性
Java面试题:简述CAP理论及其在分布式系统设计中的应用。请提供一个具体的例子,说明在系统设计中如何取舍一致性和可用性
11 0
|
4天前
|
存储 安全 Java
Java面试题:请解释Java中的泛型集合框架?以及泛型的经典应用案例
Java面试题:请解释Java中的泛型集合框架?以及泛型的经典应用案例
10 0