反射构造HashMap

在构造CC6利用链时,由于使用HashMap#put来放入TiedMapEntry对象,导致提早触发hashCode,牵动整条利用链(直接自己打自己了) 由于触发了一次调用链,LazyMapmap中多出了一个key,后面生成的payload就打不了了。即下面的map.containsKey(key)判断为true,进不到factory.transform(key)

public Object get(Object key) {
    // create value for key if key is not currently in the map
    if (map.containsKey(key) == false) {
        Object value = factory.transform(key);
        map.put(key, value);
        return value;
    }
    return map.get(key);
}

一个解决方法就是sink处改成无害的操作,put之后用LazyMap#remove将前面的键值对移除,再用反射把sink修改回去。

但有时候不好直接移除键,或者sink不好修改。这时候可以考虑用反射来构造HashMap。 学过数据结构的都知道,哈希表可以由数组+链表实现,数组每个元素存储链表头,如果有多个键值索引到同一个地方,只用把他们都放到那个位置的链表里就行了。出现哈希冲突时,只需把对应位置的链表整个扫一遍,对其中的每个数据比较其键值与查询的键值是否一致。大概长下面的样子

image-20240303214909052

HashMap的底层实现就是哈希表,对应属性Node<K,V>[] table,是一个Node数组,Node实际上就是一个链表节点,next指向下一个节点。每个节点都是一个键值对。

image-20240303214932646

接下来我们来看一下HashMap#put都做了什么

image-20240303214950357

key进行了哈希

image-20240303215007703

put就是这里触发了key.hashCode 接着进到putVal

image-20240303215023098

table为null或长度为0就重新初始化table大小,这里可以看到table的起始大小为16。 接着长度-1和键的哈希值进行与操作,作为键值对的存放位置。 table的这个位置若是空的,新建一个Node放进入(newNode()) 这是不发生哈希冲突的情况。 若产生了哈希冲突,则遍历链表,若找到key相等的节点,则更新该节点的值,否则在链表尾部插入新节点。

image-20240303215127791

插入新节点后,会对modCountsize进行加一操作。

image-20240303215141310

👍很符合哈希表的工作方式。 由上面的过程可以看出put操作本质就是对table的操作,下面用反射来模拟这一过程,修改CC6的构造。

Last updated

Was this helpful?