JavaGuide项目：集合判空方法isEmpty()与size()的性能差异分析

在Java编程中，集合判空是一个常见操作，但不同集合类中isEmpty()和size()方法的性能表现差异显著。本文将以ConcurrentHashMap和ConcurrentLinkedQueue为例，深入分析这两种判空方式的性能特点。

ConcurrentHashMap的判空实现

在JDK 1.8版本的ConcurrentHashMap中，isEmpty()和size()方法都依赖于sumCount()方法。sumCount()方法需要遍历整个CounterCell数组来统计元素数量，其时间复杂度与Node数组的大小相关。这意味着无论使用isEmpty()还是size()，性能开销基本相同。

// ConcurrentHashMap 1.8中的实现
public boolean isEmpty() {
    return sumCount() <= 0L;
}

public int size() {
    long n = sumCount();
    return ((n < 0L) ? 0 : (n > (long)Integer.MAX_VALUE) ? Integer.MAX_VALUE : (int)n);
}

ConcurrentLinkedQueue的判空实现

相比之下，ConcurrentLinkedQueue的判空实现则展现了完全不同的性能特征：

isEmpty()方法分析

isEmpty()方法通过first()方法判断队列是否为空，其实现非常高效：

public boolean isEmpty() {
    return first() == null;
}

Node<E> first() {
    restartFromHead:
    for (;;) {
        for (Node<E> h = head, p = h, q;;) {
            boolean hasItem = (p.item != null);
            if (hasItem || (q = p.next) == null) {
                updateHead(h, p);
                return hasItem ? p : null;
            }
            else if (p == q) continue restartFromHead;
            else p = q;
        }
    }
}

first()方法的时间复杂度可以近似看作O(1)，原因在于：

1. 插入和删除操作都会更新head指针
2. 方法只需检查第一个有效节点即可返回

size()方法分析

size()方法则需要遍历整个链表：

public int size() {
    int count = 0;
    for (Node<E> p = first(); p != null; p = succ(p))
        if (p.item != null)
            if (++count == Integer.MAX_VALUE)
                break;
    return count;
}

这种方法的时间复杂度为O(n)，在大型队列中性能明显劣于isEmpty()。

历史版本差异

值得注意的是，在JDK 1.7版本的ConcurrentHashMap中，判空实现与1.8版本有所不同：

1. size()方法需要统计每个Segment的数量
2. isEmpty()只需找到第一个不为空的Segment即可

这种设计使得1.7版本中isEmpty()的性能通常优于size()。

最佳实践建议

基于上述分析，可以得出以下编程建议：

1. 对于ConcurrentLinkedQueue等链表式并发集合，优先使用isEmpty()进行判空
2. 对于ConcurrentHashMap 1.8+版本，isEmpty()和size()性能相当，可根据代码可读性选择
3. 在不确定集合类型时，使用isEmpty()是更安全的选择
4. 避免在循环或高频调用中使用size()方法，特别是对于大型集合

理解这些底层实现差异，有助于开发者在实际编程中做出更优的选择，提升应用性能。