Redis ZSet 在 score 相同时，通过 “固定排序规则+value 唯一性” 双重保障，实现排序结果的绝对稳定，核心逻辑可拆解为两点：
1. 核心保障：基于 value 二进制字典序的“确定性排序”
当多个元素 score 相同时，Redis 会强制按照元素 value 的二进制字节序列 进行字典序排序（升序），且该规则是固定且唯一的：
二进制字典序的比较逻辑是“逐字节按 ASCII 码大小对比”，结果完全由 value 本身决定，不受插入顺序、服务重启等外部因素影响。
示例：若 value 为 "a1"、"a2"、"a0"，即使按 "a2"→"a0"→"a1" 的顺序插入，最终因 "a0" 二进制字节小于 "a1"，"a1" 小于 "a2"，排序结果始终是 "a0"→"a1"→"a2"。
2. 底层支撑：ZSet 对 value 唯一性的强制约束
ZSet 的核心特性是“value 不可重复”（每个 value 对应唯一的成员），这为稳定排序提供了底层支撑：
若存在重复 value，会导致 score 相同时出现“无法区分的元素”，破坏排序确定性；而 ZSet 通过 ZADD 命令的逻辑（重复 value 会覆盖原 score，而非新增元素），确保每个 value 唯一。
唯一的 value 结合固定的二进制字典序规则，使得“score 相同的元素集合”始终能产出唯一、不变的排序结果，不存在“相同 value 导致排序波动”的问题。
总结
Redis ZSet 无需额外维护“插入顺序”等标识，仅通过 “value 唯一性 + 固定二进制字典序” ，就实现了 score 相同时排序结果的稳定性——无论元素插入顺序如何、服务是否重启，只要 value 和 score 不变，排序结果就完全一致。
