手写布隆过滤器考察的是约束下的合理取舍能力:哈希函数选择、位图结构(uint64数组比[]byte更省内存且位操作更快)、动态扩容等。核心是理解误判率、哈希分散性与位操作边界,并从最简版本迭代实现。
为什么不用现成的 bloomfilter 库而要手写
面试时手写布隆过滤器,考的不是你背没背过算法,而是能不能在约束下做合理取舍:比如哈希函数怎么选、位图用 []byte 还是 uint64 数组、是否支持动态扩容。很多候选人一上来就抄 github.com/yourbasic/bloom,结果被问「如果要支持 1 亿个 key,内存超了怎么办」就卡住。
手写的关键在于控制变量——先实现最简可用版本(固定容量、双哈希),再逐步加特性。面试官真正想看的是你对「误判率」「哈希分散性」「位操作边界」这些点有没有真实踩过坑。
用 uint64 数组比 []byte 更省空间且更快
位图底层本质是 bit 级别操作。[]byte 虽然直观,但每次 set/get 都要算 index / 8 和 index % 8,还涉及掩码和移位;而 []uint64 可以直接定位到第 i/64 个元素,再用 1 做位运算,CPU 缓存更友好,实测吞吐高 15%~20%。
- 位图长度 =
(capacity + 63) / 64(向上取整到 uint64 个数) - 设位:用
bits[idx] |= 1 ,注意offset必须是 0~63,否则行为未定义 - 查位:用
(bits[idx] & (1 ,别漏括号,位运算优先级低 - 清空整个 filter:直接
bits = make([]uint64, size),Go 会自动 zero-initialize
hash64 函数必须避免负数模运算
Go 的 int64 % n 在被除数为负时结果仍为负,直接用于位图索引会 panic 或越界。常见错误写法:h1 % m —— 如果 h1 是负的,结果可能是 -5,导致 bits[-5] 访问非法内存。
正确做法统一转成非负余数: