不使用shift()实现数组前端元素移除，自定义队列方案是否可行？

你的核心思路非常正确：通过维护一个起始索引indexOfFirst，替代传统shift()/unshift()的数组元素批量移动操作，确实能大幅降低CPU开销，尤其是在队列元素数量较大的场景下，这个性能优势会很明显。不过现有实现存在几个细节问题，以及可以优化的地方：

现有实现的问题 #

1. 稀疏数组问题
   使用delete this.vals[this.indexOfFirst]会在数组中留下空洞（形成稀疏数组），虽然不影响队列的核心功能，但数组的length不会随之减少，后续如果对vals进行遍历（比如for...in或直接遍历数组索引），会遇到这些undefined的空洞，可能引发非预期行为。而且delete操作本身也有额外的性能开销，其实完全可以省略——因为indexOfFirst已经标记了队列的起始位置，之前的元素不会再被访问，保留它们不会影响队列逻辑。

2. 负索引导致的数组结构异常
   当多次调用unshift()时，indexOfFirst会变成负数，此时往vals[this.indexOfFirst]赋值会将元素存储为数组对象的普通属性（而非数组的索引元素），虽然shift()能正常取出这些元素，但数组的length不会变化，长期频繁操作可能积累大量无效属性，占用额外内存。

3. 缺少队列长度获取方法
   当前没有直接获取队列有效元素数量的途径，使用起来不方便。

优化建议 #

1. 移除delete操作
   删掉shift()里的delete语句，仅通过indexOfFirst++标记起始位置即可，既节省性能，又避免稀疏数组问题。

2. 定期整理数组，避免内存浪费
   当indexOfFirst的绝对值过大（比如超过当前vals.length的2倍）时，将队列的有效元素复制到新数组，重置indexOfFirst为0，清理无效的属性和空洞：

   class MyQueue {
     vals = [1,2,3];
     indexOfFirst = 0;
   
     // 新增整理方法
     _trim() {
       const newVals = [];
       // 收集所有正索引的有效元素
       for (let i = this.indexOfFirst; i < this.vals.length; i++) {
         newVals.push(this.vals[i]);
       }
       // 处理负索引的元素
       if (this.indexOfFirst < 0) {
         for (let i = this.indexOfFirst; i < 0; i++) {
           if (this.vals.hasOwnProperty(i)) {
             newVals.unshift(this.vals[i]);
           }
         }
       }
       this.vals = newVals;
       this.indexOfFirst = 0;
     }
   
     shift(){
       // 整理时机：起始索引超出数组长度范围时触发
       if (Math.abs(this.indexOfFirst) > this.vals.length * 2) {
         this._trim();
       }
       const val = this.vals[this.indexOfFirst];
       this.indexOfFirst++;
       return val;
     }
   
     unshift(val){
       if (Math.abs(this.indexOfFirst) > this.vals.length * 2) {
         this._trim();
       }
       this.indexOfFirst--;
       this.vals[this.indexOfFirst] = val;
     }
   
     pop(){
       return this.vals.pop()
     }
   
     push(v){
       return this.vals.push(v);
     }
   
     // 新增获取队列长度的方法
     size() {
       if (this.indexOfFirst >= 0) {
         return this.vals.length - this.indexOfFirst;
       } else {
         // 负索引时，有效元素数为数组长度 + 起始索引的绝对值
         return this.vals.length + Math.abs(this.indexOfFirst);
       }
     }
   }
   

3. 补充边界处理
   比如当队列为空时，shift()会返回undefined，可以根据需求添加提示或抛出异常，让逻辑更严谨。

总结 #

这个方案的核心设计是高性能队列的常见实现思路（类似环形队列的简化版），完全可以投入使用，优化后能解决现有实现的潜在问题，让队列逻辑更健壮、内存使用更合理。

内容的提问来源于stack exchange，提问作者Alexander Mills