Cpython 2.7 分支中，dict 對象的源代碼?lookdict 搜索算法
?
1 static PyDictEntry * 2 lookdict(PyDictObject *mp, PyObject *key, register long hash) 3 { 4 register size_t i; 5 register size_t perturb; 6 register PyDictEntry *freeslot; 7 register size_t mask = (size_t)mp->ma_mask; 8 PyDictEntry *ep0 = mp->ma_table; 9 register PyDictEntry *ep; 10 register int cmp; 11 PyObject *startkey; 12 13 i = (size_t)hash & mask; 14 ep = &ep0[i]; 15 if (ep->me_key == NULL || ep->me_key == key) //【1】 16 return ep; 17 18 if (ep->me_key == dummy) 19 freeslot = ep; 20 else { 21 //進到這里說明 ep->me-key !=NULL && ep->me_key!=key && ep->me_key==Active 22 if (ep->me_hash == hash) { 23 startkey = ep->me_key; 24 Py_INCREF(startkey); 25 cmp = PyObject_RichCompareBool(startkey, key, Py_EQ); //[2]這里為啥要再比較一次？ 26 Py_DECREF(startkey); 27 if (cmp < 0) 28 return NULL; 29 if (ep0 == mp->ma_table && ep->me_key == startkey) {//[3]這里明顯是相等的，為啥要再判斷一次？ 30 if (cmp > 0) 31 return ep; 32 } 33 else { 34 /* The compare did major nasty stuff to the 35 * dict: start over. 36 * XXX A clever adversary could prevent this 37 * XXX from terminating. 38 */ 39 return lookdict(mp, key, hash); 40 } 41 } 42 freeslot = NULL; 43 }
?
兩個問題無法理解：
1.1?dict 對象搜索算法中，進入【2】處已經說明了?ep->me_key!=key 這個條件成立，但是 【2】那里為啥要再次比較一次?me_key 和 key 呢？
百思不得其解！！！
? ? ? 原因： 【1】處為兩個指針做 == 比較，說明指針的內容相同，即指向的是同一對象
? ? ? ? ? ? ? ? ? 進入到流程【2】則說明兩個對象指向不同的內存，但是在滿足兩個條件后也認為他們“相等”，從而返回對應的項目，條件如下：
? ? ? ? ? ? ? ? ? 一是 兩個對象哈希值相等
? ? ? ? ? ? ? ? ? 二是 兩個對象的值相等（比較算法由對象提供，通常是 __eq__方法）
? ? ?舉例：dict[10000]=10,此時需要搜索 d[10000]對象的 entry 對象，搜索時 指向 10000 的Pyobject* 明顯和之前 存入 dict[10000] 值時對應的
? ? ? ? ? ? ? ?Pyobject 指針不一致，此時 p(p->int(10000) me_key) != q(q->int(10000) key),因此不會進入流程 【1】
? ? ? ? ? ? ? ?但是 p,q同時滿足規定的兩個條件，即hash值和 ob_val 都一致，因此返回 p 處的 （key,value）entry
? ?
? ? ?1.2 [3]處 判斷的條件明顯是成立的（參見藍色高亮部分），不理解為啥要重復判斷一次，暫時想不通~
? ? ?
)
