如何在Redis的zrank中以相同的分数获得相同的排名?

https://github.com/antirez/redis/pull/2011 https://github.com/antirez/redis/issues/943

1. ZADD mem_2_score 1 a 2 b 3 c 3 d 5 e
2. ZADD score_2_rank 1 1 2 2 3 3 5 5

1. ZSCORE mem_2_score c 3
2. ZRANK score_2_rank 3 2

local hscores_key = KEYS[1]
local user = ARGV[1]
local increment = ARGV[2]
local new_score = redis.call('HINCRBY', hscores_key, user, increment)

local old_score = new_score - increment
local hcounts_key = KEYS[2]
local old_count = redis.call('HINCRBY', hcounts_key, old_score, -1)
local new_count = redis.call('HINCRBY', hcounts_key, new_score, 1)

local zdranks_key = KEYS[3]
if new_count == 1 then
  redis.call('ZADD', zdranks_key, new_score, new_score)
end
if old_count == 0 then
  redis.call('ZREM', zdranks_key, old_score)
end

local hscores_key = KEYS[1]
local zdranks_key = KEYS[2]
local user = ARGV[1]

local score = redis.call('HGET', hscores_key, user)
return redis.call('ZRANK', zdranks_key, score)