Redis ZINCRBY 计数出现浮点误差时怎么取整

Redis 的 ZINCRBY 不是“整数计数器”，它给有序集合成员累加的是双精度浮点分值。连续累加 0.1、0.2 这类小数后，客户端可能看到多余的小数位；直接在页面上格式化，只是把误差藏起来，排行榜内部仍按原始分值排序。

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

先把排行榜分值从浮点改成可控的整数尺度

先定一个业务尺度：积分保留两位小数，就令 scale = 100。输入 1.25 分先转换为整数 125，输入 0.35 就转换为 35；Redis 中只累加这些整数，读出后再除以 100。这样“取整”发生在写入边界，而不是每次读榜时临时补救。

转换公式可以写成 stored = round(input × scale)，展示公式是 display = stored ÷ scale。关键是全链路只使用同一个 scale，不要让写入端按 100、读取端按 1000。

用 ZINCRBY 累加缩放后的分值

下面用一个两位小数的积分榜演示完整链路。Redis 官方文档说明，成员不存在时会以本次增量作为初始分值，命令时间复杂度为 O(log(N))；因此它适合做实时积分累加，但增量值应由应用先完成尺度转换。

# 清理演示键，避免旧成员影响本次验收
redis-cli DEL leaderboard:points

# 1.25 分按 100 倍存成 125，成员初始分值为 0
redis-cli ZADD leaderboard:points 0 user:1001
redis-cli ZINCRBY leaderboard:points 125 user:1001

# 再增加 0.35 分，仍然只传整数 35
redis-cli ZINCRBY leaderboard:points 35 user:1001
redis-cli ZINCRBY leaderboard:points 210 user:1002

# 读取高分到低分；应用层把分值除以 100 后展示
redis-cli ZREVRANGE leaderboard:points 0 -1 WITHSCORES

此时 user:1001 的存储分值是 160，展示值是 1.60；user:1002 是 2.10。如果只是最后显示两位小数而不要求内部精确，直接传浮点也能工作，但同一批相近分值可能因为二进制浮点表示产生难以解释的排序差异。

已有浮点排行榜怎么修复取整

迁移旧数据时不要把所有值直接转成整数后丢掉业务精度。先确定舍入规则，例如正负分都使用“半数向远离零方向取整”，再逐个读取、换算、回写。应用层可用十进制定点数完成这一步，避免修复脚本再次用二进制浮点计算。

from decimal import Decimal, ROUND_HALF_UP
import redis

# decode_responses 让成员名保持字符串，便于记录迁移结果
r = redis.Redis(host="127.0.0.1", port=6379, decode_responses=True)
key = "leaderboard:points"
member = "user:1001"
raw = r.zscore(key, member)
if raw is None:
    raise ValueError("成员不存在，不能盲目回写")

# 两位小数统一放大 100 倍，再按半入规则得到整数存储值
stored = int((Decimal(str(raw)) * 100).quantize(Decimal("1"), rounding=ROUND_HALF_UP))
r.zadd(key, {member: stored})
print(f"{member} -> {stored}，展示值为 {Decimal(stored) / 100:.2f}")

批量迁移时建议先在副本或小范围成员上运行，记录原始值、目标值和变更数量；不要在业务请求里一边读榜一边偷偷改分。迁移完成后，新写入路径也必须切换到同一个缩放规则，否则旧数据会再次被不同格式混合。

上线前验收：精度、排序和边界一起检查

如果分值本质上是次数而不是金额，优先直接使用整数增量，不要为了“看起来统一”引入小数。只有确实需要小数语义时，才选择固定尺度；精度越高，尺度越大，但也要确认不会超过应用语言和 Redis double 可安全表达的范围。

常见问题

ZINCRBY 能不能直接指定保留两位小数？

不能。它只负责按给定增量更新分值；保留几位、采用哪种舍入方式，应由写入端或迁移脚本决定。

只在前端 toFixed 一下够不够？

如果排序和结算都不依赖精确分值，可以只做展示格式化；积分榜、金额榜或并列判断依赖分值时，应采用整数缩放。

为什么不把分值存成字符串？

有序集合的排序依据是数值分数。把数字塞进 member 字符串不会改变 score 的浮点语义，也会让排序、更新和查询职责混乱。