迭代子模式
轉載自?《JAVA與模式》之迭代子模式
在閻宏博士的《JAVA與模式》一書中開頭是這樣描述迭代子(Iterator)模式的:
迭代子模式又叫游標(Cursor)模式,是對象的行為模式。迭代子模式可以順序地訪問一個聚集中的元素而不必暴露聚集的內部表象(internal representation)。
聚集和JAVA聚集
多個對象聚在一起形成的總體稱之為聚集(Aggregate),聚集對象是能夠包容一組對象的容器對象。聚集依賴于聚集結構的抽象化,具有復雜化和多樣性。數組就是最基本的聚集,也是其他的JAVA聚集對象的設計基礎。
JAVA聚集對象是實現了共同的java.util.Collection接口的對象,是JAVA語言對聚集概念的直接支持。從1.2版開始,JAVA語言提供了很多種聚集,包括Vector、ArrayList、HashSet、HashMap、Hashtable等,這些都是JAVA聚集的例子。
迭代子模式的結構
迭代子模式有兩種實現方式,分別是白箱聚集與外稟迭代子和黑箱聚集于內稟迭代子。
白箱聚集與外稟迭代子
如果一個聚集的接口提供了可以用來修改聚集元素的方法,這個接口就是所謂的寬接口。
如果聚集對象為所有對象提供同一個接口,也就是寬接口的話,當然會滿足迭代子模式對迭代子對象的要求。但是,這樣會破壞對聚集對象的封裝。這種提供寬接口的聚集叫做白箱聚集。聚集對象向外界提供同樣的寬接口,如下圖所示:
由于聚集自己實現迭代邏輯,并向外部提供適當的接口,使得迭代子可以從外部控制聚集元素的迭代過程。這樣一來迭代子所控制的僅僅是一個游標而已,這種迭代子叫做游標迭代子(Cursor Iterator)。由于迭代子是在聚集結構之外的,因此這樣的迭代子又叫做外稟迭代子(Extrinsic Iterator)。
現在看一看白箱聚集與外稟迭代子的實現。一個白箱聚集向外界提供訪問自己內部元素的接口(稱作遍歷方法或者Traversing Method),從而使外稟迭代子可以通過聚集的遍歷方法實現迭代功能。
因為迭代的邏輯是由聚集對象本身提供的,所以這樣的外稟迭代子角色往往僅僅保持迭代的游標位置。
一個典型的由白箱聚集與外稟迭代子組成的系統如下圖所示,在這個實現中具體迭代子角色是一個外部類,而具體聚集角色向外界提供遍歷聚集元素的接口。
迭代子模式涉及到以下幾個角色:
● 抽象迭代子(Iterator)角色:此抽象角色定義出遍歷元素所需的接口。
● 具體迭代子(ConcreteIterator)角色:此角色實現了Iterator接口,并保持迭代過程中的游標位置。
● 聚集(Aggregate)角色:此抽象角色給出創建迭代子(Iterator)對象的接口。
● 具體聚集(ConcreteAggregate)角色:實現了創建迭代子(Iterator)對象的接口,返回一個合適的具體迭代子實例。
● 客戶端(Client)角色:持有對聚集及其迭代子對象的引用,調用迭代子對象的迭代接口,也有可能通過迭代子操作聚集元素的增加和刪除。
源代碼
抽象聚集角色類,這個角色規定出所有的具體聚集必須實現的接口。迭代子模式要求聚集對象必須有一個工廠方法,也就是createIterator()方法,以向外界提供迭代子對象的實例。
public abstract class Aggregate {/*** 工廠方法,創建相應迭代子對象的接口*/public abstract Iterator createIterator(); }具體聚集角色類,實現了抽象聚集角色類所要求的接口,也就是createIterator()方法。此外,還有方法getElement()向外界提供聚集元素,而方法size()向外界提供聚集的大小等。
public class ConcreteAggregate extends Aggregate {private Object[] objArray = null;/*** 構造方法,傳入聚合對象的具體內容*/public ConcreteAggregate(Object[] objArray){this.objArray = objArray;}@Overridepublic Iterator createIterator() {return new ConcreteIterator(this);}/*** 取值方法:向外界提供聚集元素*/public Object getElement(int index){if(index < objArray.length){return objArray[index];}else{return null;}}/*** 取值方法:向外界提供聚集的大小*/public int size(){return objArray.length;} }抽象迭代子角色類
public interface Iterator {/*** 迭代方法:移動到第一個元素*/public void first();/*** 迭代方法:移動到下一個元素*/public void next();/*** 迭代方法:是否為最后一個元素*/public boolean isDone();/*** 迭代方法:返還當前元素*/public Object currentItem(); }具體迭代子角色類
public class ConcreteIterator implements Iterator {//持有被迭代的具體的聚合對象private ConcreteAggregate agg;//內部索引,記錄當前迭代到的索引位置private int index = 0;//記錄當前聚集對象的大小private int size = 0;public ConcreteIterator(ConcreteAggregate agg){this.agg = agg;this.size = agg.size();index = 0;}/*** 迭代方法:返還當前元素*/@Overridepublic Object currentItem() {return agg.getElement(index);}/*** 迭代方法:移動到第一個元素*/@Overridepublic void first() {index = 0;}/*** 迭代方法:是否為最后一個元素*/@Overridepublic boolean isDone() {return (index >= size);}/*** 迭代方法:移動到下一個元素*/@Overridepublic void next() {if(index < size){index ++;}}}客戶端類
public class Client {public void operation(){Object[] objArray = {"One","Two","Three","Four","Five","Six"};//創建聚合對象Aggregate agg = new ConcreteAggregate(objArray);//循環輸出聚合對象中的值Iterator it = agg.createIterator();while(!it.isDone()){System.out.println(it.currentItem());it.next();}}public static void main(String[] args) {Client client = new Client();client.operation();}}上面的例子首先創建了一個聚集類實例,然后調用聚集對象的工廠方法createIterator()以得到一個迭代子對象。在得到迭代子的實例后,客戶端開始迭代過程,打印出所有的聚集元素。
外稟迭代子的意義
一個常常會問的問題是:既然白箱聚集已經向外界提供了遍歷方法,客戶端已經可以自行進行迭代了,為什么還要應用迭代子模式,并創建一個迭代子對象進行迭代呢?
客戶端當然可以自行進行迭代,不一定非得需要一個迭代子對象。但是,迭代子對象和迭代模式會將迭代過程抽象化,將作為迭代消費者的客戶端與迭代負責人的迭代子責任分隔開,使得兩者可以獨立的演化。在聚集對象的種類發生變化,或者迭代的方法發生改變時,迭代子作為一個中介層可以吸收變化的因素,而避免修改客戶端或者聚集本身。
此外,如果系統需要同時針對幾個不同的聚集對象進行迭代,而這些聚集對象所提供的遍歷方法有所不同時,使用迭代子模式和一個外界的迭代子對象是有意義的。具有同一迭代接口的不同迭代子對象處理具有不同遍歷接口的聚集對象,使得系統可以使用一個統一的迭代接口進行所有的迭代。
?
黑箱聚集與內稟迭代子
如果一個聚集的接口沒有提供修改聚集元素的方法,這樣的接口就是所謂的窄接口。
聚集對象為迭代子對象提供一個寬接口,而為其他對象提供一個窄接口。換言之,聚集對象的內部結構應當對迭代子對象適當公開,以便迭代子對象能夠對聚集對象有足夠的了解,從而可以進行迭代操作。但是,聚集對象應當避免向其他的對象提供這些方法,因為其他對象應當經過迭代子對象進行這些工作,而不是直接操控聚集對象。
在JAVA語言中,實現雙重接口的辦法就是將迭代子類設計成聚集類的內部成員類。這樣迭代子對象將可以像聚集對象的內部成員一樣訪問聚集對象的內部結構。下面給出一個示意性的實現,說明這種雙重接口的結構時怎么樣產生的,以及使用了雙重接口結構之后迭代子模式的實現方案。這種同時保證聚集對象的封裝和迭代子功能的實現的方案叫做黑箱實現方案。
由于迭代子是聚集的內部類,迭代子可以自由訪問聚集的元素,所以迭代子可以自行實現迭代功能并控制對聚集元素的迭代邏輯。由于迭代子是在聚集的結構之內定義的,因此這樣的迭代子又叫做內稟迭代子(Intrinsic Iterator)。
為了說明黑箱方案的細節,這里給出一個示意性的黑箱實現。在這個實現里,聚集類ConcreteAggregate含有一個內部成員類ConcreteIterator,也就是實現了抽象迭代子接口的具體迭代子類,同時聚集并不向外界提供訪問自己內部元素的方法。
源代碼
抽象聚集角色類,這個角色規定出所有的具體聚集必須實現的接口。迭代子模式要求聚集對象必須有一個工廠方法,也就是createIterator()方法,以向外界提供迭代子對象的實例。
public abstract class Aggregate {/*** 工廠方法,創建相應迭代子對象的接口*/public abstract Iterator createIterator(); }抽象迭代子角色類
public interface Iterator {/*** 迭代方法:移動到第一個元素*/public void first();/*** 迭代方法:移動到下一個元素*/public void next();/*** 迭代方法:是否為最后一個元素*/public boolean isDone();/*** 迭代方法:返還當前元素*/public Object currentItem(); }具體聚集角色類,實現了抽象聚集角色所要求的接口,也就是createIterator()方法。此外,聚集類有一個內部成員類ConcreteIterator,這個內部類實現了抽象迭代子角色所規定的接口;而工廠方法createIterator()所返還的就是這個內部成員類的實例。
public class ConcreteAggregate extends Aggregate {private Object[] objArray = null;/*** 構造方法,傳入聚合對象的具體內容*/public ConcreteAggregate(Object[] objArray){this.objArray = objArray;}@Overridepublic Iterator createIterator() {return new ConcreteIterator();}/*** 內部成員類,具體迭代子類*/private class ConcreteIterator implements Iterator{//內部索引,記錄當前迭代到的索引位置private int index = 0;//記錄當前聚集對象的大小private int size = 0;/*** 構造函數*/public ConcreteIterator(){this.size = objArray.length;index = 0;}/*** 迭代方法:返還當前元素*/@Overridepublic Object currentItem() {return objArray[index];}/*** 迭代方法:移動到第一個元素*/@Overridepublic void first() {index = 0;}/*** 迭代方法:是否為最后一個元素*/@Overridepublic boolean isDone() {return (index >= size);}/*** 迭代方法:移動到下一個元素*/@Overridepublic void next() {if(index < size){index ++;}}} }客戶端類
public class Client {public void operation(){Object[] objArray = {"One","Two","Three","Four","Five","Six"};//創建聚合對象Aggregate agg = new ConcreteAggregate(objArray);//循環輸出聚合對象中的值Iterator it = agg.createIterator();while(!it.isDone()){System.out.println(it.currentItem());it.next();}}public static void main(String[] args) {Client client = new Client();client.operation();}}上面的例子首先創建了一個聚集類實例,然后調用聚集對象的工廠方法createIterator()以得到一個迭代子對象。在得到迭代子的實例后,客戶端開始迭代過程,打印出所有的聚集元素。
主動迭代子和被動迭代子
主動迭代子和被動迭代子又稱作外部迭代子和內部迭代子。
所謂主動(外部)迭代子,指的是由客戶端來控制迭代下一個元素的步驟,客戶端會明顯調用迭代子的next()等迭代方法,在遍歷過程中向前進行。
所謂被動(內部)迭代子,指的是由迭代子自己來控制迭代下一個元素的步驟。因此,如果想要在迭代的過程中完成工作的話,客戶端就需要把操作傳遞給迭代子,迭代子在迭代的時候會在每個元素上執行這個操作,類似于JAVA的回調機制。
總體來說外部迭代器比內部迭代器要靈活一些,因此我們常見的實現多屬于主動迭代子。
靜態迭代子和動態迭代子
● 靜態迭代子由聚集對象創建,并持有聚集對象的一份快照(snapshot),在產生后這個快照的內容就不再變化。客戶端可以繼續修改原聚集的內容,但是迭代子對象不會反映出聚集的新變化。
靜態迭代子的好處是它的安全性和簡易性,換言之,靜態迭代子易于實現,不容易出現錯誤。但是由于靜態迭代子將原聚集復制了一份,因此它的短處是對時間和內存資源的消耗。
● 動態迭代子則與靜態迭代子完全相反,在迭代子被產生之后,迭代子保持著對聚集元素的引用,因此,任何對原聚集內容的修改都會在迭代子對象上反映出來。
完整的動態迭代子不容易實現,但是簡化的動態迭代子并不難實現。大多數JAVA設計師遇到的迭代子都是這種簡化的動態迭代子。為了說明什么是簡化的動態迭代子,首先需要介紹一個新的概念:Fail Fast。
Fail Fast
如果一個算法開始之后,它的運算環境發生變化,使得算法無法進行必需的調整時,這個算法就應當立即發出故障信號。這就是Fail Fast的含義。
如果聚集對象的元素在一個動態迭代子的迭代過程中發生變化時,迭代過程會受到影響而變得不能自恰。這時候,迭代子就應當立即拋出一個異常。這種迭代子就是實現了Fail Fast功能的迭代子。
Fail Fast在JAVA聚集中的使用
JAVA語言以接口java.util.Iterator的方式支持迭代子模式,Collection接口要求提供iterator()方法,此方法在調用時返還一個Iterator類型的對象。而作為Collection接口的子類型,AbstractList類的內部成員類Itr便是實現Iterator接口的類。
Itr類的源代碼如下所示
private class Itr implements Iterator<E> {/*** Index of element to be returned by subsequent call to next.*/int cursor = 0;/*** Index of element returned by most recent call to next or* previous. Reset to -1 if this element is deleted by a call* to remove.*/int lastRet = -1;/*** The modCount value that the iterator believes that the backing* List should have. If this expectation is violated, the iterator* has detected concurrent modification.*/int expectedModCount = modCount;public boolean hasNext() {return cursor != size();}public E next() {checkForComodification();try {E next = get(cursor);lastRet = cursor++;return next;} catch (IndexOutOfBoundsException e) {checkForComodification();throw new NoSuchElementException();}}public void remove() {if (lastRet == -1)throw new IllegalStateException();checkForComodification();try {AbstractList.this.remove(lastRet);if (lastRet < cursor)cursor--;lastRet = -1;expectedModCount = modCount;} catch (IndexOutOfBoundsException e) {throw new ConcurrentModificationException();}}final void checkForComodification() {if (modCount != expectedModCount)throw new ConcurrentModificationException();}}從Itr類的源代碼中可以看到,方法checkForComodification()會檢查聚集的內容是否剛剛被外界直接修改過(不是通過迭代子提供的方法修改的)。如果在迭代開始后,聚集的內容被外界繞過迭代子對象而直接修改的話,這個方法會立即拋出ConcurrentModificationException()異常。
這就是說,AbstractList.Itr迭代子是一個Fail Fast的迭代子。
迭代子模式的優點
(1)迭代子模式簡化了聚集的接口。迭代子具備了一個遍歷接口,這樣聚集的接口就不必具備遍歷接口。
(2)每一個聚集對象都可以有一個或多個迭代子對象,每一個迭代子的迭代狀態可以是彼此獨立的。因此,一個聚集對象可以同時有幾個迭代在進行之中。
(3)由于遍歷算法被封裝在迭代子角色里面,因此迭代的算法可以獨立于聚集角色變化。
總結
- 上一篇: 死锁Linux代码(死锁 linux)
- 下一篇: 命令模式的两种不同实现