Java SequencedCollection 统一首尾访问的迁移

把旧代码迁移到 SequencedCollection，最稳妥的做法不是全局替换 get(0)，而是先找出真正依赖“有明确遇见顺序且能访问两端”的接口边界。内部代码可把 List、Deque 和部分有序集合统一成 SequencedCollection；公共库则要额外保留旧方法签名，避免调用方只升级 JAR 就遇到二进制不兼容。

SequencedCollection 从 JDK 21 开始提供 getFirst()、getLast()、双端增删方法和 reversed()。迁移能统一语义，但不会自动保证集合可修改，也不会把反向视图变成副本。

影响面：旧代码为什么会出现三套首尾写法

迁移前，同一个“取第一条和最后一条”的需求往往根据静态类型分裂：List 使用索引，Deque 已经有双端方法，LinkedHashSet 则通常借助迭代器。问题不只是代码重复，更在于上层方法经常声明成过宽的 Collection，实现内部再靠类型判断或强制转换寻找顺序。

static String summarize(List events) {
    if (events.isEmpty()) {
        // 旧代码必须先保护 size - 1 和索引 0。
        return "empty";
    }

    String first = events.get(0);
    String last = events.get(events.size() - 1);
    return first + " -> " + last;
}

JDK 21 把 List、Deque、SequencedSet 等有明确遇见顺序的类型连接到共同的 SequencedCollection 契约。这样，调用方不必知道底层是数组列表、双端队列还是保序集合，只需知道它可以按第一项到最后一项的顺序观察。

时间线：先迁移内部实现，再调整接口边界

一次安全迁移可以分成三个提交。第一个提交只提高编译基线并替换内部调用；第二个提交把只依赖首尾访问的方法参数改成 SequencedCollection；第三个提交才处理对外 API。这样出现回归时，能快速判断是方法语义变化、实现能力差异，还是签名变化导致的调用问题。

static String summarize(SequencedCollection events) {
    if (events.isEmpty()) {
        // 保留显式空集合分支，避免异常类型变化泄漏到业务层。
        return "empty";
    }

    String first = events.getFirst();
    String last = events.getLast();
    return first + " -> " + last;
}

这里的收益是参数契约更贴近用途，而不是代码少写两个字符。ArrayList、LinkedList、ArrayDeque、LinkedHashSet 和 TreeSet 等类型都在该接口体系中，但它们支持的可选修改操作并不完全相同。

触发条件：迁移后最容易暴露的三类回归

第一类是空集合异常改变。旧的 list.get(0) 会抛出 IndexOutOfBoundsException，而 getFirst() 和 getLast() 的契约是空集合抛出 NoSuchElementException。如果测试或上层错误映射精确捕获旧异常，机械替换会改变行为。

第二类是把“能读取首尾”误当成“能修改首尾”。以下代码在可修改列表上成立，但 List.of()、不可修改包装以及某些由排序规则确定位置的集合不支持显式首尾插入。

static void prependMarker(SequencedCollection values) {
    try {
        // addFirst 是可选操作，接口存在不代表实现一定允许修改。
        values.addFirst("BEGIN");
    } catch (UnsupportedOperationException ex) {
        // 调用方应决定复制后修改，还是把只读输入视为配置错误。
        throw new IllegalArgumentException("集合不支持首部插入", ex);
    }
}

第三类是把任意 Collection 强制转换成 SequencedCollection。普通集合接口不承诺遇见顺序，HashSet 也不应因为当前迭代结果看起来稳定就被当作有序输入。正确做法是让调用方通过类型系统明确提供顺序集合，或在业务边界显式构造一个列表副本。

根因：接口统一了能力，没有统一所有实现语义

SequencedCollection 定义的是“明确的遇见顺序、双端访问和可反向查看”。它没有要求所有修改方法必须成功，也没有改变具体集合的数据结构。比如 List 的默认 addFirst() 可委托给 add(0, e)，而 TreeSet 的位置由比较规则决定，因此显式 addFirst() 会抛出 UnsupportedOperationException。

因此，迁移评审不能只检查“能否编译”，还要核对四项契约：空集合如何处理、是否允许修改、首尾由插入顺序还是排序规则决定、返回的是视图还是副本。

修复动作：正确使用 reversed 视图

reversed() 返回的是反向顺序视图，不是新集合。读取时它能统一反向迭代、流处理和首尾含义；底层实现若允许视图修改，修改可能写回原集合。需要隔离后续变更时，应创建副本。

static  List reversedSnapshot(SequencedCollection source) {
    // reversed 返回视图；ArrayList 构造器在这里创建独立快照。
    return new ArrayList(source.reversed());
}

static void inspectBothEnds(SequencedCollection source) {
    if (source.isEmpty()) {
        // 空集合不调用 getFirst 或 getLast。
        return;
    }

    String normalFirst = source.getFirst();
    String reversedFirst = source.reversed().getFirst();
    System.out.println(normalFirst + " / " + reversedFirst);
}

对非空集合而言，反向视图的第一项对应原集合的最后一项。若只是反向遍历，不必复制；若要缓存结果、跨线程传递或避免底层集合后续变化影响结果，再使用副本。

防复发：公共 API 不要直接改掉旧签名

把公开方法的参数从 List 改成 SequencedCollection，虽然对不少源码调用更宽松，但 JVM 方法描述符发生变化，旧客户端不重新编译时可能找不到原方法。库维护者应保留旧重载，让它委托到新契约；等到明确的大版本再删除。

public final class EventSummary {
    public static String summarize(List events) {
        // 保留旧签名，兼容已经编译的调用方。
        return summarize((SequencedCollection) events);
    }

    public static String summarize(SequencedCollection events) {
        if (events.isEmpty()) {
            // 对外统一返回值，不暴露底层空集合异常差异。
            return "empty";
        }
        return events.getFirst() + " -> " + events.getLast();
    }
}

应用项目内部可以直接改签名并一次性重编译；供其他团队或外部用户调用的库，则应做二进制兼容检查。构建时使用 JDK 21 及以上，并把 --release 21 或对应工具链基线写进 CI，避免开发机能编译而目标运行时缺少新接口。

迁移检查清单

• 只在确实需要遇见顺序和首尾访问的边界引入 SequencedCollection。
• 为空集合保留显式分支，不依赖旧的索引异常类型。
• 调用双端修改方法前确认具体实现允许修改和定位。
• 明确 reversed() 是共享数据的视图，需要隔离时再复制。
• 公共库保留旧签名或安排大版本迁移，并在 CI 固定 JDK 21+ 基线。

常见问题

所有 Collection 都能转成 SequencedCollection 吗？

不能。只有具备明确遇见顺序并实现该接口的集合才可以；无序集合不能靠强制转换获得顺序契约。

getFirst() 比 get(0) 更快吗？

迁移的主要价值是统一语义和接口契约，不应把它当作通用性能优化。实际复杂度仍由具体实现决定。

reversed() 会复制全部元素吗？

不会，它返回反向顺序视图。需要独立数据时，可用 new ArrayList(source.reversed()) 显式复制。