Redis SDIFFSTORE 怎样把集合差集存入目标键

如果一个业务集合要排除“试用用户”和“已付费用户”，再把剩余成员保存下来，SDIFF 只返回差集，而 SDIFFSTORE 会把差集直接写入目标键。它的基本读法是：第一个集合作为被减集合，后面的集合全部作为排除集合。

官方文档：https://redis.io/docs/latest/commands/sdiffstore/

下面用 members:all、members:trial 和 members:paid 说明完整调用，并把结果保存为 members:free。需要特别记住：目标键如果已经存在，会被这次计算结果覆盖；命令返回的是结果集中的成员数量，而不是目标键名称。

先把 SDIFFSTORE 的参数位置读清楚

官方语法是 SDIFFSTORE destination key [key ...]。其中 destination 是保存结果的目标键，后面至少有一个输入集合。第一个输入集合提供候选成员，第二个及之后的集合负责排除成员，因此可以把它理解成：

destination = key1 \\ (key2 ∪ key3 ∪ ...)

# 语法中 destination 是写入位置，key1 是被减集合
redis-cli SDIFFSTORE destination key1 key2 [key3 ...]

# members:all 中的成员，排除试用和付费集合后写入 members:free
redis-cli SDIFFSTORE members:free members:all members:trial members:paid

这里的集合是无序的，所以不要期待 SMEMBERS 按加入顺序返回结果。输入集合中的重复成员也只按一个成员参与集合运算，目标键保存的仍然是 Set。

用一个目标键保存可复用的差集

先准备三组 Set，再执行一次存储型差集。示例把所有会员作为候选，把两个已经被其他规则占用的集合排除，后续业务就可以直接读取 members:free，不必每次重新拼接差集命令。

# 清理演示键，避免旧的目标集合影响示例
redis-cli DEL members:all members:trial members:paid members:free

# 写入候选集合和两个排除集合；同一个 Set 中重复 SADD 不会产生重复成员
redis-cli SADD members:all u:101 u:102 u:103 u:104
redis-cli SADD members:trial u:102
redis-cli SADD members:paid u:104

# 把 all 减去 trial 和 paid 的结果保存到 free
redis-cli SDIFFSTORE members:free members:all members:trial members:paid

# 读取差集成员和数量；返回顺序不代表业务排序
redis-cli SMEMBERS members:free
redis-cli SCARD members:free

按照这组输入，members:free 的成员集合应当是 u:101 和 u:103，但展示顺序由 Set 的内部实现决定。命令本身返回整数 2，它表示本次结果集写入了两个成员。

目标键会覆盖什么，返回值又该怎么用

SDIFFSTORE 不会把新结果追加到目标 Set。目标键已存在时，旧内容会被新差集整体替换；如果目标键不存在，Redis 会创建它。因而目标键更适合看作“某次计算的快照”，而不是持续累积的日志。

如果原来的目标快照还要保留，可以先写入带批次或日期的临时目标键，再在业务层切换引用；不要在没有备份约定时直接复用唯一的目标键。这个选择属于数据生命周期设计，不是 SDIFFSTORE 自动提供的版本能力。

大集合和 Redis Cluster 中的两个边界

Redis 官方文档给出的时间复杂度是 O(N)，其中 N 是所有输入集合的元素总数。输入集合越大、排除集合越多，单次计算需要处理的数据就越多。若差集是周期性快照，可以降低刷新频率，或先确认候选集合是否已经按业务分片，避免在请求高峰重复计算同一份大集合。

另外，SDIFFSTORE 同时读取多个输入键并写入一个目标键，在 Redis Cluster 中属于多键写操作。相关键应使用相同的 hash tag，例如 {members}:all、{members}:trial、{members}:paid 和 {members}:free，让它们落在同一 hash slot；如果键分布到不同槽位，调用可能触发 CROSSSLOT，不能把单机上的命令直接照搬到集群。

# 用相同 hash tag 让相关 Set 共享同一个 hash slot
redis-cli SADD '{members}:all' u:101 u:102 u:103 u:104
redis-cli SADD '{members}:trial' u:102
redis-cli SADD '{members}:paid' u:104

# 集群中的多键写操作使用同一组 tag，目标键也放在同一组
redis-cli SDIFFSTORE '{members}:free' '{members}:all' '{members}:trial' '{members}:paid'

# 排查键的槽位归属；这里只观察键名映射，不把输出当作成员排序
redis-cli CLUSTER KEYSLOT '{members}:all'
redis-cli CLUSTER KEYSLOT '{members}:free'

常见问题

SDIFFSTORE 和 SDIFF 应该怎么选？

只需要临时读取差集时用 SDIFF；需要把结果保存为后续查询或其他命令可以复用的 Set 时用 SDIFFSTORE。后者会改变目标键，因此要先确认覆盖范围。

多个排除集合会按照传入顺序依次删除吗？

可以按“首个集合减去其余集合并集”来理解，重点是成员是否存在于任一排除集合，而不是把每个排除集合当成有序流水线。

为什么命令返回 0 但没有报错？

返回 0 表示差集为空，属于正常结果。只有命令语法、权限、键类型或集群槽位等条件异常时，才需要按错误信息排查。

总结

使用 SDIFFSTORE 时按四件事检查：第一个输入键是候选集合，后续键是排除集合；结果写到第一个参数指定的目标键；已有目标内容会被整体替换；返回整数表示结果成员数量。单机上先用短数据确认集合关系，进入 Redis Cluster 前再统一相关键的 hash tag，并把 O(N) 数据规模纳入刷新频率设计。