Redis BITOP 怎么做位图分群：AND、OR 与结果集内存边界

用户分群接口突然从几十毫秒涨到几百毫秒，慢点不一定在读取用户资料，也可能是一次 BITOP 把很长的 Bitmap 合并到了主实例。排查这类问题时，先把“分群逻辑是否正确”和“位图运算是否值得现在做”分开，结果会清楚很多。

BITOP 会把多个 String 形式的 Bitmap 按位运算后写入目标键；AND 适合取交集，OR 适合取并集，但运算成本按最长输入字符串增长，长位图要单独核对执行位置和结果键生命周期。

先用 BITCOUNT 看清分群基线

假设用户是否活跃、是否购买过会员分别写在两个 Bitmap 中：用户编号就是 bit offset。先不要急着合并，先记录两个输入的数量和存储长度。

redis-cli SETBIT cohort:active 1001 1
redis-cli SETBIT cohort:vip 1001 1
redis-cli SETBIT cohort:vip 2048 1
redis-cli BITCOUNT cohort:active
redis-cli BITCOUNT cohort:vip
redis-cli STRLEN cohort:active
redis-cli STRLEN cohort:vip

BITCOUNT 返回已置为 1 的 bit 数，STRLEN 返回 Bitmap 对应 String 的字节数。两组数字一起记录，后面才能判断是人群真的变了，还是输入位图出现了异常膨胀。

用 BITOP AND 生成交集分群

只想找“活跃且会员”的用户时，把目标键放在第一个参数位置，输入键放在后面。这个动作会覆盖同名目标键，因此目标键最好使用带日期或批次的临时命名。

redis-cli BITOP AND cohort:target cohort:active cohort:vip
redis-cli BITCOUNT cohort:target
redis-cli STRLEN cohort:target

返回值是写入目标 String 的字节数；它不等于分群人数，所以验收时要再执行一次 BITCOUNT cohort:target。如果两个输入长度不同，目标长度按最长输入计算，尾部缺失部分按零处理。

OR、XOR 和目标键覆盖分别意味着什么

OR 用于“满足任一条件”，XOR 用于“只满足其中一个条件”。它们都把结果保存到目标键，不能把目标键当成只读表达式来理解。

redis-cli BITOP OR  cohort:any  cohort:active cohort:vip
redis-cli BITOP XOR cohort:only  cohort:active cohort:vip
redis-cli BITCOUNT cohort:any
redis-cli BITCOUNT cohort:only

如果目标键已经存在，新的运算结果会替换旧 String。分群结果只是一次计算快照时，可以给目标键设置合理的过期时间；如果它要作为审计依据，则应先用批次键保存，再由业务层决定何时清理。

长位图的 O(N) 成本怎么验收

Redis 官方把 BITOP 标为 O(N)，N 与输入 String 的长度相关。这里的“长度”不是用户数量：只要某个用户编号很大，Bitmap 中间的空位也会让 String 变长。

redis-cli STRLEN cohort:active
redis-cli STRLEN cohort:vip
redis-cli BITOP AND cohort:target cohort:active cohort:vip
redis-cli BITCOUNT cohort:target

当目标只是统计和筛选，不能只盯着 BITCOUNT 的人数结果，还要观察命令执行期间的延迟。输入很长时，官方文档建议考虑在开启只读副本的 replica 上做位运算，避免把主实例的写入路径拖慢；这不是自动加速，仍需要按业务复制延迟和结果新鲜度验收。

三个容易把结果看错的边界

• 把 BITOP 返回值当人数：返回的是目标 String 的字节数，人数要用 BITCOUNT。
• 忽略稀疏 offset：用户编号直接做 bit offset 会把最大编号附近的空间也纳入长度，需先确认编号范围。
• 把不存在的 key 当异常：不存在的输入会按零字节参与运算，但这可能让结果全为 0，发布前要核对 key 名称。

相关问答

BITOP 能直接返回 Bitmap 中的用户 ID 吗？

不能。BITOP 只生成结果 String，应用仍要通过 BITPOS、GETBIT 或自己的编号映射读取置位位置。

BITOP AND 为什么结果键看起来比用户数大？

结果键的长度按最长输入 String 计算，用户数是 BITCOUNT 的结果，两者统计对象不同。

能不能把目标键和输入键写成同一个键？

可以表达覆盖式计算，但不利于复核和回滚。线上分群更建议使用独立批次键，完成核对后再设置过期时间。

小结

BITOP 适合把多个 Bitmap 的条件组合成一个可复用结果：先用 BITCOUNT 与 STRLEN 建基线，再选择 AND、OR 或 XOR，最后分别验收人数、字节长度和命令延迟。真正需要警惕的不是命令语法，而是稀疏 offset 造成的长 String，以及在主实例上执行 O(N) 运算的时机。