最新说说Python中字典和散列表，散列冲突的解决原理(2)

Python 用散列表来实现 dict。散列表其实是一个稀疏数组（总是有空白元素的数组称为稀疏数组）。在一般书中，散列表里的单元通常叫做表元（bucket）。在 dict 的散列表当中，每个键值对都占用一个表元，每个表元都有两个部分，一个是对键的引用，一个是对值的引用。因为每个表元的大小一致，所以可以通过偏移量来读取某个表元。

Python 会设法保证大概还有三分之一的表元是空的，当快要达到这个阀值的时候，会进行扩容，将原散列表复制到一个更大的散列表里。

如果要把一个对象放入到散列表里，就先要计算这个元素键的散列值。这就要求键（key）必须是可散列的。

一个可散列的对象必须满足以下条件：

支持 hash() 函数，并且通过 hash() 方法所得到的散列值是不变的。

支持通过 eq() 方法来检测相等性。

若 a == b 为真，则 hash(a) == hash(b) 也为真。

散列表的算法：

为了获取键 search_key 所对应的值 search_value，Python 会首先调用 hash(search_key) 计算 search_key 的散列值，把这个值最低的几位数字当作偏移量，在散列表里查找表元（具体取几位，得看当前散列表的大小）。若找到的表元是空的，则抛出 KeyError 异常；若不为空，则表元里会有一对 found_key:found_value，检验 search_key 和 found_key 是否相等，若相等，则返回 found_value。若不相等，这种情况称为散列冲突。

为了解决散列冲突，算法会在散列值中另外再取几位，然后用特殊的方法处理一下，把得到的新数值作为偏移量在散列表中查找表元，若找到的表元是空的，则同样抛出 KeyError 异常；若非空，则比较键是否一致，一致则返回对应的值；若又发现散列冲突，则重复以上步骤。

添加新元素跟上面的过程几乎一样，只不过在发现空表元的时候会放入这个新元素，不为空则为散列冲突，继续查找。

为什么字典是无序的

感谢每一个认真阅读我文章的人，看着粉丝一路的上涨和关注，礼尚往来总是要有的：

①　2000多本Python电子书（主流和经典的书籍应该都有了）

②　Python标准库资料（最全中文版）

③　项目源码（四五十个有趣且经典的练手项目及源码）

④　Python基础入门、爬虫、web开发、大数据分析方面的视频（适合小白学习）

⑤ Python学习路线图（告别不入流的学习）

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化学习资料的朋友，可以戳这里无偿获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！