Redis整数集合为什么不支持降级？

在讨论redis的整数集合的时候，我们一直知道的是整数集合支持升级，但是不支持降级，其中的原因有仔细想过吗？
先说一下升级：当我们要将一个新元素添加到整数集合里面，并且新元素的类型比整数集合现有所有元素的类型都要长时，整数集合需要先进行升级，然后才能将新元素添加到整数集合里面。
再来谈谈为什么不支持降级？假设支持降级，这里要问两个问题：

1. 什么时候降级？
2. 降级到何种级别的数据类型？

什么时候降级？

可能我们会说当删除最后一个最大类型比如int64的元素时降级，那么为了确定集合里面没有int64的元素，我们需要遍历一边集合，复杂度O(n)，因为当我们删除一个集合当前最大类型的元素时，我们无法确定集合是否还有真的是需要最大类型存储的数据，如果要确定的话，得进行元素的遍历。
而且就算我们通过遍历确认可以降级了就真的可以降级吗？如果降级之后插入一个大类型的元素又会升级，如果频繁的插入删除这个大类型元素，那么会频繁的升降级，这个性能开销会比较大，这里我联想到了java8中HashMap当单个bucket中的元素个数大于等于8时会转换成红黑树，但是当节点减少到6而不是7时再转回链表，就是为了避免频繁来回转化

降级到何种级别的数据类型？

在升级的时候我们知道会将所有的元素升级到新加入的大类型的元素的类型，那么降级的时候如何确定降级到何种合适大小的类型呢？这还是得全部遍历才能确定。

综上，整数集合不支持降级