redis zset score的计算

Redis ZSet（有序集合）的 score（分数）是其核心特性，它决定了集合中成员的排序。理解 score 的计算方式，尤其是在复杂场景下的应用，能让你更好地使用 ZSet。

下面是几种常见的 Redis ZSet score 计算方式对比，方便你快速了解：

计算方式	公式	优点	缺点	适用场景
单一分数	`score = 原始分数`	简单直观	分数相同时按成员字典序排序，无法自定义次要规则	简单的排行榜，分数不会重复或重复时顺序不重要
复合分数（整数）	`score = 原始分数 * 放大系数 + (MAX_TIMESTAMP - 时间戳)`	精度高，避免浮点数问题，可解析出原始数据	计算稍复杂，需谨慎选择放大系数以防溢出	需要精确控制排序且需解析回原始数据的场景
复合分数（小数）	`score = 原始分数 + (1 - 时间戳 / 放大系数)`	实现相对简单	可能存在浮点数精度问题，无法精确解析出原始时间戳	对精度要求不极端，更注重实现便捷性的场景

当需要分数相同时，按时间先后排序 （通常是最早达到该分数的排名更靠前）时，核心思路是将时间戳信息编码到 score 中，确保在原始分数相同的情况下，时间戳能决定最终的顺序。

这种方法通过将原始分数放大足够的倍数（通常使用 1e13），然后加上一个经过处理的时间戳值，确保原始分数占据高位，时间戳占据低位。

公式如下：

复制代码

score = raw_score * 1e13 + (MAX_TIMESTAMP - timestamp)

计算过程：

raw_score * 1e13: 将原始分数放大，使其占据 score 的高位 。例如，原始分数 100会变成 1000000000000000。
(MAX_TIMESTAMP - timestamp): 计算出一个倒时间差。时间戳越小（时间越早），这个值就越大。
将两者相加：高位决定主要排序，低位（时间差）在分数相同时决定先后 。时间越早，(MAX_TIMESTAMP - timestamp)值越大，排序时就越靠前。

示例：

假设 MAX_TIMESTAMP = 4102444800000(2100年), raw_score = 100, timestamp_user1 = 1720663200001(稍早), timestamp_user2 = 1720663200002(稍晚)。

user1 最终分数: 100 * 1e13 + (4102444800000 - 1720663200001) = 1000000000000000 + 2381781600000
user2 最终分数: 100 * 1e13 + (4102444800000 - 1720663200002) = 1000000000000000 + 2381781599999

user1 的最终分数 > user2 的最终分数，所以 user1 会排在 user2 前面。

这种方法将时间戳信息作为小数部分附加到原始分数上。

公式如下：

复制代码

score = raw_score + (1 - timestamp / MAX_TIMESTAMP)

计算过程：

示例：

raw_score = 100, timestamp_user1 = 1720663200001, timestamp_user2 = 1720663200002, MAX_TIMESTAMP = 1e13。

user1 的最终分数 > user2 的最终分数，所以 user1 排名更靠前。

精度问题 ：使用小数法（方法二）时，需警惕浮点数精度损失可能导致的排序异常。整数放大法（方法一）通常更可靠。
时间戳选择 ：推荐使用毫秒级时间戳以获得更好的区分度。确保时间戳的单调递增性。
放大系数选择 ：整数法中，放大系数必须足够大（如 1e13），要确保能覆盖原始分数的最大值，并为时间戳部分留出足够空间，防止数值溢出或重叠。
分数范围：组合后的 score 是一个数值，需确保其在 Redis 和你的编程语言所能处理的数值范围内。
解析原始数据：存入组合 score 后，从 ZSet 中读取的 score 是组合后的值。若需要显示原始分数或时间，需编写相应的解析函数。
- 对于整数法：原始分数 = floor(combined_score / 1e13)
- 对于小数法：原始分数 = floor(combined_score)(可能因精度问题有误差)

ZSet 的底层实现通常是跳跃表 (SkipList) + 哈希表 (HashTable) 的组合：

跳跃表 ：负责维护元素按 score 有序 ，支持高效的范围查询（如 ZRANGE）。插入、删除、按得分查询的时间复杂度平均为 O(log N)。
哈希表 ：存储 member -> score的映射，用于快速查找 特定成员的 score（如 ZSCORE命令，时间复杂度 O(1)）。

这种双结构设计使得 ZSet 既能高效排序，又能快速访问。

选择哪种 score 计算方式，取决于你的具体需求：

在实际使用时，请根据你的原始分数范围、时间戳精度和排序需求谨慎选择公式和参数。