Redis SINTERCARD 怎样只计算集合交集数量

如果业务只关心“几个 Redis 集合有多少个共同成员”，不需要把共同成员全部读出来，优先考虑 SINTERCARD。它直接返回交集基数，适合权限集合交集、标签命中数量和阈值判断；只有需要展示成员时，才使用 SINTER 或其他读取方案。

官方地址：https://redis.io/docs/latest/commands/sintercard/

最小写法是：

# 只计算三个集合的交集数量，不把成员列表写入临时键
redis-cli SINTERCARD 3 team:backend team:reviewer team:active

Redis 官方命令语法为 SINTERCARD numkeys key [key ...] [LIMIT limit]。其中 numkeys 必须和后面参与计算的键数量对应，返回值是一个整数，而不是成员数组。

只需要数量时，为什么不用 SINTER

SINTER 的结果是成员集合，调用方还要接收、解析或继续处理这些成员；当集合较大而业务只需要一个数量时，这些结果数据没有价值。SINTERCARD 把返回目标收窄为基数，适合“共同权限数是否达到要求”“多个标签交集有多少条”这类判断。

两者的选择可以按返回目标区分：

numkeys 不是集合数量的“估计值”

numkeys 是 Redis 解析命令参数的边界。它写成 3，Redis 就会把后面的三个键视为参与交集计算的集合；少写或多写都会让命令参数结构不符合预期。因此，应用代码拼接多个键时，不要把固定数字和键列表分开维护。

# 三个键就声明 3；注释说明参数边界，便于检查拼接逻辑
redis-cli SINTERCARD 3 set:android set:ios set:desktop

# 两个键就声明 2；不要把 numkeys 写成业务集合总数
redis-cli SINTERCARD 2 set:paid set:active

在封装层里，比较稳妥的做法是由同一个数组生成 numkeys 和键参数，避免增加或删除一个集合时只改了一处。这个约束属于命令参数组织，不是交集算法的筛选条件。

LIMIT 适合“达到阈值就够了”的场景

LIMIT limit 用来表达计数上限需求。当交集基数达到这个值时，Redis 可以在计算过程中停止继续寻找更多共同成员；因此它适合“至少有 5 个共同标签吗”这种只需要阈值结论的业务。

# 只关心是否达到 5 个共同成员；返回值达到 5 即可判定满足阈值
redis-cli SINTERCARD 3 set:a set:b set:c LIMIT 5

# 需要精确基数时省略 LIMIT；不要用一个很大的 LIMIT 代替精确计数
redis-cli SINTERCARD 3 set:a set:b set:c

如果把 LIMIT 设为 0，表示不设置提前停止限制，命令会计算完整的交集基数。选择时先问清楚业务要“精确数量”还是“是否达到阈值”，不要为了统一参数而给所有查询都加 LIMIT。

空集合、缺失键和 WRONGTYPE 怎么区分

Set 交集的结果有一个容易忽略的边界：只要参与计算的集合中有一个为空，交集基数就是 0。不存在的键在集合运算里通常按空集合参与计算，因此“键不存在”和“集合存在但没有成员”都可能得到 0；业务如果需要区分这两种状态，应额外读取键存在性或初始化状态。

# 缺失键按空集合参与交集，适合直接得到 0 个共同成员
redis-cli SINTERCARD 2 set:existing set:not-created

# 这个键若不是 Set 类型，会返回 WRONGTYPE；先确认数据类型边界
redis-cli TYPE set:maybe-hash
redis-cli SINTERCARD 2 set:maybe-hash set:other

SINTERCARD 不能把字符串、Hash 或 List 当作 Set 来计算。出现 WRONGTYPE 时，应修正键命名或数据写入路径，而不是用 LIMIT 或调整 numkeys 掩盖类型问题。

一段可复用的判断模板

如果代码只需要判断共同成员是否达到阈值，可以把返回整数直接与阈值比较；如果要展示共同成员，则切换到能返回成员的命令。两种路径的业务含义不要混用。

# 阈值判断只保留整数结果，避免无用的成员列表传输
count=$(redis-cli --raw SINTERCARD 3 role:editor project:alpha project:active LIMIT 3)

# 用数值比较判断是否至少有 3 个共同成员；失败时让脚本立即停止
if [ "$count" -ge 3 ]; then
  echo "共同成员达到阈值"
else
  echo "共同成员不足阈值"
fi

这个模板只表达命令结果的消费方式，不代表已经在本地执行。生产代码还应根据客户端库的返回类型处理网络错误、超时和权限错误。

常见问题

SINTERCARD 会返回共同成员列表吗？

不会，它返回交集基数。需要成员本身时，应选择能返回成员的集合命令，并评估结果数据量。

LIMIT 5 得到 5，真实交集一定只有 5 个吗？

不一定。它表达的是“至少达到 5”这一阈值结论，不能据此推断完整交集正好是 5 个；需要精确数量时不要设置提前停止限制。

numkeys 写错会怎样？

它会改变 Redis 对后续参数的解析边界，可能导致键参数不足、额外参数无法按预期解释或得到错误结果。封装命令时应让键列表长度和 numkeys 来自同一份数据。

什么时候应该先用 EXISTS 或 TYPE？

如果业务需要区分缺失键、空 Set 和错误数据类型，应先做状态判断；如果只关心共同成员数量，直接让 Set 交集语义返回 0 可能更简单。

总结：SINTERCARD 的价值是把“集合交集”收窄成“交集基数”。先确定是否需要成员，再决定使用精确计数还是 LIMIT 阈值计数，同时把 numkeys 与键列表绑定管理，就能避免大结果传输和参数边界错误。