Java ArrayDeque 为什么不支持 null：队列语义与空值哨兵

把任务对象放进 ArrayDeque 时，最容易遇到的不是容量问题，而是一条看似苛刻的规则：传入 null 会立刻抛出 NullPointerException。这条限制是有意设计的，因为 pollFirst() 在队列为空时也返回 null；如果队列允许保存空值，调用方就无法区分“取到了空值”和“根本没有元素”。

ArrayDeque 的安全用法是让 null 永远只表示空队列，把业务上的“空对象”改成显式状态或独立哨兵。

先复现 ArrayDeque 为什么拒绝 null

下面的例子故意把 null 交给 addLast。异常发生在入队点，而不是消费点：

import java.util.ArrayDeque;
import java.util.Deque;

public class NullDequeDemo {
    public static void main(String[] args) {
        Deque queue = new ArrayDeque();
        queue.addLast(null); // NullPointerException
    }
}

ArrayDeque 不需要把“空值元素”存进内部数组，也就能保持一个简单的判断：pollFirst() == null 只可能说明队列当前没有元素。这里的重点不是记住异常类型，而是理解生产者和消费者共享的返回值契约。

图：addLast 接收有效元素后，pollFirst 返回元素；空队列则用 null sentinel 表示没有可消费项。

把 pollFirst 的返回值当成明确状态

非阻塞消费通常写成下面这样。pollFirst 取不到元素时返回 null，因此循环自然结束：

Deque queue = new ArrayDeque();
queue.addLast("job-17");
queue.addLast("job-18");

String job;
while ((job = queue.pollFirst()) != null) {
    handle(job);
}

这个写法成立的前提，就是队列里不允许出现 null。若把一个空值当作合法任务，循环会提前结束，后面的真实任务不会再被处理。对一次性取出而言，pollFirst 与“空队列”是同一个判断；对必须取到元素的路径，则可以使用 removeFirst()，让空队列表现为异常而不是静默分支。

什么时候应该先判断 isEmpty

如果“没有任务”与“任务内容为空”需要分别记录日志，先调用 isEmpty() 再取值更直观：

if (queue.isEmpty()) {
    record("queue-empty");
} else {
    String job = queue.removeFirst();
    handle(job);
}

这里的判断和取出必须在同一个不并发修改的上下文中使用。ArrayDeque 本身不是线程安全容器；如果生产者和消费者跨线程，应该换用并发队列，而不是给这个判断加一层猜测。

用 NULL_SENTINEL 拆开业务空值和空队列

有些协议确实允许“空内容任务”，例如批处理结果中需要保留一个占位项。不要把 Java 的 null 直接放进队列，可以使用一个稳定的对象哨兵：

final Object NULL_SENTINEL = new Object();
Deque

NULL_SENTINEL 只在队列内部出现，不能从公共 API 泄漏出去。消费端先确认 pollFirst 不是 null，再用对象身份判断是否为哨兵。不要用字符串 "NULL" 代替它，否则真实业务值恰好等于这个字符串时又会发生碰撞。

图：业务空内容先映射到 NULL_SENTINEL，pollFirst 仍只负责表达“有没有元素”。

把空值检查放在生产者边界

更常见的任务模型可以直接禁止空任务，并在入队前给出业务错误：

record Task(String id, String payload) {}

static void enqueue(Deque queue, Task task) {
    if (task == null) {
        throw new IllegalArgumentException("task must not be null");
    }
    queue.addLast(task);
}

这样 ArrayDeque 的 NullPointerException 不会成为业务层的第一条诊断信息。调用方能在自己的边界上说明是哪一个字段、哪一条消息不合格，队列只负责保存已经满足契约的对象。

验证时至少覆盖三种情况：正常任务入队后能被 pollFirst 取回；空队列的 pollFirst 返回 null；业务空内容经过 NULL_SENTINEL 转换后不会让消费循环提前结束。三种结果分别对应元素存在、队列为空和元素存在但内容为空。

相关问题

ArrayDeque 能不能用 null 表示优先级缺省？

不建议。优先级缺省应放在任务对象的字段或结果类型里，队列中的 null 保持为空队列语义。

pollFirst 和 removeFirst 应该怎么选？

允许暂时没有任务时用 pollFirst；按协议必须有任务时用 removeFirst，让异常尽早暴露。

用 Optional 代替 NULL_SENTINEL 可以吗？

可以。若队列元素类型允许调整，Deque> 能表达业务空内容；跨边界较多时，显式结果对象通常比裸哨兵更容易维护。

最后的判断

ArrayDeque 禁止 null，换来的是一个很干净的消费契约：pollFirst() == null 就是没有元素。只要在生产者边界拒绝空任务，或把业务空值编码成 NULL_SENTINEL、Optional 等显式状态，入队、消费和异常处理就不会互相误解。