SPOP 是什么
SPOP 从集合中随机删除并返回成员，可以一次弹出一个或多个。它与 SRANDMEMBER 的区别很关键：SRANDMEMBER 只读，SPOP 会把成员真正删掉。因此 SPOP 适合「一个成员只能被取走一次」的场景，例如抽奖、随机派单、库存去重；如果只是想做随机展示，用 SPOP 会把集合一次次删空。
基本信息
| 语法 | SPOP key [count] |
|---|---|
| 返回 | 被弹出的成员，随成员随机；集合为空时返回 nil |
| 副作用 | 成员被真正删除，属于破坏性操作 |
| 只读替代 | SRANDMEMBER，随机取但不删除 |
| 剩余数量 | SCARD 查看集合当前基数 |
典型使用场景
- 抽奖池随机抽出中奖者，且保证不会重复中奖
- 随机派单，把任务分给不同的人力
- 库存去重，取走即视为被消费
- 从待处理集合中随机取出元素处理
- 验证抽空之后集合与命令返回值的变化
弹出与只读对比
弹出与只读对比
SADD pool:prize p1 p2 p3 p4 p5
SPOP pool:prize # 随机弹出一个（已从集合删除）
SPOP pool:prize 2 # 随机弹出两个
SCARD pool:prize # 查看剩余数量
SPOP pool:prize # 反复调用直到返回 nil，表示已抽空
SRANDMEMBER pool:prize 2 # 只读随机取，不删除成员
SMEMBERS pool:prize # 查看剩余成员，仅适合小集合命令与副作用
| 命令 | 是否删除成员 | 适用场景 |
|---|---|---|
| SPOP | 会删除 | 需要取走即消费的场景 |
| SPOP 带 count | 一次删除多个 | count 超过基数时相当于全部取走 |
| SRANDMEMBER | 不删除 | 只读随机展示或抽样 |
| SRANDMEMBER 负 count | 不删除，可能重复 | 允许重复的抽样场景 |
| SCARD | 只读计数 | 判断池子里还剩多少成员 |
SPOP 有删除副作用，不能当作只读随机抽样来用：用它做展示抽样，成员会被一次次删掉，展示几次集合就空了，而且无法恢复。
集合为空或键不存在时 SPOP 返回 nil，业务代码要把这当作「已经抽完」的正常分支，而不是异常上报，否则监控里会堆满假告警。
SPOP 保证的是「不重复取出」，而不是「可证明公平」：涉及合规要求的抽奖场景，还需要额外的可审计机制来记录抽取过程与结果。