STL hashtable阅读记录

最新推荐文章于 2024-11-24 21:04:04 发布

deko2014

最新推荐文章于 2024-11-24 21:04:04 发布

阅读量215

点赞数

CC 4.0 BY-SA版权

文章标签：数据结构与算法 c/c++

原文链接：http://www.cnblogs.com/Commence/p/9057364.html

unordered_map,unordered_set等相关内容总结：

unordered_map和unordered_set是在开发过程中常见的stl数据结构。其本质是hashtable。在SGI_STL中，hashtable解决冲突的办法是拉链法。下面是一些对STL中堆hashtable中有关代码阅读的一些记录。

与之相关联的几个文件

gcc/ libstdc++-v3/ include/ bits/hashtable.h

gcc/ libstdc++-v3/ include/ bits/hashtable_policy.h

gcc/ libstdc++-v3/ include/ bits/functional_hash.h

gcc/ libstdc++-v3/ src/ c++11/hashtable_c++0x.cc

第一部分：基本数据组织说明

hashtable的重要数据组织成员及辅助理解图（一个可能的hash数据结构情况）

_Bucket[] _M_buckets

_Hash_node_base _M_before_begin

size_type _M_bucket_count // 初始桶编号为1

size_type _M_element_count

由上图可以大致总结出在SGI-STL中hashtable数据的组织。几个要点:

①.hashtable实际上是维护了一个单链标。其头节点是一个特殊的成员_M_before_begin，其没有实际的数据。按照名字来理解，是第一个数据的前一个节点。

看一下对应的相关注释：

The non-empty buckets contain the node before the first node,this design makes it possible to implement somethiing like a std::forward_list::insert_after on a container insertion and std::forward_list::erase_afer on container erase calls._M_before_begin is equivalent to std::forward_list_list::before_begin.Note that one of the non-empty buckets contains &_M_before_begin which is not a dereferenceable node so the node pointer ina bucket shall never be dereferenced ,only its next node can be.

②._M_buckets这个二级指针的作用是什么，其目的是为了通用的可以使用_M_next()函数调用拿到每个桶的头节点（对于上图就是A，D）。比如_M_buckets[1]._M_next就是桶号为1的头结点A。_M_buckets[2]._M_next就是桶号为2的数据结构的头结点D。同时对于上图示例，应当有_M_before_begin和_M_buckets[1]是相等的（见黑色实线）

第二部分：几个常见接口的调用流程及调用栈

hashtable的定义

一些方便查阅的 using和typedef

①.插入的key是如何生成的

1.对于简单类型（int等）：key计算的相关代码 const key_type& __k = this->_M_extract()(__node->_M_v())

计算key值是通过_M_extrace()来计算的，其是模板参数中的_ExtraceKey,

对于unordered_map在其定义中其模板参数中_ExtraceKey是__detail::Select1st 当定义为unordered_map<int,node>,insert(std::make_pair(0,node(a)); 其就返回pair中的first，即0。

对于如果定义类似于key不是简单类型的。需要自己定义hash函数否则不能通过编译，举例 https://www.zhihu.com/question/30921173

struct pairhash {public:

template <typename T, typename U>

std::size_t operator()(const std::pair<T, U> &x) const

{

return std::hash<T>()(x.first) ^ std::hash<U>()(x.second);

}};

class abc {

std::unordered_map<std::pair<int,int>, int, pairhash> rules;

};

在这种情况下。__detail::Select1st获取到的数据就是std::pair<int,int>作为key对应的值

②.hash值如何生成

__hash_code __code = this->_M_hash_code(__key); ======> return _M_h1()(__k); ======> 在key为int的时候传递的参数是std::hash<int>

其最后会调用一个宏_Cxx_hashtable_define_trivial_hash(int)，其在文件functional_hash.h中,该文件内涵多种不同类型的特化hash类。该文件定义了这些简单类型是如何hash的，下面是该宏的定义,看到这种情况下，其hash值就是直接强转成size_t类型。

③.如何确定一对pair的hash桶编号 size_type __bkt = _M_bucket_index(__k,__code) ====> return ___hash_code_base::_M_bucket_index(__k,__c,_M_bucket_count); } ====> return _M_h2()(__c,__n);

其中_M_h2获取的是模板参数_H2,对于unordered_map传递进来的是__detail::_Mod_range_hashing,其内容很简单。