目前的gold_hash_map 实现中,index和data是耦合在一起的。
今天在思考 onfly MinADFA 的进一步优化时,想到了一点:在MinADFA_onfly 中,equivalence_register是一个gold_hash_tab,它以 state_id 为 elem,以StateContent 为key,再深入思考,其实这个state_id 没有存在的必要,equivalence_register中保存 state_id 的数组只要和state 数组平行,这个 state_id 的存储就可以省掉,直接将 state 数组的下标作为 elem就可以了,对每个state可以节省4个字节。
但是,目前的 gold_hash_tab做不到这一点,因为它的 hashindex 和data 是耦合在一起的,要做到这一点,必须解耦。需要仔细思考一下,看如何将这个解耦做的更优雅:接口简单,功能强大,鲁棒性高。如果做到了这一点,NFA to DFA 转化中使用的比较丑陋的trick 也就可以用更优雅的方式表达了。