【标题党】记一个关于Redis-4.0.1版本下zslGetElementByRank函数的诡异问题