Java SequencedSet reversed 怎样反向遍历不复制集合

如果一个集合既要保持插入顺序，又要从尾部向头部遍历，JDK 21 以前往往要复制一份数据，或者把类型换成 NavigableSet。现在可以直接调用 SequencedSet.reversed()：它返回一个反向有序视图，遍历方向变了，但底层集合并没有被复制。

官方地址：https://docs.oracle.com/en/java/javase/21/docs/api/java.base/java/util/SequencedSet.html

记住一句话：reversed() 解决的是“从另一端观察同一个有序集合”，不是“创建一个新的倒序集合”。视图是否允许修改、修改是否写回，仍要看具体集合实现。

为什么以前反向遍历 LinkedHashSet 不顺手

Set 只保证元素不重复，传统接口没有统一的“第一个元素、最后一个元素和反向视图”语义。LinkedHashSet 虽然保留插入顺序，却没有一个与 List 下标或 NavigableSet.descendingSet() 对应的通用反向入口。

常见旧写法是先复制到列表，再调用 Collections.reverse()。这会带来一份额外数据和一次重排；如果原集合在之后发生变化，复制出来的列表也不会自动同步。对于只读展示来说它能工作，但它表达的是“制作快照”，不是“反向观察”。

Set tags = new LinkedHashSet();
tags.add("java");
tags.add("collection");
tags.add("stream");

List snapshot = new ArrayList(tags);
Collections.reverse(snapshot); // 中文说明：复制后重排，得到的是独立快照
for (String tag : snapshot) {
    System.out.println(tag);
}

如果业务真正需要的是一个跟随原集合顺序变化的反向观察面，这种写法就把语义做重了。

JDK 21 的新规则：reversed 返回视图

SequencedCollection 在 JDK 21 中统一了有明确 encounter order 的集合操作；SequencedSet 则把这个能力与 Set 的唯一性结合起来。SequencedSet.reversed() 的返回类型仍然是 SequencedSet，但其中的 first/last、successor/predecessor 和迭代顺序全部反转。

这里的“视图”有三个关键含义：

• 反向视图按原集合的尾到头报告元素，iterator()、forEach()、stream() 等顺序敏感操作都会遵守这个方向。
• 它不是把元素重新装进另一个集合，因此不要把 reversed() 当成深拷贝或快照。
• 如果实现允许通过视图修改，修改会写回底层集合；原集合的变化是否立即反映到视图，则由实现的视图契约决定。

用 LinkedHashSet 直接反向遍历

对保持插入顺序的 LinkedHashSet，可以把变量声明为 SequencedSet，再调用 reversed()。示例中的集合顺序是 java、collection、stream，反向视图会按 stream、collection、java 迭代。

import java.util.LinkedHashSet;
import java.util.SequencedSet;

public class ReverseSetDemo {
    public static void main(String[] args) {
        SequencedSet topics = new LinkedHashSet();
        topics.add("java");
        topics.add("collection");
        topics.add("stream");

        SequencedSet reversed = topics.reversed();

        // 中文说明：视图按原集合的尾到头遍历，不创建第二份元素容器
        for (String topic : reversed) {
            System.out.println(topic);
        }

        // 中文说明：顺序敏感的 stream 同样遵守反向 encounter order
        reversed.stream().forEach(System.out::println);
    }
}

这里最重要的不是输出两次，而是 reversed 仍然是一个有序集合视图。它保留 Set 的“不重复”属性，也保留反向后的 encounter order。

不要把 reversed 和复制、排序混为一谈

reversed() 反转的是已有 encounter order，不是根据元素自然顺序重新排序。比如 LinkedHashSet 按插入顺序保存元素，反向后仍然是“插入顺序的倒序”，并不会变成字典序倒序。

原集合和反向视图怎样互相影响

反向视图会重新解释 first、last、addFirst、addLast、removeFirst 和 removeLast 的方向。理解这一点，比死记“它是倒序”更重要。

import java.util.LinkedHashSet;
import java.util.SequencedSet;

public class ReverseViewMutation {
    public static void main(String[] args) {
        SequencedSet source = new LinkedHashSet();
        source.add("A");
        source.add("B");
        source.add("C");

        SequencedSet view = source.reversed();

        // 中文说明：反向视图的 first 对应原集合的 last
        System.out.println(view.getFirst());

        // 中文说明：先确认实现是否支持写入；允许时该操作会写回 source
        view.addFirst("D");

        // 中文说明：再次 reversed 只恢复观察方向，不承诺创建副本
        SequencedSet forwardAgain = view.reversed();
        System.out.println(forwardAgain.getFirst());
    }
}

这段代码展示的是 API 语义，不应把所有实现都当成可修改。不可变集合、只读包装或不支持相应操作的实现，调用写入方法可能抛出 UnsupportedOperationException。工程代码应先确认集合的可变性边界。

另外，view.reversed() 的方向会回到原集合方向。它表达“在当前观察面上再反向一次”，不是为了制造第三份数据。

兼容边界：什么时候可以迁移

先确认 JDK 版本

SequencedCollection、SequencedSet 和 reversed() 的标准 API 从 JDK 21 开始提供。若项目仍以 JDK 17 或更低版本编译，直接写这个方法会在编译阶段失败，需要继续使用复制快照、NavigableSet 或项目自己的适配层。

再确认集合的顺序来源

反向视图只有在原集合本身有明确 encounter order 时才有清晰意义。对 LinkedHashSet，它反转插入顺序；对排序集合，反转的是排序后的集合方向；对没有稳定顺序语义的普通集合，不能先假定业务顺序。

最后确认是否需要快照

如果导出任务要求“读取开始时的数据冻结下来”，就应该明确创建快照；如果只是把最近加入的标签从后往前展示，视图更贴合意图。视图减少了复制，但也意味着读者必须理解底层集合的生命周期和并发访问约束。

采用建议

把 reversed() 用在“同一份有序数据的另一种观察方向”上：反向遍历、反向 stream、取反向视图的首元素等。把复制保留给需要数据隔离、稳定快照或跨线程传递的场景。

最终可以按下面三句话做判断：

1. 项目编译级别至少是 JDK 21，且集合类型是 SequencedSet 或其实现。
2. 你需要的是反向观察，不是按自然顺序重新排序。
3. 你已经确认视图是否可修改，以及底层集合变化对当前使用场景的影响。

常见问题

reversed() 会复制元素吗？

API 语义是返回反向有序视图，不是独立副本。具体实现的内部表示由实现决定，但调用方不应把它当成快照。

它和 Collections.reverse 一样吗？

不一样。后者通常作用于可变列表并改变列表顺序；reversed() 是在已有有序集合上提供反向观察面。

为什么普通 Set 不适合直接反向遍历？

普通 Set 没有统一的 encounter order 契约。要先选择有序集合实现，或者把顺序规则显式放进排序或快照逻辑。

反向视图能不能修改原集合？

只有当具体实现允许该操作时才可以；如果是不可变或只读视图，写入方法会失败。不要从返回类型 alone 推断可写。