Redis 源码解析 - Redis sismember，scard，spop 命令学习

Redis 的 SISMEMBER, SCARD, 和 SPOP 命令分别用于集合数据类型的操作，分别用于判断成员是否在集合中、获取集合的成员数量以及从集合中弹出一个随机元素。了解这些命令的源码实现，可以加深对Redis集合数据结构操作的理解。

SISMEMBER 命令实现

• 源码位置：该命令的实现通常在t_set.c文件中，具体函数为sismemberCommand。
• 实现逻辑：Redis首先通过lookupKeyReadOrReply函数检查集合键是否存在。如果键不存在或不是集合类型，返回0（表示成员不在集合中）。接着，使用集合的底层数据结构（可能是intset或hashtable）来检查成员是否存在，返回1（存在）或0（不存在）。

SCARD 命令实现

• 源码位置：同样在t_set.c文件中，函数为scardCommand。
• 实现逻辑：通过lookupKeyReadOrReply函数检查集合键是否存在。如果键不存在或不是集合类型，返回0。然后，直接从集合的底层数据结构获取成员数量并返回。对于intset，成员数量是直接维护的信息；对于hashtable，则需要遍历哈希表统计成员总数。

SPOP 命令实现

• 源码位置：在t_set.c文件中，函数为spopCommand。
• 实现逻辑：首先，通过lookupKeyWriteOrReply检查集合键是否存在且是集合类型。如果集合为空，则返回nil。接着，根据集合的编码，选择合适的方法随机选取并移除一个元素。对于intset，可能需要先转换为hashtable。对于hashtable，Redis通常会随机选择一个桶开始遍历，直到找到一个非空桶并从中取出一个元素。操作是原子的，确保了集合状态的一致性。最后，返回被弹出的成员。

注意事项

• Redis集合操作的高效性部分归功于底层数据结构的选择和动态转换（如从intset到hashtable）。
• 这些命令的实现都考虑到了不同编码下的操作优化，以保持高性能。
• SPOP操作改变了集合的状态，体现了Redis集合的动态性，而SISMEMBER和SCARD则是只读操作，不会改变集合内容。

通过阅读这些命令的源码，可以深入了解Redis如何处理集合数据类型的各种查询和修改需求，以及它如何根据数据的实际存储格式（编码）做出优化决策。