Redis Array 结构保存稀疏字符串序列的方式

Redis Array 适合什么样的稀疏序列

一个设备有一百万个可能槽位，但当前只有 0、5、9 和 1000000 号位置保存字符串。用 List 表示会把“位置”和“元素顺序”混在一起，用 Hash 虽然能做稀疏映射，却缺少面向整数索引的范围读取与聚合语义。Redis Array 正是为这类按整数索引寻址、允许大量空洞的字符串序列准备的。

官方说明：https://redis.io/docs/latest/develop/data-types/compare-data-types/

Redis Array 从 Redis Open Source 8.8 开始提供，元素值是字符串或二进制数据，索引访问为 O(1)。在索引 1000000 写入一个值，不会为了前面一百万个空位逐一分配元素。

Array 的“长度”是最高已占用索引加一，而不是实际元素个数。稀疏场景必须同时理解 ARLEN 和 ARCOUNT。

先确认服务端是否支持 Array 命令

Array 是较新的 Redis Open Source 数据类型。部署前不要只看客户端库版本，应直接询问目标服务端是否识别 ARSET。如果返回空信息或未知命令，说明当前实例不能按本文方式使用。

# 查看 Redis 服务端版本，确认是否达到 8.8 或更高
redis-cli INFO server

# 直接询问服务端是否注册 ARSET 命令
redis-cli COMMAND INFO ARSET

官方兼容表目前将 Redis Software 和 Redis Cloud 的标准、Active-Active 数据库标记为不支持这组 Array 命令，因此托管环境尤其需要先核对实例能力。即使服务端支持，较旧客户端也可能尚未封装高阶方法，此时可使用客户端的原始命令接口。

用 ARSET 写入离散位置

ARSET key index value [value ...] 从指定索引开始写入一个或多个连续值。索引不连续时可以分多次写，或使用 ARMSET 一次提交多个“索引-值”对。

# 在索引 0 写入第一个字符串
redis-cli ARSET sensor:labels 0 alpha

# 在索引 5 和 9 写入离散字符串，中间位置保持空洞
redis-cli ARMSET sensor:labels 5 beta 9 gamma

# 在很远的索引写入值，不会创建一百万个中间元素
redis-cli ARSET sensor:labels 1000000 tail

如果连续位置都有数据，也可以在一次 ARSET 中顺序给出多个值。业务上应先固定索引含义，例如“索引等于传感器编号”或“索引等于时间桶编号”，不要同时把索引当作可变排序位置。

随机读取用 ARGET，多点读取用 ARMGET

ARGET 根据一个索引读取值，适合热点位置查询；ARMGET 在一次请求中读取多个指定索引，能减少网络往返。空洞位置会返回空值，和存储了空字符串的槽位不是同一个状态。

# 读取已存在的索引 5，预期得到 beta
redis-cli ARGET sensor:labels 5

# 读取不存在的索引 6，返回空值而不是自动补空字符串
redis-cli ARGET sensor:labels 6

# 一次读取多个离散位置，保持请求中的索引顺序
redis-cli ARMGET sensor:labels 0 5 6 1000000

客户端解析响应时要保留空值，不能先过滤再按数组下标回填，否则索引 6 的空洞会造成后续值错位。

先看清稀疏索引的两个数字

完成上面的四个写入后，最高索引是 1000000，因此 ARLEN 返回 1000001；实际只存在 4 个非空元素，所以 ARCOUNT 返回 4。

# 返回逻辑跨度：最高已占用索引加一
redis-cli ARLEN sensor:labels

# 返回实际非空元素数量，适合计算占用规模
redis-cli ARCOUNT sensor:labels

这两个指标回答不同问题：ARLEN 适合判断索引空间延伸到哪里，ARCOUNT 适合判断当前存了多少元素。用 ARLEN 计算稀疏数组的占用率时，可以用 ARCOUNT / ARLEN，但要注意最高索引非常大时这个比例会很小，并不代表结构异常。

范围读取要区分空洞是否有意义

如果调用方需要“每个位置都和屏幕格子对齐”，使用 ARGETRANGE，它按索引范围返回值并保留空洞。若只关心实际存在的元素，使用 ARSCAN，它返回索引和值的配对并跳过空位置。

# 读取 0 到 10 的完整位置窗口，结果包含空洞占位
redis-cli ARGETRANGE sensor:labels 0 10

# 只扫描 0 到 10 中已存在的元素，返回索引和值对
redis-cli ARSCAN sensor:labels 0 10

# 限制最多返回两个已存在元素，避免一次响应过大
redis-cli ARSCAN sensor:labels 0 1000000 LIMIT 2

不要对超大稀疏区间随意执行 ARGETRANGE 0 1000000，因为完整范围读取需要为每个逻辑位置返回结果。只处理已占用位置时，ARSCAN 更符合数据形态；官方复杂度说明指出，它的典型成本接近范围内的现有元素数，但最坏情况仍受访问区间影响。

删除元素不会把后续索引向前移动

ARDEL 删除指定索引，ARDELRANGE 删除一个或多个范围。删除中间元素会留下空洞，不会像 List 删除节点那样改变后续元素的位置。

# 删除索引 5，索引 9 和 1000000 保持原位置
redis-cli ARDEL sensor:labels 5

# 复查实际元素数量，ARCOUNT 会立即减少
redis-cli ARCOUNT sensor:labels

# 复查逻辑长度；只要最高索引仍存在，ARLEN 不变
redis-cli ARLEN sensor:labels

如果删除的是当前最高索引，ARLEN 会下降到新的最高已占用索引加一。应用不能把 ARLEN 当作永远递增的序列号；需要单调编号时，应在业务层维护独立计数器，或使用 ARINSERT 的内部游标语义。

什么时候选 Array，而不是 List 或 Hash

Array 不是 List 的通用替代品。它最有价值的场景，是索引本身就是业务坐标，而且空洞很多：设备端口状态、传感器编号、分片标签、按时间桶保存的稀疏读数等。

采用前需要观察的三项指标

第一，比较 ARCOUNT 和 ARLEN，确认数据确实稀疏；如果两者长期接近，普通连续结构可能已经足够。第二，统计读取模式：多数请求是单点 ARGET、少量 ARMGET，还是大范围 ARGETRANGE。第三，核对服务端、托管平台和客户端库的兼容性，避免在本地新版本可用、线上实例却不识别命令。

迁移时可先为一小组键双写旧结构与 Array，对比读取结果和内存，再逐步切换。不要在尚未确认命令支持时直接删除旧数据模型。

常见问题

Redis Array 能存数字吗？

元素本质是字符串或二进制值。可以存数字文本，并使用 AROP 做官方支持的聚合，但它不是带类型约束的数值数组。

索引能用负数吗？

建模时应使用文档定义的整数索引规则，并以目标版本命令页为准。对于跨客户端项目，优先使用非负业务索引，减少不同封装层的参数校验差异。

ARSCAN 和普通 SCAN 是一回事吗？

不是。SCAN 遍历数据库中的键；ARSCAN 在一个 Array 键的指定索引范围内返回已存在的“索引-值”对，而且没有普通 SCAN 的游标协议。

参考资料

• Redis 数据类型比较：https://redis.io/docs/latest/develop/data-types/compare-data-types/
• Redis 8.10 命令参考中的 Array 命令：https://redis.io/docs/latest/commands/redis-8-10-commands/
• ARSCAN 命令：https://redis.io/docs/latest/commands/arscan/
• Redis Software 与 Redis Cloud 数据类型命令兼容表：https://redis.io/docs/latest/operate/rs/references/compatibility/commands/data-types/