结论：ThinkPHP 不封装 Redis ZSET 操作，须用 $redis = \think\facade\Cache::store('redis')->handler() 获取原生实例；键名需带业务前缀（如 rank:score），分数须为数值类型，查榜用 zRevRange(..., ['withscores' => true])，空值和缓存穿透须主动判空处理。
ThinkPHP 中用 Redis 有序集合实现排行榜的核心逻辑
直接说结论：ThinkPHP 本身不封装 Redis 有序集合（ZSET）的高级操作，必须通过原生 Redis 实例调用 zAdd、zRevRange、zRank 等命令，且要注意键名隔离、分数精度、空值处理这三点。
怎么在 ThinkPHP 里拿到可用的 Redis ZSET 客户端
别用 Cache::store('redis')->get() —— 这是缓存驱动，不支持 ZSET 命令。必须用 think\facade\Cache 的底层连接或直连：
- 推荐方式：用
think\facade\Cache获取原生实例：$redis = \think\facade\Cache::store('redis')->handler();（注意：TP6.0+ 支持，TP5.1 需改用\think\Cache::connect()） - TP5.1 用户更稳妥的做法是手动 new：
$redis = new \Redis(); $redis->connect('127.0.0.1', 6379);，但要自己管理连接和异常 - 务必确认配置中
redisstore 的host、port、password正确，否则zAdd会静默失败
排行榜增删查的典型写法和易错点
以「用户积分排行榜」为例，键名建议带业务前缀（如 rank:score），避免和其他 ZSET 冲突：
- 更新/新增用户分数：
$redis->zAdd('rank:score', $score, 'user_'.$uid);—— 注意：$score 必须是整数或浮点数，不能是字符串，否则排序错乱 - 查 Top 10（按分数降序）：
$redis->zRevRange('rank:score', 0, 9, ['withscores' => true]);—— 第三个参数必须是数组，['withscores' => true]才能同时拿到分数；漏掉就只返回 ID - 查某用户排名（从 0 开始）：
$rank = $redis->zRevRank('rank:score', 'user_'.$uid); // 返回 int 或 false—— 如果用户不存在，返回false，不是 -1，别直接 +1 - 删除过期用户：
$redis->zRem('rank:score', 'user_'.$uid);—— 不要用del整个 key，会清空全部数据
分数相同怎么稳定排序？TP 里要不要加时间戳
Redis ZSET 本身不保证同分时的顺序，插入先后不保留。如果业务要求「同分时按更新时间升序」，得把时间戳揉进 score：
立即学习“PHP免费学习笔记（深入）”；
- 方案一（推荐）：用微秒时间戳做小数部分，例如
$score + (microtime(true) - floor(microtime(true)))，确保唯一性但不影响主排序权重 - 方案二：改用复合键，如
zAdd('rank:score', $score, 'user_'.$uid.'_'.time())，但查榜时得额外解析 ID，麻烦 - 千万别用字符串拼接 score（如
"{$score}_".time()），Redis 会当字符串比大小，导致 100 > 999
实际跑起来后，最容易被忽略的是缓存穿透防护：查一个根本没进过榜的 user_id，zRevRank 返回 false，别直接 echo 或 JSON 输出，先判空。
