為速度而散列:
SlowMap.java說明了創建一個新的Map並不困難。但正如它的名稱SlowMap所示,它不會很快,如果有更好的選擇就應該放棄它。它的問題在於對鍵的查詢,鍵沒有按照任何特定的順序保存,所以只能使用簡單的線性查詢,而線性查詢是最慢的查詢方式。
散列的價值在於速度:
散列使得查詢得以快速進行。由於瓶頸在於鍵的查詢速度,因此解決方案之一就是保持鍵的排序狀態,然后使用Collections.binarySearch()進行查詢。
散列則更進一步,它將鍵保存在某處,以便能夠很快的找到。存儲一組元素的最快數據結構是數組,所以使用它來表示鍵的信息(請小心留意,我說的是鍵的信息,而不是鍵本身)。但是因為數組不能調整容量,因此就有了一個問題:我們希望在Map中保存的數量是不確定的值,但是如果鍵的數量被數組的容量限制了,該怎么辦呢?
答案就是:數組並不保存鍵本身。而是通過鍵對象生成一個數字,將其作為數組的下標。這個數字就是散列碼,由定義在Object中的、且可能由你的類覆蓋的hashCode()方法(計算機科學術語稱為散列函數)生成。
為了解決數組被固定的問題,不同的鍵可能產生相同的下標。也就是說,可能會有沖突。因此,數組多大就不重要了,任何鍵總能在數組中找到它的位置。
於是查詢一個值的過程首先就是計算散列碼,然后使用散列碼查詢數組。如果能夠保證沒有沖突(如果值的數量是固定的,那么就有可能)那可能就是一個完美的散列函數,但是這種情況只是特例。通常,沖突由外部鏈接處理:數組並不直接保存值,而是保存值的list。然后對list中的值使用equals()方法進行線性的查詢。這部分的查詢自然會比較慢,但是,如果散列函數好的話,數組的每個位置就只有較少的值。因此,不是查詢整個list,而是快速的跳到素數的某個位置,只對很少的元素進行比較。這邊是HashMap快的原因。
理解了散列的原理,我們就能實現一個簡單的散列Map了:
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121classMapEntry<k, v="">implementsMap.Entry<k, v=""> {privateK key;privateV value;publicMapEntry(K key, V value) {this.key = key;this.value = value;}publicK getKey() {returnkey;}publicV getValue() {returnvalue;}publicV setValue(V value) {V result =this.value;this.value = value;returnresult;}@OverridepublicinthashCode() {return(key ==null?0: key.hashCode())^ (value ==null?0: value.hashCode());}@Overridepublicbooleanequals(Object o) {if(!(oinstanceofMapEntry)) {returnfalse;}MapEntry me = (MapEntry) o;return(key ==null? me.getKey() ==null: key.equals(me.getKey()))&& (value ==null? me.getValue() ==null: value.equals(me.getValue()));}@OverridepublicString toString() {returnkey +" = "+ value;}}classSimpleHashMap<k, v="">extendsAbstractMap<k, v=""> {staticfinalintSIZE =997;@SuppressWarnings("unchecked")LinkedList<mapentry<k, v="">>[] buckets =newLinkedList[SIZE];publicV put(K key, V value) {V oldValue =null;intindex = Math.abs(key.hashCode()) % SIZE;if(buckets[index] ==null) {buckets[index] =newLinkedList<mapentry<k, v="">>();}LinkedList<mapentry<k, v="">> bucket = buckets[index];MapEntry<k, v=""> pair =newMapEntry<k, v="">(key, value);booleanfound =false;ListIterator<mapentry<k, v="">> it = bucket.listIterator();while(it.hasNext()) {MapEntry<k, v=""> iPair = it.next();if(iPair.getKey().equals(key)) {oldValue = iPair.getValue();it.set(pair);found =true;break;}}if(!found) {buckets[index].add(pair);}returnoldValue;}publicV get(Object key) {intindex = Math.abs(key.hashCode()) % SIZE;if(buckets[index] ==null) {returnnull;}for(MapEntry<k, v=""> iPair : buckets[index]) {if(iPair.getKey().equals(key)) {returniPair.getValue();}}returnnull;}@OverridepublicSet<java.util.map.entry<k, v="">> entrySet() {Set<map.entry<k, v="">> set =newHashSet<map.entry<k,v>>();for(LinkedList<mapentry<k, v="">> bucket : buckets) {if(bucket ==null) {continue;}for(MapEntry<k, v=""> mpair : bucket) {set.add(mpair);}}returnset;}}publicclassMain2 {publicstaticvoidmain(String[] args) {{CAPE VERDE=Praia, ANGOLA=Luanda, ETHIOPIA=Addis Ababa, BENIN=Porto-Novo, CONGO=Brazzaville, LESOTHO=Maseru, CENTRAL AFRICAN REPUBLIC=Bangui, EQUATORIAL GUINEA=Malabo, ERITREA=Asmara, COMOROS=Moroni, BURKINA FASO=Ouagadougou, GABON=Libreville, THE GAMBIA=Banjul, GUINEA=Conakry, EGYPT=Cairo, BURUNDI=Bujumbura, ALGERIA=Algiers, CAMEROON=Yaounde, GHANA=Accra, KENYA=Nairobi, COTE D'IVOIR (IVORY COAST)=Yamoussoukro, BISSAU=Bissau, DJIBOUTI=Dijibouti, CHAD=N'djamena, BOTSWANA=Gaberone}[CAPE VERDE = Praia, ANGOLA = Luanda, ETHIOPIA = Addis Ababa, BENIN = Porto-Novo, CONGO = Brazzaville, LESOTHO = Maseru, CENTRAL AFRICAN REPUBLIC = Bangui, EQUATORIAL GUINEA = Malabo, ERITREA = Asmara, COMOROS = Moroni, BURKINA FASO = Ouagadougou, GABON = Libreville, THE GAMBIA = Banjul, GUINEA = Conakry, EGYPT = Cairo, BURUNDI = Bujumbura, ALGERIA = Algiers, CAMEROON = Yaounde, GHANA = Accra, KENYA = Nairobi, COTE D'IVOIR (IVORY COAST) = Yamoussoukro, BISSAU = Bissau, DJIBOUTI = Dijibouti, CHAD = N'djamena, BOTSWANA = Gaberone]SimpleHashMap<string, string=""> m =newSimpleHashMap<string, string="">();m.putAll(Countries.capitals(25));System.out.println(m);System.out.println(m.entrySet());}}</string,></string,></k,></mapentry<k,></map.entry<k,v></map.entry<k,></java.util.map.entry<k,></k,></k,></mapentry<k,></k,></k,></mapentry<k,></mapentry<k,></mapentry<k,></k,></k,></k,></k,>
由於散列表中的 “槽位”(slot)通常稱為 桶位(bucket),因此我們將表示實際散列表的數組命名為bucket。
為使散列分布均勻,桶的數量通常使用質數。注意,為了能夠自動處理沖突,使用了一個LinkedList的數組;
每一個新的元素只是直接添加到list末尾的某個特定的桶位中。即使Java不允許你創建泛型數組,那你也可以創建指向這種數組的引用。這里,向上轉型為這種數組是很方便的,這樣可以防止在后面的代碼中進行額外的轉型。
對於put方法,hashCode()將針對鍵而被調用,並且其結果被強制轉換為正數。為了是產生的數組適合bucket數組的大小,取摸操作符將按照該數組的尺寸取模。如果數組的某個位置是null,這表示還沒有元素被散列至此,所以,為了保存剛散列到該定位的對象需要創建愛你一個新的LinkedList。一般的過程是,查看當前位置的list中是否有相同的元素,如果有,則將舊的值付給oldValue,然后用新值取代舊值。標記found用來跟蹤是否找到舊的鍵值對,如果沒有,則將新的添加到list的末尾。
get()方法按照與put()方法相同的方式計算bucktes數組中的索引(這很重要,保證計算出相同的位置)如果此位置存在,則進行查詢。
注意,這個實現並不意味着對性能進行了調優;它只是想要展示散列映射表執行的各種操作。
