java中priorityqueue使用object[]而非e[]存储元素，是为了绕过泛型擦除限制：因运行时无e的具体类型信息，无法安全创建e[]数组；改用object[]配合编译器隐式转型与调用方强转，既保障堆操作通用性，又维持类型安全。

Java中PriorityQueue不直接使用泛型数组，而是用Object[] queue来存储元素——这是为绕过Java泛型擦除限制而做的关键设计。它不是“泛型数组”，而是**类型擦除后安全的原始对象数组**，所有元素在存入前被强制转型为Object，取出时再按声明类型（如Integer、String）安全强转。

为什么不用E[] queue？

因为Java泛型在编译后被擦除，运行时无法获取具体类型信息，无法安全创建E[]（会触发unchecked警告甚至ClassCastException）。JDK选择transient Object[] queue，既规避了类型创建问题，又保证了堆操作（上浮/下沉）的通用性。

• 插入时：queue[size] = (Object) e —— 编译器插入隐式转型，不抛异常
• 取出时：(E) queue[0] —— 由调用方承担类型安全责任（如poll()返回E）
• 比较逻辑完全交给Comparator super E>或元素自身的Comparable实现，与数组类型无关

数组下标与堆结构的映射关系

无论元素实际类型如何，queue始终按完全二叉树逻辑组织：

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

• 根节点在index = 0
• 位置i的左子节点在2*i + 1，右子节点在2*i + 2
• 位置i的父节点在(i - 1) >>> 1（无符号右移，比(i-1)/2更安全，避免负数问题）

这套索引规则只依赖数组长度和整数运算，与泛型类型零耦合，因此能稳定支撑siftUp和siftDown的任意类型元素调整。

类型安全由使用者保障

queue本身不做类型检查，但PriorityQueue通过两层机制守住边界：

• 构造时若传入Comparator，则所有比较都委托给它；否则要求元素实现Comparable，否则在offer时抛ClassCastException
• add/offer方法开头即校验e == null，防止空指针破坏堆结构
• 迭代器（iterator()）返回的元素虽不保证有序，但每个next()仍做(E)强转，失败则抛异常

扩容时的类型处理

当size >= queue.length触发grow()时，新数组仍是Object[]，旧元素逐个复制过去，无需类型转换：

• 复制过程是System.arraycopy(queue, 0, newQueue, 0, size)，纯引用拷贝
• 不会触发泛型类型检查，也不涉及元素内容变更
• 扩容后所有堆调整逻辑照常运行，不受数组大小影响

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南